Fix

Author: cknitt

.github/workflows/ci.yml

@@ -424,7 +424,7 @@ jobs:
 
       - name: Build playground compiler
         if: matrix.build_playground
-        run: opam exec -- make playground
+        run: opam exec -- make playground DUNE_PROFILE=static
 
       - name: Snapshot Linux binaries after playground build
         if: runner.os == 'Linux' && matrix.build_playground

Makefile

@@ -31,6 +31,8 @@ else
 	$(error Unsupported platform $(UNAME_S)-$(UNAME_M))
 endif
 
+DUNE_PROFILE ?= dev
+
 define COPY_EXE
 	cp $1 $2
 	chmod 755 $2
@@ -116,7 +118,7 @@ $(foreach bin,$(COMPILER_BIN_NAMES),$(eval $(call MAKE_COMPILER_COPY_RULE,$(bin)
 # "touch" after dune build to make sure that the binaries' timestamps are updated
 # even if the actual content of the sources hasn't changed.
 $(COMPILER_BUILD_STAMP): $(COMPILER_SOURCES)
-	dune build
+	dune build --profile $(DUNE_PROFILE)
 	@$(foreach bin,$(COMPILER_DUNE_BINS),touch $(bin);)
 
 $(COMPILER_DUNE_BINS): $(COMPILER_BUILD_STAMP) ;