From 8096836397ec19dd12b08859178d63318383266d Mon Sep 17 00:00:00 2001
From: Jonah Beckford <9566106-jonahbeckford@users.noreply.gitlab.com>
Date: Mon, 26 Aug 2024 11:46:03 -0700
Subject: [PATCH] Add "make package DISABLE_FSHARP=1" option

---
 src/ocaml-output/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ocaml-output/Makefile b/src/ocaml-output/Makefile
index fdaaf004e7c..b3ddb1843fb 100644
--- 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