Installation instructions for pntools ===================================== Automatic Installation ---------------------- You can use the BASH script named `setup_pntools.sh` (exists in the same directory as this file) to install pntools automatically. This can be done by executing the following commands: mkdir pntools cd pntools wget http://daedalus.liacs.nl/pntools/release_20120907/setup_pntools.sh chmod +x setup_pntools.sh ./setup_pntools.sh [pn_path|clean] where `pn_path` is the full path to an existing pn installation. If `pn_path` is not specified, then the script will install pn from scratch. `clean` cleans a current pntools installation Manual Installation ------------------- If, for any reason, `setup_pntools.sh` does not work. You still can install pntools by following the instructions below. 1) Install the pn compiler. For instructions on how to install the pn compiler, please check http://daedalus.liacs.nl/pngen/ After installing pn, we assume that the full path to pn installation is $PN_PATH, and the full path to the directory starting with `isa` under $PN_PATH is $ISA_PATH 2) Extract pntools from the archive file unzip pntools-0.2.tar.gz 3) Configure, compile and install pntools as follows: cd pntools-0.2 ./autogen.sh ./configure --with-pngen=$PN_PATH --with-isa=$ISA_PATH make 4) You should be able now to run the different pntools That's all! Sven van Haastregt (svhaastr@liacs.nl), 07.09.2012