From 98356db6e1322c42e4c4f5d2bc16c27bb3e40348 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 12 Nov 2023 00:45:16 -0800
Subject: [PATCH] Allow passing CAMLEXTRAFLAGS for standalone build (#1717)

---
 Makefile.standalone | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile.standalone b/Makefile.standalone
index 31191de7cc..2175966a59 100644
--- a/Makefile.standalone
+++ b/Makefile.standalone
@@ -20,6 +20,8 @@ else
 CAMLOPT_PERF ?= $(OCAMLOPTP)
 CAMLOPT_PERF_SHOW:=OCAMLOPTP
 endif
+CAMLEXTRAFLAGS ?=
+STANDALONE_CAMLFLAGS ?= -package unix -w -20 -g $(CAMLEXTRAFLAGS)
 
 PACKAGE ?= standalone.tar.gz
 PACKAGE_CMD ?= tar -czvf
@@ -41,12 +43,12 @@ ENSURE_STACK_LIMIT := . etc/ensure_stack_limit.sh || true
 $(STANDALONE_OCAML:%=src/ExtractionOCaml/%.cmi) : %.cmi : %.ml
 	$(SHOW)'$(CAMLOPT_PERF_SHOW) $*.mli'
 	$(HIDE)$(ENSURE_STACK_LIMIT); \
-	 $(TIMER) $(CAMLOPT_PERF) -package unix -w -20 -g $*.mli
+	 $(TIMER) $(CAMLOPT_PERF) $(STANDALONE_CAMLFLAGS) $*.mli
 
 $(STANDALONE_OCAML:%=src/ExtractionOCaml/%) : % : %.ml %.cmi
 	$(SHOW)'$(CAMLOPT_PERF_SHOW) $< -o $@'
 	$(HIDE)$(ENSURE_STACK_LIMIT); \
-	 $(TIMER) $(CAMLOPT_PERF) -package unix -linkpkg -w -20 -g -I src/ExtractionOCaml/ -o $@ $<
+	 $(TIMER) $(CAMLOPT_PERF) $(STANDALONE_CAMLFLAGS) -linkpkg -I src/ExtractionOCaml/ -o $@ $<
 
 $(STANDALONE_HASKELL:%=src/ExtractionHaskell/%) : % : %.hs
 	$(SHOW)'GHC $< -o $@'