From: Laurent GUERBY <laurent@guerby.net>
To: Andreas Schwab <schwab@linux-m68k.org>
Cc: Roberto Bagnara <bagnara@cs.unipr.it>,
janis187@us.ibm.com, Ian Lance Taylor <iant@google.com>,
gcc@gcc.gnu.org,
The Parma Polyhedra Library developers' list
<ppl-devel@cs.unipr.it>
Subject: Re: Graphite build fails if PPL configured with --disable-shared
Date: Tue, 12 May 2009 20:48:00 -0000 [thread overview]
Message-ID: <1242158621.20334.65.camel@localhost> (raw)
In-Reply-To: <m2my9iksom.fsf@igel.home>
On Tue, 2009-05-12 at 21:49 +0200, Andreas Schwab wrote:
> Laurent GUERBY <laurent@guerby.net> writes:
>
> > So 0.15.3 configure does not set $with_ppl variable at all.
>
> Sure it does. Look at the argument parsing loop.
I added a dump and $with_ppl is indeed set correctly but $ppl_prefix
(which is used for -I if I follow correctly) is empty:
echo "$as_me:$LINENO: checking for Parma Polyhedral Library (PPL)" >&5
echo $ECHO_N "checking for Parma Polyhedral Library (PPL)... $ECHO_C" >&6
echo WITH_PPL "$with_ppl" > zconf
echo PPL_PREFIX "$ppl_prefix" >> zconf
if test "x$with_ppl" != "x" -a "x$with_ppl" != "xno"; then
if test "x$with_polylib_prefix" != "x" -o "x$with_polylib_exec_prefix" != "x" -o "x$with_polylib_builddir" != "x"; then
{ { echo "$as_me:$LINENO: error: --with-polylib and --with-ppl are mutually exclusive" >&5
echo "$as_me: error: --with-polylib and --with-ppl are mutually exclusive" >&2;}
{ (exit 1); exit 1; }; }
fi
if test "x$with_ppl" != "xyes" ; then
echo "$as_me:$LINENO: result: installed in $ppl_prefix" >&5
echo "${ECHO_T}installed in $ppl_prefix" >&6
CPPFLAGS="-I$ppl_prefix/include $CPPFLAGS"
...
$ cat zconf
WITH_PPL /n/17/guerby/install-ppl2/ppl-0.10.2
PPL_PREFIX
$
Do you know what part of configure is supposed to set $ppl_prefix?
In the 0.15 configure the code was using $with_prefix directly:
<<
echo "$as_me:$LINENO: checking for Parma Polyhedral Library (PPL)" >&5
echo $ECHO_N "checking for Parma Polyhedral Library (PPL)... $ECHO_C" >&6; }
if test "x$with_ppl" != "x"; then
if test "x$with_polylib_prefix" != "x" -o "x$with_polylib_exec_prefix" != "x" -o "x$with_polylib_builddir" != "x"; then
{ { echo "$as_me:$LINENO: error: --with-polylib and --with-ppl are mutually exclusive" >&5
echo "$as_me: error: --with-polylib and --with-ppl are mutually exclusive" >&2;}
{ (exit 1); exit 1; }; }
fi
{ echo "$as_me:$LINENO: result: installed in $with_ppl" >&5
echo "${ECHO_T}installed in $with_ppl" >&6; }
POLYHEDRAL_BACKEND=ppl
CPPFLAGS="-I$with_ppl/include -DCLOOG_PPL_BACKEND $CPPFLAGS"
>>
Or may be just replace $ppl_prefix in 0.15.3 configure.in and configure?
Thanks for your help,
Laurent
next prev parent reply other threads:[~2009-05-12 20:03 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-05-11 20:13 Ian Lance Taylor
2009-05-11 20:13 ` Andrew Pinski
2009-05-11 20:14 ` Andrew Pinski
2009-05-11 23:45 ` H.J. Lu
2009-05-11 23:48 ` Janis Johnson
2009-05-12 17:45 ` Roberto Bagnara
2009-05-12 18:05 ` Ian Lance Taylor
2009-05-12 19:31 ` Laurent GUERBY
2009-05-12 19:49 ` Andreas Schwab
2009-05-12 20:03 ` Laurent GUERBY
2009-05-12 20:25 ` Andreas Schwab
2009-05-12 20:48 ` Laurent GUERBY [this message]
2009-07-08 19:18 ` Maik Beckmann
2009-05-12 21:39 ` Janis Johnson
2009-05-12 8:13 ` Laurent GUERBY
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1242158621.20334.65.camel@localhost \
--to=laurent@guerby.net \
--cc=bagnara@cs.unipr.it \
--cc=gcc@gcc.gnu.org \
--cc=iant@google.com \
--cc=janis187@us.ibm.com \
--cc=ppl-devel@cs.unipr.it \
--cc=schwab@linux-m68k.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).