[Bug other/54138] New: configuring --without-cloog but executable links against system cloog

[jimis at gmx dot net]

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: unassigned@gcc.gnu.org
        ReportedBy: jimis@gmx.net
                CC: abel@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)