[PURRS-devel] Reviving PURRS

Roberto Bagnara bagnara at cs.unipr.it
Sun Mar 21 17:08:09 CET 2010

Dear Cherif and Samir,

I apologize for the delay in answeing your requests for help,
but I only managed to look at this today.

After a Sunday spent curs^H^H^H^Hworking at PURRS, I have
made some progress toward making it buildable again.
The depinst script is totally outdated, so I did not use it.
What I did, was the following:

wget ftp://ftp.gnu.org/gnu/cgicc/cgicc-3.2.9.tar.gz
tar zxf cgicc-3.2.9.tar.gz
cd cgicc-3.2.9
sudo make install

wget http://www.ginac.de/CLN/cln-1.3.1.tar.bz2
tar jxf cln-1.3.1.tar.bz2
cd cln-1.3.1
sudo make install

wget ftp://ftpthep.physik.uni-mainz.de/pub/GiNaC/ginac-1.5.6.tar.bz2
tar jxf ginac-1.5.6.tar.bz2
cd ginac-1.5.6
sudo make install

wget http://www.shoup.net/ntl/ntl-5.5.2.tar.gz
tar zxf ntl-5.5.2.tar.gz
cd ntl-5.5.2/src
./configure CFLAGS="-O2 -fPIC" NTL_GMP_LIP=on NTL_STD_CXX=on
sudo make install

wget ftp://ftp-fourier.ujf-grenoble.fr/xcas/giac.tgz
tar zxf giac.tgz
cd giac-0.8.5
./configure --disable-debug --disable-gc --without-x --disable-gui --disable-pari --disable-gsl
sudo make install

After which I had to make several changes to PURRS, and now
it compiles.  It fails its testsuite miserably, but I believe
the reason is a change in the GiNaC expression parser that
does not influence the PURRS library.

If you haven't lost interest and you want to try, please let me
know the results.  Don't forget to "cvs up" your local copy.
All the best,


Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it

More information about the PURRS-devel mailing list