[PPL-devel] PROBLEM with installation

[Roberto Bagnara]

Joycee Mekie wrote:
> checking for a BSD-compatible install... /usr/bin/install -c
> checking whether build environment is sane... yes
> checking for gawk... gawk
> checking whether make sets $(MAKE)... yes
> checking build system type... i686-pc-linux-gnu
> checking host system type... i686-pc-linux-gnu
> checking for style of include used by make... GNU
> checking for gcc... gcc
> checking for C compiler default output... a.out
> checking whether the C compiler works... yes
> checking whether we are cross compiling... no
> checking for suffix of executables... 
> checking for suffix of object files... o
> checking whether we are using the GNU C compiler... yes
> checking whether gcc accepts -g... yes
> checking for gcc option to accept ANSI C... none needed
> checking dependency style of gcc... gcc3
> checking for an ANSI C-conforming const... yes
> checking for inline... inline
> checking for gcc... (cached) gcc
> checking whether we are using the GNU C compiler... (cached) yes
> checking whether gcc accepts -g... (cached) yes
> checking for gcc option to accept ANSI C... (cached) none needed
> checking dependency style of gcc... (cached) gcc3
> checking for g++... g++
> checking whether we are using the GNU C++ compiler... yes
> checking whether g++ accepts -g... yes
> checking dependency style of g++... gcc3
> checking how to run the C++ preprocessor... g++ -E
> checking whether make sets $(MAKE)... (cached) yes
> checking for a BSD-compatible install... /usr/bin/install -c
> checking for the GMP library... no
> configure: error: Cannot find GMP version 4.1.2 or higher.
> GMP is the GNU Multi-Precision library:
> see http://www.swox.com/gmp/ for more information.
> Do not forget to enable the C++ interface: add --enable-cxx
> to the configuration options.

Dear Sir,

from your (rather terse) message, I gather that your installation
of GMP, if any, has not been compiled with the C++ interface enabled.
Please check out http://www.cs.unipr.it/ppl/Download/requirements
for instructions on how to compile and install GMP properly
and tell the PPL configure script where the right version
of GMP has been installed.
All the best,

      Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it