blind fix for windows path

LPCIC · Nov 25, 2023 · bb2c386 · bb2c386
1 parent e1ee443
commit bb2c386
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 2 deletions.
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=;
+endif
+
+OCAMLPATH:=../../src/$(OCAMLFINDSEP)$(OCAMLPATH)
 export OCAMLPATH
diff --git a/apps/tc/Makefile.coq.local b/apps/tc/Makefile.coq.local
@@ -1,5 +1,12 @@
 CAMLPKGS+= -package coq-elpi.elpi
-OCAMLPATH:=../../src/:$(OCAMLPATH)
+
+ifeq "$(shell which cygpath >/dev/null 2>&1)" ""
+OCAMLFINDSEP=:
+else
+OCAMLFINDSEP=;
+endif
+
+OCAMLPATH:=../../src/$(OCAMLFINDSEP)$(OCAMLPATH)
 export OCAMLPATH
 
 install-extra::