INSTALL
=======
This file contains the instructions to install the PNgen compiler.

Requirements
------------
To be able to compile the modules you need several standard tools such as pkg-config, bison, flex, and libtool which may not be installed by default.

If you are installing on Ubuntu, then you can install the packages libgmp3-dev, libyaml-dev, libntl-dev, libsyck0-dev and libxml2-dev through dpkg and then you can go straight to the installation of LLVM/clang and isa.


Installing PNgen
----------------

You can install PNgen either automatically using the installer script (called setup_pngen.sh and located in the same directory as this file), or manually by following all the instructions mentioned below.

### Installation via Installer Script

To install PNgen using the installer script, execute the following commands:

	mkdir pngen
	cd pngen
	wget http://daedalus.liacs.nl/pngen/release_20120706/setup_pngen.sh
	chmod +x setup_pngen.sh
	./setup_pngen.sh [clean|nocheck]

The script will automatically download and install all the packages needed by PNgen. If setup_pngen.sh is executed with no options, it invokes `make check` for all the packages which increases the installation time considerably. Therefore, you can execute it with the option `nocheck` which will skip invoking `make check` for all the packages.

### Manual Installation

If, for any reason, setup_pngen.sh does not work, then you can follow the following instructions. We assume that you will install PNgen to /home/user/pngen

extract GMP from the tar ball
cd <dir>
       ./configure --prefix=/home/user/pngen
       make
       make check
       make install
       cd ..

extract SYCK from the tar ball
cd <dir>
	./configure --prefix=/home/user/pngen
	make
	make check
	make install
	cd ..

extract YAML from the tar ball
cd <dir>
	./configure --prefix=/home/user/pngen
	make
	make check
	make install
	cd ..

extract NTL from the tar ball
cd <dir>
	cd src
	./configure NTL_GMP_LIP=on PREFIX=/home/user/pngen
	make
	make check
	make install
	cd ../..

extract LIBXML2 from the tar ball 
cd <dir>
	./configure --prefix=/home/user/pngen
	make
	make check
	make install
	cd ..

extract 'Clang Binaries' from the tar ball

extract ISA from the tar ball
cd <dir>
	./configure --prefix=/home/user/pngen \
		    --with-syck=/home/user/pngen \
		    --with-ntl-prefix=/home/user/pngen \
		    --with-gmp-prefix=/home/user/pngen \
		    --with-libxml2=/home/user/pngen \
		    --with-libyaml-prefix=/home/user/pngen \
		    --with-clang-prefix=/home/user/pngen

	make
        make check
	make install

That's all! 
Todor Stefanov (stefanov@liacs.nl), 06.07.2012