Cross Reference: /hets/GMP/examples/Makefile

	Makefile revision a237b30135e86e8df89659d7b0442e4df305d03d
default: k kd cl gml pml hm
main:
	cd ..; make; make clean
k:
	cd scripts; ./checkK.sh
kd:
	cd scripts; ./checkKD.sh
cl:
	cd scripts; ./checkC.sh
gml:
	cd scripts; ./checkG.sh
pml:
	cd scripts; ./checkP.sh
hm:
	cd scripts; ./checkHM.sh
mon:
	cd scripts; ./checkMon.sh