From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-help-return-51653-listarch-gcc-help=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 20455 invoked by alias); 28 Nov 2012 15:22:07 -0000
Received: (qmail 20439 invoked by uid 22791); 28 Nov 2012 15:22:06 -0000
X-SWARE-Spam-Status: No, hits=-5.6 required=5.0	tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM,KHOP_RCVD_TRUST,KHOP_THREADED,RCVD_IN_DNSWL_LOW,RCVD_IN_HOSTKARMA_YE,TW_CX
X-Spam-Check-By: sourceware.org
Received: from mail-bk0-f47.google.com (HELO mail-bk0-f47.google.com) (209.85.214.47)    by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 28 Nov 2012 15:21:58 +0000
Received: by mail-bk0-f47.google.com with SMTP id j4so4308884bkw.20        for <gcc-help@gcc.gnu.org>; Wed, 28 Nov 2012 07:21:56 -0800 (PST)
Received: by 10.204.12.220 with SMTP id y28mr6096733bky.112.1354116116786;        Wed, 28 Nov 2012 07:21:56 -0800 (PST)
Received: from [192.168.1.26] ([80.28.66.55])        by mx.google.com with ESMTPS id u3sm12923766bkw.9.2012.11.28.07.21.55        (version=SSLv3 cipher=OTHER);        Wed, 28 Nov 2012 07:21:56 -0800 (PST)
Message-ID: <50B62BA4.7090208@gmail.com>
Date: Wed, 28 Nov 2012 15:22:00 -0000
From: =?ISO-8859-1?Q?=C1ngel_Gonz=E1lez?= <keisial@gmail.com>
User-Agent: Thunderbird
MIME-Version: 1.0
To: Steve Lorimer <steve.lorimer@gmail.com>
CC: gcc-help@gcc.gnu.org
Subject: Re: ppl-0.11 fails to find gmp-4.3.2
References: <CAE-NPOj2Ud672n3zz3k2oZwvXrMzH+zwro_HXad-Ju1S3ZT46w@mail.gmail.com>
In-Reply-To: <CAE-NPOj2Ud672n3zz3k2oZwvXrMzH+zwro_HXad-Ju1S3ZT46w@mail.gmail.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-IsSubscribed: yes
Mailing-List: contact gcc-help-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-help.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-help/>
List-Post: <mailto:gcc-help@gcc.gnu.org>
List-Help: <mailto:gcc-help-help@gcc.gnu.org>
Sender: gcc-help-owner@gcc.gnu.org
X-SW-Source: 2012-11/txt/msg00211.txt.bz2

On 28/11/12 02:46, Steve Lorimer wrote:
> I'm attempting to run configure for ppl-0.11
>
> It fails to find gmp, even though I have installed gmp-4.3.2 (with
> --enable-cxx set)
>
> Both of these are the recommended versions in
> <src-dir>/gcc-4.7.2/gcc/doc/HTML/prerequisites.html

It worked for me recently.

I did something similar to:
cd gmp-5.0.5
./configure --enable-cxx
--prefix=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64
make
sudo make install
cd ..
cd ppl-0.11
./configure --prefix=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64
--with-gmp=/hostname/tmp/syddev/sdk/gcc472/suse11/x86_64
make
etc.

I had some problems at that point, too, but I was just missing --enable-cxx

You can try compiling the test program used by configure and check what
errors appear.
Just extract the lines 11139-11193 of ppl-0.11 configure and pass it to
g++ with the appropiate
-I -L of your prefix.