Fix coq-elpi CI.

Which was broken by LPCIC/coq-elpi#684
rlepigre · Sep 26, 2024 · fca78c3 · fca78c3
1 parent b680523
commit fca78c3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/dev/ci/ci-elpi.sh b/dev/ci/ci-elpi.sh
@@ -10,6 +10,6 @@ git_download elpi
 if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
 
 ( cd "${CI_BUILD_DIR}/elpi"
-  make build
-  make install DUNE_install_FLAGS=--prefix="$CI_INSTALL_DIR"
+  make build DUNE_build_FLAGS="--root ."
+  make install DUNE_install_FLAGS="--root . --prefix=\"$CI_INSTALL_DIR\""
 )