QL=compilation.ql defaults.ql start.ql suite.ql ops.pl d.pl

state : $(TKHDRUG) $(QL) PG/*.pl
	( cd PG ; make PROLOG=$(PROLOG) PLFLAGS=$(PLFLAGS))
	( echo "compile(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)')

.SUFFIXES: .ql .pl

.pl.ql:
	-echo 'prolog_flag(compiling,_,$(PLFLAGS)), [-ops], fcompile($*).' \
               | $(PROLOG) -f


