Index: BOOK/final-system/common/cloog.xml
===================================================================
--- BOOK/final-system/common/cloog.xml (revision 2b220db9ba518c4dbd4ceb706eac2bf03d42e677)
+++ BOOK/final-system/common/cloog.xml (revision da6eb367520429271413c18b067a46ee481f6d24)
@@ -32,5 +32,5 @@
CC="gcc -isystem /usr/include" \
LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
- ./configure --prefix=/usr --enable-shared
+ ./configure --prefix=/usr --enable-shared --with-isl=system
Compile the package:
@@ -63,6 +63,6 @@
cloog
- libcloog-isl.[a,so], libisl.[a,so]
- /usr/include/cloog, /usr/include/isl
+ libcloog-isl.[a,so]
+ /usr/include/cloog
@@ -93,14 +93,4 @@
-
- libisl
-
- The Integer Set Library.
-
- libisl
-
-
-
-