Merge pull request #3622 from mtzguido/release

Makefiles: more conditional ocaml build, for package testing
FStarLang · Dec 5, 2024 · b096106 · b096106
2 parents 988a013 + ee0f124
commit b096106
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/examples/Makefile b/examples/Makefile
@@ -40,7 +40,11 @@ SUBDIRS += verifythis
 # SUBDIRS_CLEAN += hello
 SUBDIRS_ALL += dependencies
 SUBDIRS_CLEAN += dependencies
+
+HAS_OCAML ?= 1
+ifneq (,$(HAS_OCAML))
 SUBDIRS_ALL += native_tactics
+endif
 SUBDIRS_CLEAN += native_tactics
 
 FSTAR_ROOT ?= ..

diff --git a/examples/data_structures/Makefile b/examples/data_structures/Makefile
@@ -1,7 +1,11 @@
 FSTAR_ROOT ?= ../..
 include $(FSTAR_ROOT)/mk/test.mk
 
+HAS_OCAML ?= 1
+
+ifneq (,$(HAS_OCAML))
 all: $(OUTPUT_DIR)/RBTreeIntrinsic_patched.exe
+endif
 
 # EXTRACT = RBTreeIntrinsic