test.mk: skip building/running if HAS_OCAML is empty

FStarLang · Dec 4, 2024 · f0c4ca6 · f0c4ca6
1 parent 8a3feec
commit f0c4ca6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/mk/test.mk b/mk/test.mk
@@ -155,6 +155,15 @@ ifeq ($(NOVERIFY),)
 all: __verify
 endif
 
+HAS_OCAML ?= 1
+# We assume we have ocaml, unless HAS_OCAML= was given as an argument
+# to make (this is done by binary package CI). If we don't have ocaml,
+# we don't try to build or run programs.
+ifeq (,$(HAS_OCAML))
+NORUN := 1
+NOBUILD := 1
+endif
+
 # clean
 SUBDIRS_CLEAN += $(SUBDIRS)
 clean: $(addsuffix .__clean, $(SUBDIRS_CLEAN))