pulse.opam: can now set ADMIT=1 in build

FStarLang · Feb 24, 2025 · 5329695 · 5329695
1 parent 74c9f81
commit 5329695
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pulse.opam b/pulse.opam
@@ -9,7 +9,7 @@ depends: [
   "fstar" {>= "2023.04.15~dev"}
 ]
 build: [
-  [make "-j" jobs]
+  [make "-j" jobs "ADMIT=1"]
 ]
 install: [
   [make "PREFIX=%{prefix}%" "install"]