patch -c < gdb-patchfile
config [debug GDBDIR=$GDBDIR] [ckpt]
Specify as arguments to config those configuration options you have selected: debug if you executed Step 4 above; ckpt if you would like to provide task migration capabilities and have retrieved and unpacked the checkpointing extensions. Config creates the bin, lib, obj directory hierarchies, copies Makefiles into the obj directory, generates make dependencies and creates a working makefile, Makefile.$ARCH from the master makefile, Makefile.master.
make -f Makefile.$ARCH
This compiles the managers and server programs and installs them in the directory $PRM_TOP/bin/$ARCH. It also compiles the demo programs, ringsim, sort-master, sort-worker and ckpt_migr.
make clean removes all object files and enables complete recompilation. If at a later time, you wish to install/remove either or both of the debug and ckpt options first use make clean, then repeat Steps 5 and 6.
This completes the installation procedure.