Index: BOOK/temp-system/common/cloog.xml
===================================================================
--- BOOK/temp-system/common/cloog.xml (revision f77d3ff46460615996b9fab857add54f93c57515)
+++ BOOK/temp-system/common/cloog.xml (revision 4e658f65bd46f0a43d5026806dd46668e261c95f)
@@ -26,5 +26,6 @@
./configure --prefix=/tools \
- --build=${CLFS_HOST} --host=${CLFS_TARGET}
+ --build=${CLFS_HOST} --host=${CLFS_TARGET} \
+ --with-isl=system
./configure --prefix=/tools \
--build=${CLFS_HOST} --host=${CLFS_TARGET} --libdir=/tools/lib64 \
- --enable-shared
+ --enable-shared --with-isl=system