http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54138
Bug #: 54138 Summary: configuring --without-cloog but executable links against system cloog Classification: Unclassified Product: gcc Version: unknown Status: UNCONFIRMED Severity: normal Priority: P3 Component: other AssignedTo: unassig...@gcc.gnu.org ReportedBy: ji...@gmx.net CC: a...@gcc.gnu.org Steps to reproduce: Download snapshot gcc-4.8-20120729 configure --without-ppl --without-isl --without-cloog --enable-languages=c,c++ --disable-plugins --disable-bootstrap make ldd gcc/cc1 | grep cloo libcloog-isl.so.3 => /lib/libcloog-isl.so.3 (0xb7715000)