Merge pull request #3200 from SkySkimmer/fix-stdlib-dev

Fix coq-stdlib.dev after coq/coq#18385
coq · Nov 13, 2024 · 3591e93 · 3591e93
2 parents 7219227 + 54738bf
commit 3591e93
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam b/core-dev/packages/coq-stdlib/coq-stdlib.dev/opam
@@ -30,7 +30,7 @@ dev-repo: "git+https://github.com/coq/coq.git"
 build: [
   ["dune" "subst"] {dev}
   # We tell dunestrap to use coq-config from coq-core
-  [ make "dunestrap" "COQ_DUNE_EXTRA_OPT=-split" "DUNESTRAPOPT=-p coq-stdlib"]
+  [ make "dunestrap" "COQ_SPLIT=1" "DUNESTRAPOPT=-p coq-stdlib"]
   [
     "dune"
     "build"