Index: BOOK/final-system/common/cloog.xml
===================================================================
--- BOOK/final-system/common/cloog.xml (revision bc1a1f0eaf17940f5c91425332b025c5d9787e64)
+++ BOOK/final-system/common/cloog.xml (revision 14b6e06116c10b130dbf6f15231abbb7f5d09921)
@@ -32,5 +32,5 @@
CC="gcc -isystem /usr/include" \
LDFLAGS="-Wl,-rpath-link,/usr/lib:/lib" \
- ./configure --prefix=/usr --enable-shared --with-isl=system
+ ./configure --prefix=/usr --with-isl=system
Apply a sed which prevents the attempted installation of an invalid file: