%general-entities; ]> CLooG-PPL CC="gcc -isystem /usr/include ${BUILD64}" \ LDFLAGS="-Wl,-rpath-link,/lib64 ${BUILD64}" ./configure --prefix=/usr \ --libdir=/usr/lib64 --enable-shared --with-gmp \ --with-ppl