[Bug tree-optimization/38515] New: Disabling PPL/CLOOG with configure does not work

[burnus at gcc dot gnu dot org]

--disable-ppl and --without-ppl are accepted, but still ./configure searches
for PPL/CLOOG, finds them and enables them.

Expected: One can build 4.4 also without PPL/CLOOG even if they are installed.


-- 
           Summary: Disabling PPL/CLOOG with configure does not work
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: burnus at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38515