[PPL-devel] Installing PPL (fwd)

[Martin Rohde]

Sorry,

maybe I should have sent this mail to this address.

Martin Rohde

-----------------------------------------------------------------------
Dear Roberto,

thank you for your quick response. Here the information:

I installed GMP 4.1 (the latest version from the gnu website)

The prefix just points to a test directory, because it is not yet
installed officially on our lab. So I created the directory /tmp/gmp in
order to test the GMP library, together with PPL. But this should work
anyhow. I have the feeling that, though the --with-gmp* are used, PPL uses
the default GMP directory, where version 3 is installed. Our administrator
doesn't want to change to version 4 immediately, because of the links to
other applications...

The output of g++ -v is
gcc version 2.96 20000731 (Red Hat Linux 7.1 2.96-81)

The output of uname-a is
Linux klftdh07.tn.tudelft.nl 2.4.8-ac2 #4 Mon Aug 13 15:02:24 CEST 2001
i686 unknown

The config.log file can be found as an attachment in this mail.

I hope you can help me, because the library looks very interesting and
powerful!

Thank you.

Martin Rohde



 On Tue, 11 Jun 2002, Roberto
Bagnara wrote:

> 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
>
>

Martin Rohde

Delft University of Technology
Kramers Laboratorium voor Fysische Technologie
Tel 0031 +152787084
Mail martin at klftfs01.tn.tudelft.nl
-------------- next part --------------
The following attachment was sent,
but NOT saved in the Fcc copy:
    A Text/PLAIN segment of about 8,412 bytes.