/usr/local/bin/cloog
/usr/local/lib/libcloog-isl.so
/usr/local/lib/libcloog-isl.so.4
/usr/local/lib/libcloog-isl.so.4.0.0