Index: BOOK/final-system/common/cloog.xml
===================================================================
--- BOOK/final-system/common/cloog.xml (revision 84b164efa7ab98077b4ba9b7dfbf619a9966ee4c)
+++ BOOK/final-system/common/cloog.xml (revision 2b220db9ba518c4dbd4ceb706eac2bf03d42e677)
@@ -57,12 +57,12 @@
- Installed programs
+ Installed program
Installed libraries
- Installed directory
+ Installed directories
cloog
- libcloog.[a,so]
- /usr/include/cloog
+ libcloog-isl.[a,so], libisl.[a,so]
+ /usr/include/cloog, /usr/include/isl
@@ -83,10 +83,20 @@
-
- libcloog
+
+ libcloog-isl
- The Chunky Loop Generator.
-
- libcloog
+ Isl backend for CLooG.
+
+ libcloog-isl
+
+
+
+
+
+ libisl
+
+ The Integer Set Library.
+
+ libisl