Rebuild with libisl

2026-03-12 15:40:40 +02:00
parent 782a2c8c7f
commit c1d07ee6f3
2 changed files with 2 additions and 1 deletions
@@ -23,6 +23,7 @@ build() {
                 --disable-multilib \
                 --enable-threads=posix \
                 --enable-shared \
+                 --enable-cloog-backend=isl \
                 --enable-languages=c,c++
    make
  done