From 8e91aa61c3cde7fd23bdd75cdc3ad1ad4441c364 Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Fri, 26 Jun 2015 16:04:12 -0500
Subject: [PATCH] Upgrade to Barvinok referencing isl 15
---
setup.py | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/setup.py b/setup.py
index 4b0e887..bb3ed1e 100644
--- a/setup.py
+++ b/setup.py
@@ -191,8 +191,7 @@ def main():
wrapper_dirs.extend(conf["BARVINOK_INC_DIR"])
- EXTRA_DEFINES["ISLPY_ISL_VERSION"] = 14
- EXTRA_DEFINES["ISLPY_INCLUDE_BARVINOK"] = 1
+ #EXTRA_DEFINES["ISLPY_ISL_VERSION"] = 14
# }}}
--
GitLab