[PURRS-devel] Reviving PURRS

[Roberto Bagnara]

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
./configure
make
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
./configure
make
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
./configure
make
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
make
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
make
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,

     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