# This document explains how to install the PNgen toolset.
# The text below assumes that all projects (tools) are to be installled
# in /home/sven/loop/. You can chose any arbitrary directory to install the projects.
#
extract project SUIF from the tar ball
cd
perl setup_suif -sh -suifhome `pwd` > suifvars (if you use a bash shelll)
perl setup_suif -csh -suifhome `pwd` > suifvars (if you use a tc shelll)
# add the location of your 'cpp' to SUIFPATH in suifvars
source suifvars (also you may put this command in your .tcshrc script)
make setup
make install
cd ..
extract project GMP from the tar ball
cd
./configure --prefix=/home/sven/loop/
make
make check
make install
extract project OMEGA from the tar ball
cd
vi -c '/DESTDIR=/|s/=.*$/=\/home\/sven\/loop/|wq' Makefile.config
make libomega.a libcode_gen.a
make install
cd ..
extract project POLYLIB from the tar ball
cd
./configure --prefix=/home/sven/loop/ --with-libgmp=/home/sven/loop/
make
make check
make install
cd ..
extract project SYCK from the tar ball
cd
./configure --prefix=/home/sven/loop/
make
make check
make install
cd ..
extract project PIPLIB from the tar ball
cd
./configure --prefix=/home/sven/loop/
make
make check
make install
cd ..
extract project NTL from the tar ball
cd
cd src
./configure NTL_GMP_LIP=on PREFIX=/home/sven/loop/
make
make check
make install
cd ../..
extract project CLN from the tar ball
cd
./configure --prefix=/home/sven/loop/
make
make check
make install
cd ..
extract project GINaC from the tar ball
cd
setenv LD_LIBRARY_PATH /home/sven/loop/lib/:$LD_LIBRARY_PATH
./configure --prefix=/home/sven/loop/ --with-cln-prefix=/home/sven/loop/
make
make check
make install
cd ..
extract project BARVINOK from the tar ball
cd
./configure --enable-fractional --prefix=/home/sven/loop/ --with-polylib=/home/sven/loop/ --with-ntl=/home/sven/loop/ --with-ginac-prefix=/home/sven/loop/
make
make check
make install
extract project LIBXML2 (source and tests) from the tar ball
cd
./configure --prefix=/home/sven/loop/
make
make check
make install
extract project ISA from the tar ball
cd
./configure --prefix=/home/sven/loop --with-syck=/home/sven/loop/
--with-suif=/suifhome/ --with-omega=/home/sven/loop/
--with-barvinok=/home/sven/loop/ --with-polylib=/home/sven/loop/
--with-piplib=/home/sven/loop/ --with-libxml2=/home/sven/loop/
make
make install
* copy manually file ./.libs/pn2dot to /home/sven/loop/bin