# 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