PL= gram.pl start.pl

state : $(TKHDRUG) $(PL)
	( 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 

