diff --git a/setup.py b/setup.py index 4b0e8876744af7b04ecea2910c4dc2143930b617..bb3ed1e17dfd3e36f102e30076357188ff9975df 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 # }}}