move src/Makefil.common -> /.common.mk

FStarLang · Apr 4, 2020 · e31b8b4 · e31b8b4
1 parent a51813a
commit e31b8b4
Show file tree

Hide file tree

Showing 7 changed files with 6 additions and 6 deletions.
diff --git a/src/Makefile.common → .common.mk b/src/Makefile.common → .common.mk
diff --git a/Makefile b/Makefile
@@ -1,6 +1,6 @@
 .PHONY: all package clean boot 0 1 2 3 hints bench
 
-include src/Makefile.common
+include .common.mk
 
 all:
 	$(Q)+$(MAKE) -C src/ocaml-output

diff --git a/examples/Makefile.common b/examples/Makefile.common
@@ -1,7 +1,7 @@
 FSTAR_HOME?=..
 include $(FSTAR_HOME)/ulib/gmake/z3.mk
 include $(FSTAR_HOME)/ulib/gmake/fstar.mk
-include $(FSTAR_HOME)/src/Makefile.common
+include $(FSTAR_HOME)/.common.mk
 FSTAR=$(FSTAR_HOME)/bin/fstar.exe
 
 #################################################################################

diff --git a/src/Makefile.config b/src/Makefile.config
@@ -1,5 +1,5 @@
 FSTAR_HOME=..
-include Makefile.common
+include $(FSTAR_HOME)/.common.mk
 include $(FSTAR_HOME)/ulib/gmake/z3.mk    # This pins $(Z3) ...
 include $(FSTAR_HOME)/ulib/gmake/fstar.mk # and $(FSTAR) for all sub-make calls
 

diff --git a/src/ocaml-output/Makefile b/src/ocaml-output/Makefile
@@ -6,7 +6,7 @@ else
 HAS_VALID_MENHIR := 0
 endif
 
-include ../Makefile.common
+include ../../.common.mk
 
 MENHIR=menhir #--explain --infer -la 1 --table
 OCAMLLEX=ocamllex

diff --git a/ulib/Makefile b/ulib/Makefile
@@ -19,7 +19,7 @@ extra: .cache
 	mkdir -p .cache
 
 include $(FSTAR_HOME)/ulib/ml/Makefile.include
-include $(FSTAR_HOME)/src/Makefile.common
+include $(FSTAR_HOME)/.common.mk
 
 fstarlib.mgen: *.fst *.fsti
 	mkdir -p ml/extracted

diff --git a/ulib/Makefile.verify b/ulib/Makefile.verify
@@ -21,7 +21,7 @@ CACHE_DIR=--cache_dir .cache --hint_dir .cache
 
 OTHERFLAGS+=$(USE_EXTRACTED_INTERFACES)
 
-include $(FSTAR_HOME)/src/Makefile.common
+include $(FSTAR_HOME)/.common.mk
 include gmake/z3.mk
 include gmake/fstar.mk
 include gmake/Makefile.tmpl