1 files changed, 7 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8981cfe23..9dfbb75c3 100644
--- a/Makefile
+++ b/Makefile
@@ -232,7 +232,13 @@ endif
 OTHERFLAGS += -w "-notation-overridden"
 endif
 
-COQPATH?=${CURDIR}/$(COQPRIME_FOLDER)/src
+ifneq ($(filter /cygdrive/%,$(CURDIR)),)
+CURDIR_SAFE := $(shell cygpath -m "$(CURDIR)")
+else
+CURDIR_SAFE := $(CURDIR)
+endif
+
+COQPATH?=${CURDIR_SAFE}/$(COQPRIME_FOLDER)/src
 export COQPATH
 
 coqprime: