Update setup-project.sh

LPCIC · Jan 24, 2025 · 6cf19dc · 6cf19dc
1 parent eab6181
commit 6cf19dc
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/etc/setup-project.sh b/etc/setup-project.sh
@@ -19,5 +19,9 @@ cat > dune-project <<EOF
 (using coq 0.8)
 EOF
 
-export COQPATH="$DUNE_SOURCEROOT/_build/install/default/lib/coq/user-contrib"
+if ocamlfind query rocq-core; then
+  export ROCQPATH="$DUNE_SOURCEROOT/_build/install/default/lib/coq/user-contrib"
+else
+  export COQPATH="$DUNE_SOURCEROOT/_build/install/default/lib/coq/user-contrib"
+fi
 export DUNE_CACHE=disabled