[PPL-devel] ppl configure error

[Roberto Bagnara]

On 10/19/2011 04:27 PM, Li, Hui wrote:
> I got several error in the configure stage for the ppl-0.11.2.
>
> Here is the config.login the attachment.
>
> And the configure options:
>
> ./configure --prefix=/N/u/lihui/ppl_install--exec-prefix=/N/u/lihui/ppl_install--with-gmp=/N/u/lihui/gmp_install
>
> the gmpwas compiled with enable-cxx
>
> The system information:
>
> Red Hat Enterprise Linux AS release 4 (Nahant Update 9)
>
> Linux b0012.6.9_78.0.22.EL_lustre.1.6.7.2_custom#6 SMPMon Nov 9 14:28:25 EST 2009 x86_64x86_64x86_64GNU/Linux
>
>
> Could you please tell what's the problem? I've search many pages but didn't get right solution, and any suggestion will be appreciated.

Hello Hui,

does the file /N/u/lihui/Quarry/gmp_install/include/gmpxx.h exist?
If so, please prepend CPPFLAGS=-I/N/u/lihui/Quarry/gmp_install/include
and try again.  Please let us know if this works for you.
Best regards,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it