This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

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

From: "burnus at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>
To: gcc-bugs at gcc dot gnu dot org
Date: 13 Dec 2008 09:55:00 -0000
Subject: [Bug tree-optimization/38515] New: Disabling PPL/CLOOG with configure does not work
Reply-to: gcc-bugzilla 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

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]