Compiling and installing the Tools from the Programatica project

You need Linux (or SunOS or FreeBSD or MacOS 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 (recent snapshots),
  • either hmake (3.07 or later) Humake (Jan2002 or later)

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.

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.)

Some additional test programs can be compiled by going to one of the subdirectories running the command make there.