blind fix for windows path

LPCIC · Nov 25, 2023 · a73b48b · a73b48b
1 parent e1ee443
commit a73b48b
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/apps/coercion/Makefile.coq.local b/apps/coercion/Makefile.coq.local
@@ -1,3 +1,10 @@
 CAMLPKGS+= -package coq-elpi.elpi
-OCAMLPATH:=../../src/:$(OCAMLPATH)
+
+ifeq "$(shell which cygpath >/dev/null 2>&1)"
+OCAMLFINDSEP=;
+else
+OCAMLFINDSEP=:
+endfi
+
+OCAMLPATH:=../../src/$(OCAMLFINDSEP)$(OCAMLPATH)
 export OCAMLPATH