From 72f0eb57c8346bf38f7d3a1da83167ef6de9a393 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Sat, 25 Nov 2023 15:31:01 +0100
Subject: [PATCH] blind fix for windows path

---
 apps/coercion/Makefile.coq.local | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/apps/coercion/Makefile.coq.local b/apps/coercion/Makefile.coq.local
index f120308b2..6ba02602b 100644
--- 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
\ No newline at end of file