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