Compiling and installing the Tools from the Programatica project

You need Linux (or SunOS or FreeBSD or Mac OS X or something similar) (with the X Window system) and the following additional software and tools:

• GHC 5.02 or later.
• Happy 1.11 or later.
• alfaforpfe.tar.gz, part of Alfa, needed for the Haskell-to-Alfa translator. It should be untared in the hs2alfa subdirectory.
• For pfebrowser, you also need
  • Fudgets and InternetLib (get recent snapshots),

Regarding hardware requirements: we compile and test the tools under Linux on machines ranging from a 800MHz P-III laptop with 256MB RAM to a 1.9GHZ P4 servers with 2GB RAM. (To limit the amount of memory used by GHC (and programs compiled with GHC), you can set the environment variable GHCRTS to for example -M150M.)

The following command sequence should work:

1. make
2. make install

This will compile all of the code with optimization (ghc -O). You can replace the make step with make OPT= to turn off optimization. This will speed up compilation with a factor of ~4, but slow down the resulting tools by a factor of ~2.

The Makefile in this directory has the following useful targets:

all (this is the default)

This compiles pfe and pfebrowser. It also creates the bin/ and lib/ subdirectories containing a template of the things that get installed by make install.

install

This installs all the programs and library files. Use make PREFIX=... to control where things get installed.

tar

creates a tar file containing the programs and the library files, allowing easy installation of them on another computer.

clean

removes (almost all) automatically generated files.

To test the tools without installing them first, add the bin/ subdirectory to your $PATH and set $PROGRAMATICA to point to the lib/Programatica subdirectory. (If you are using (t)csh, do source scripts/setEnv.csh from this directory. If you are using (ba)sh, do . scripts/setEnv.sh.)