Upgrade to Barvinok referencing isl 15

8e91aa61 · Andreas Klöckner · 4915073f · 8e91aa61
Commit 8e91aa61 authored 9 years ago by Andreas Klöckner
--- 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

    # }}}