Merge pull request #3619 from mtzguido/release

test_package.sh: export FSTAR_ROOT to find makefiles
FStarLang · Dec 3, 2024 · 7f5f975 · 7f5f975
2 parents d819242 + 0b7a880
commit 7f5f975
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 3 deletions.
diff --git a/ocaml/dune b/ocaml/dune
@@ -1,4 +1,3 @@
 (env
   (_
-    (flags (:standard -w -A))
-    (bin_annot false)))
+    (flags (:standard -w -A))))
diff --git a/ocaml/dune-project b/ocaml/dune-project
@@ -1,4 +1,10 @@
-(lang dune 3.8)
+(lang dune 3.2)
+; ^ Before changing this, consider that we need a version
+; that we can use to build Linux, Windows, and MacOS packages.
+; In particular our current Windows runner is limited to Dune 3.5.
+; Changes here may pass normal CI, but later fail when trying to do
+; a release, so *make sure* to test it manually.
+
 (name fstar)
 (generate_opam_files false)
 (using menhir 2.1)