This is the mail archive of the gcc-patches@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]

Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.

From: Tobias Grosser <grosser at fim dot uni-passau dot de>
To: "H.J. Lu" <hjl dot tools at gmail dot com>
Cc: Richard Guenther <richard dot guenther at gmail dot com>, Sebastian Pop <sebpop at gmail dot com>, Jakub Jelinek <jakub at redhat dot com>, Eric Botcazou <ebotcazou at adacore dot com>, gcc-patches at gcc dot gnu dot org, gcc-graphite at googlegroups dot com
Date: Tue, 25 Jan 2011 10:38:34 -0500
Subject: Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
References: <1295377990-18603-1-git-send-email-sebpop@gmail.com> <201101250858.15402.ebotcazou@adacore.com> <AANLkTimvxkYsxnw0qLh_sqOKE-HKxoXC4cORzH=yHrBp@mail.gmail.com> <AANLkTikvkdA_DRYayn32eeXm-Q8NKeDC5gQ-Xre2rbST@mail.gmail.com> <20110125131411.GY2724@tyan-ft48-01.lab.bos.redhat.com> <AANLkTik+VCELTcOh1n0p3rbbsNrZ3B7=tG5+YiA0o+3Z@mail.gmail.com> <AANLkTi=1apfQQxe5SutCFWWRLgK-h4MJ7UgvUgpxnqK4@mail.gmail.com> <AANLkTikk6sFXJce1rS98NsMTaUZ=5DA_Hai0GG6NRjHH@mail.gmail.com> <AANLkTikM-0t0uvLc4qKR-x8tQs8X3Yxnuszdc2WRnVP5@mail.gmail.com> <AANLkTi=pKM2Ki51RUZfxoRYKB=-kOUKQaPXvS+Ft_s0s@mail.gmail.com> <AANLkTi=XG96B17_fGswYedq9EZaECsQf6+9zR0kJbS75@mail.gmail.com>

On 01/25/2011 10:33 AM, H.J. Lu wrote:

On Tue, Jan 25, 2011 at 6:53 AM, Richard Guenther
<richard.guenther@gmail.com>  wrote:
On Tue, Jan 25, 2011 at 3:49 PM, H.J. Lu<hjl.tools@gmail.com> wrote:

>>> [...]

One less shared libraray because of
"Even if CLooG 0.16
does not use PPL, PPL is still required for Graphite."

It makes no senses. I installed ppl 0,11 and cloog 0.16.1. I got

checking for version 0.11 (or later revision) of PPL... yes
checking for installed CLooG PPL Legacy... no
configure: error: Unable to find a usable CLooG.  See config.log for details.

configure:5881: gcc -m32 -o conftest -g -I/opt/gnu/include
-I/opt/gnu/include   -DCLOOG_INT_GMP -DCLOOG_ORG  -L/opt/gnu/lib
-L/opt/gnu/lib -lppl_c -lppl -lgmpxx conftest.c -lcloog>&5
conftest.c: In function 'main':
conftest.c:15:5: error: 'choke' undeclared (first use in this function)

> [...]

Why does it check cloog-ppl at all?

Cloog 0.15 (known as cloog-ppl) is still the default. If you installed cloog-0.16.1 (known as cloog-isl) you need to explicitly state that you want a Cloog other than the default. This is done by '--enable-cloog-backend=isl' in the configure.

Cheers
Tobi

Follow-Ups:
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: H.J. Lu

References:
- [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: Sebastian Pop
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: Eric Botcazou
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: H.J. Lu
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: H.J. Lu
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: Jakub Jelinek
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: Richard Guenther
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: Richard Guenther
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: Sebastian Pop
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: H.J. Lu
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: Richard Guenther
- Re: [PATCH] Fail when PPL 0.11 is not present and CLooG has been requested.
  - From: H.J. Lu

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