ppl configure error

newer
[GIT] ppl/ppl(master): Updated to...

older
[GIT] ppl/ppl(master): Avoid...

Li, Hui

19 Oct 2011 19 Oct '11

4:27 p.m.

Hello,

I got several error in the configure stage for the ppl-0.11.2.

Here is the config.log in 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 gmp was compiled with enable-cxx

The system information:

Red Hat Enterprise Linux AS release 4 (Nahant Update 9)

Linux b001 2.6.9_78.0.22.EL_lustre.1.6.7.2_custom #6 SMP Mon Nov 9 14:28:25 EST 2009 x86_64 x86_64 x86_64 GNU/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.

Thanks,

Hui

Attachments:

attachment.html (text/html — 1.2 KB)
config.log (application/octet-stream — 133.7 KB)

Show replies by date

Li, Hui

19 Oct 19 Oct

4:58 p.m.

Sorry about forgetting mention that gmp version is 5.0.2.

Thank you!

________________________________ From: Li, Hui Sent: Wednesday, October 19, 2011 09:27 AM To: ppl-devel@cs.unipr.it Subject: ppl configure error

Hello,

I got several error in the configure stage for the ppl-0.11.2.

Here is the config.log in 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 gmp was compiled with enable-cxx

The system information:

Red Hat Enterprise Linux AS release 4 (Nahant Update 9)

Linux b001 2.6.9_78.0.22.EL_lustre.1.6.7.2_custom #6 SMP Mon Nov 9 14:28:25 EST 2009 x86_64 x86_64 x86_64 GNU/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.

Thanks,

Hui

Roberto Bagnara

8:44 p.m.

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@cs.unipr.it

Li, Hui

20 Oct 20 Oct

5:59 a.m.

Hello Prof. Bagnara,

Yes, the gmpxx.h exist. And after prepending CPPFLAGS=-I/N/u/lihui/Quarry/gmp_install/include, the "gmpxx.h file not find" error fixed. But it still throw out error says "ieeefp.h: No such file or directory". Here is the new config.log in the attachment.

There is math.h in: /usr/include/math.h /usr/lib/x86_64-redhat-linux3E/include/math.h

But there is no ieeefp.h found in above system include directory.

Should I do some other configuration?

Thanks&Regards,

________________________________________ From: Roberto Bagnara [bagnara@cs.unipr.it] Sent: Wednesday, October 19, 2011 01:44 PM To: The Parma Polyhedra Library developers' list Cc: Li, Hui Subject: Re: [PPL-devel] ppl configure error

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,

Roberto

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

Roberto Bagnara

8:19 a.m.

On 10/20/2011 05:59 AM, Li, Hui wrote:

...

Hello Prof. Bagnara,

Yes, the gmpxx.h exist. And after prepending CPPFLAGS=-I/N/u/lihui/Quarry/gmp_install/include, the "gmpxx.h file not find" error fixed. But it still throw out error says "ieeefp.h: No such file or directory". Here is the new config.log in the attachment.

There is math.h in: /usr/include/math.h /usr/lib/x86_64-redhat-linux3E/include/math.h

But there is no ieeefp.h found in above system include directory.

Should I do some other configuration?

Hi Hui,

I don't see any problem involving ieeefp.h in your config.log. The problem could be that you have installed GMP in a non-standard place without instructing your dynamic linker/loader about where to find it. See `man ld.so' for more details. I guess that something like

export LD_LIBRARY_PATH=/N/u/lihui/Quarry/gmp_install/lib:$LD_LIBRARY_PATH

export LD_LIBRARY_PATH=/N/u/lihui/Quarry/gmp_install/lib64:$LD_LIBRARY_PATH

should work. Success,

Roberto

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

5112

Age (days ago)

5113

Last active (days ago)

List overview

Download

4 comments

2 participants

tags (0)

participants (2)

Li, Hui
Roberto Bagnara