[PPL-devel] Installing PPL

[Roberto Bagnara]

Martin Rohde wrote:
> Hello,
> 
> I'm trying to install PPL, but everytime I do
> 
> ./configure --prefix=/tmp/ppl
> 
> I get the message that GMP4 cannot be found. The /tmp dir is in PATH and I
> installed GMP with the --enable-cxx option and set CPPFLAGS to
> -fexceptions.
> 
> Who can help me?
> 
> Thank you
> 
> Martin Rohde
> 
> Delft University of Technology
> Kramers Laboratorium voor Fysische Technologie
> Tel 0031 +152787084
> Mail martin at klftfs01.tn.tudelft.nl
> 
> _______________________________________________
> PPL-devel mailing list
> PPL-devel at cs.unipr.it
> http://www.cs.unipr.it/mailman/listinfo/ppl-devel


Dear Martin,

as you see, I have forwarded your message to ppl-devel at cs.unipr.it,
which is the right list for this kind of issues 
(ppl-announce at cs.unipr.it is a moderated list that we only use for
important annoucements such as the release of new versions of the
library).

In order to help you, we need some information.  Which version of
GMP did you install?  How did you configure GMP exactly (the prefix
you used is particularly important)?  Which version of GCC did you use
(send us the output of `g++ -v')?  Which architecture (send us the
output of `uname -a')?
Could you send us the file called config.log that has been created
in the directory where you run the PPL configure script?
Later

     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