From a4c7f8bd98be2a200489325ff7c5061cf80ab4f3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Tue, 27 Dec 2016 16:53:30 +0100
Subject: Imported Upstream version 8.6

---
 dev/build/windows/patches_coq/isl-0.14.patch | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 dev/build/windows/patches_coq/isl-0.14.patch

(limited to 'dev/build/windows/patches_coq/isl-0.14.patch')

diff --git a/dev/build/windows/patches_coq/isl-0.14.patch b/dev/build/windows/patches_coq/isl-0.14.patch
new file mode 100644
index 00000000..f3b8ead1
--- /dev/null
+++ b/dev/build/windows/patches_coq/isl-0.14.patch
@@ -0,0 +1,11 @@
+--- orig.isl-0.14/configure	2014-10-26 08:36:32.000000000 +0100
++++ isl-0.14/configure	2016-10-10 18:16:01.430224500 +0200
+@@ -8134,7 +8134,7 @@
+      lt_sysroot=`$CC --print-sysroot 2>/dev/null`
+    fi
+    ;; #(
+- /*)
++ /*|[A-Z]:\\*|[A-Z]:/*)
+    lt_sysroot=`echo "$with_sysroot" | sed -e "$sed_quote_subst"`
+    ;; #(
+  no|'')
-- 
cgit v1.2.3