# Makefile for the GPP
# 
# The variables below must be set according to the local site.


# NJSML is the Standard ML New Jersey Compiler, version 110.0.3, 
# with CM, CML, eXene loaded

NJSML = sml

gpp:
	(mkdir ../bin; \
	 cat ../build/buildGPP | $(NJSML); \
	 echo "echo \"The Graphical Pretty Printer for Proof Obligations. Version 1.0.\"" > ../gpp; \
	 echo "echo \"Copyright (C) 1999 Arkadiusz Bryndza\"" >> ../gpp; \
	 echo "$(NJSML) @SMLload=`pwd`/../bin/ob_sml.x86-linux" >> ../gpp; \
	 chmod +x ../gpp; \
	 rm -fr CM)

ungpp:
	(rm -fr CM; \
	 rm -fr ../bin; \
	 rm ../gpp)
