From fca78c39d6c19d7d2096e0f45fc59cd5c486b965 Mon Sep 17 00:00:00 2001
From: Rodolphe Lepigre <lepigre@mpi-sws.org>
Date: Wed, 25 Sep 2024 22:36:33 +0200
Subject: [PATCH] Fix coq-elpi CI.

Which was broken by https://github.com/LPCIC/coq-elpi/pull/684
---
 dev/ci/ci-elpi.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev/ci/ci-elpi.sh b/dev/ci/ci-elpi.sh
index 929f5cd8f1dde..e7abc0e39d70b 100644
--- 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\""
 )