PL=compile.pl overwrite.pl pretty.pl ops.pl parse.pl start.pl

state : $(TKHDRUG) $(PL) PG/*.pl gram.pl
	(echo ; echo "compile(start)." ;\
	 echo "initialization(x). ";\
         echo "save_program(state).") | $(TKHDRUG)

script :
	echo '#!/bin/sh' > script
	echo $(TKHDRUG) -l x '$$*' >> script
	chmod +x script

clean:
	rm $(RM_PATTERN) state script
