Merge PR coq#18189: Change Menhir branch target in ci-basic_overlay.sh

Reviewed-by: SkySkimmer Co-authored-by: SkySkimmer <[email protected]>
eladrion · Nov 12, 2023 · fb6a0cf · fb6a0cf
2 parents 5de322a + 839c7e7
commit fb6a0cf
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/dev/ci/ci-basic-overlay.sh b/dev/ci/ci-basic-overlay.sh
@@ -249,7 +249,7 @@ project reduction_effects "https://github.com/coq-community/reduction-effects" "
 # menhirlib
 ########################################################################
 # Note: menhirlib is now in subfolder coq-menhirlib of menhir
-project menhirlib "https://gitlab.inria.fr/fpottier/menhir" "20220210"
+project menhirlib "https://gitlab.inria.fr/fpottier/menhir" "master"
 
 ########################################################################
 # coq-neural-net-interp

diff --git a/dev/ci/ci-menhir.sh b/dev/ci/ci-menhir.sh
@@ -10,6 +10,8 @@ git_download menhirlib
 if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
 
 ( cd "${CI_BUILD_DIR}/menhirlib"
+  sed -i.bak "s/unreleased/$(date +%Y%m%d)/" dune-project
+  echo "Definition require_$(date +%Y%m%d) := tt." > coq-menhirlib/src/Version.v
   dune build @install -p menhirLib,menhirSdk,menhir
   dune install -p menhirLib,menhirSdk,menhir menhir menhirSdk menhirLib --prefix="$CI_INSTALL_DIR"