Add "make package DISABLE_FSHARP=1" option

FStarLang · Aug 26, 2024 · 8096836 · 8096836
1 parent cda9082
commit 8096836
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ocaml-output/Makefile b/src/ocaml-output/Makefile
@@ -122,7 +122,7 @@ package:
 	@# Install F* into the package
 	+PREFIX=$(package_prefix) $(MAKE) install
 	@# Make the F* ulib F# DLL (NOT the nuget package)
-	+PREFIX=$(package_prefix) $(MAKE) -C $(FSTAR_HOME)/ulib ulib-in-fsharp-dll
+	+[ "$(DISABLE_FSHARP)" = 1 ] || PREFIX=$(package_prefix) $(MAKE) -C $(FSTAR_HOME)/ulib ulib-in-fsharp-dll
 	@# Then the version file.
 	cp ../../version.txt $(package_prefix)/
 	@# Documentation and licenses