[PPL-devel] configure: error: Cannot find GMP version 4.1.3 or higher.

[Roberto Bagnara]

On 03/28/11 05:03, Dennis Clarke wrote:
>
> After building and testing gmp-5.0.1 I find that the configure process in
> ppl 0.11.2 fails to recognize that it is available.

Hi Dennis.

> What I see is this :
>
> checking how to link with libgmp... /opt/bw/lib/i386/libgmp.so
> -R/opt/bw/lib/i386
> checking how to link with libgmpxx... /opt/bw/lib/i386/libgmpxx.so
> /opt/bw/lib/i386/libgmp.so -R/opt/bw/lib/i386 -R/opt/bw/lib/i386
> checking for the GMP library version 4.1.3 or above... no
> configure: error: Cannot find GMP version 4.1.3 or higher.
> GMP is the GNU Multi-Precision library:
> see http://www.swox.com/gmp/ for more information.
> When compiling the GMP library, do not forget to enable the C++ interface:
> add --enable-cxx to the configuration options.
>
> This is blatantly wrong.

What in particular is blatantly wrong?

> Is there a simple fix ?

Not unless you provide us with more details.
Please use the issue tracking system:

   https://www.cs.unipr.it/mantis/

Thanks,

    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