From f64e618b4f101f2c0dd2d66425673165bd60a785 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Tue, 19 Jun 2018 15:38:21 -0400
Subject: Make COQPATH in Makefile work on Windows / cygwin

---
 Makefile | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'Makefile')

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:
-- 
cgit v1.2.3