# To build from source:

# 1. Make sure the javatangle preprocessor (part of Rambutan) is installed.

# 2. Set the PUB directory in makefile.

# 3. Type the following in a shell.  Alternatively, simply execute
#    this file as a shell script).

make PKG=qgd/util compilebase
make PKG=qgd/util JAR=Friedmann jarcf
make PKG=qgd/numer compilebase
make PKG=qgd/numer JAR=Friedmann jaruf
make PKG=friedmann compile
make PKG=friedmann JAR=Friedmann jarumf
