PL=start.pl approx.pl inflection.pl decl.pl lexicon.pl rules.pl\
templates.pl types.pl compilation.pl 

state : $(TKHDRUG) $(PL) PG/*.pl
	( cd PG ; make PROLOG=$(PROLOG) PLFLAGS=$(PLFLAGS))
	( echo "ensure_loaded(start). ";\
	  echo "initialization(x). ";\
          echo "save_program(state).") | $(TKHDRUG)

script : PG/*.pl
	( cd PG ; make PROLOG=$(PROLOG) PLFLAGS=$(PLFLAGS))
	echo '#!/bin/sh' > script
	echo $(TKHDRUG) -l x '$$*' >> script
	chmod +x script

clean:
	rm $(RM_PATTERN) state script
	( cd PG ; make clean RM_PATTERN='$(RM_PATTERN)')


