HOLDIR=/home/kxs/hol98
HOLMAKE=${HOLDIR}/bin/Holmake
COMP=${HOLDIR}/bin/mosmlc \
	   -I ${HOLDIR}/src/portableML \
	   -I ${HOLDIR}/src/0 \
	   -I ${HOLDIR}/src/bool \
	   -I ${HOLDIR}/src/basicHol90 \
	   -I ${HOLDIR}/src/combin \
	   -I ${HOLDIR}/src/lite \
	   -I ${HOLDIR}/src/ho_match \
	   -I ${HOLDIR}/src/refute \
	   -I ${HOLDIR}/src/meson/src \
	   -I ${HOLDIR}/src/taut \
	   -I ${HOLDIR}/src/arith/src \
	   -I ${HOLDIR}/src/decision/src \
	   -I ${HOLDIR}/src/datatype \
	   -I ${HOLDIR}/src/num \
	   -I ${HOLDIR}/src/reduce/src \
	   -I ${HOLDIR}/src/list/src \
	   -I ${HOLDIR}/src/option \
	   -I ${HOLDIR}/src/one \
	   -I ${HOLDIR}/src/sum \
	   -I ${HOLDIR}/src/tree \
	   -I ${HOLDIR}/src/pair/src \
	   -I ${HOLDIR}/src/simp/src \
	   -I ${HOLDIR}/src/tfl/src \
	   -I ${HOLDIR}/src/boss \
	   -I ${HOLDIR}/src/goalstack \
	   -I ../sockets \

all : 
	${HOLMAKE}
	${COMP} -o CPEunix CPEunix.uo
	${COMP} -o CPEinet CPEinet.uo

clean:
	${HOLMAKE} cleanAll
	rm -f CPEunix CPEinet
