GPLC_OPTIONS=--no-top-level
#GPLC_OPTIONS=
-thun: thun.pl parser.pl defs.pl main.pl math.pl Makefile
- gplc $(GPLC_OPTIONS) -o thun thun.pl parser.pl defs.pl main.pl math.pl
+thun: thun.pl parser.pl defs.pl main.pl math.pl DCG_basics.pl Makefile
+ gplc $(GPLC_OPTIONS) -o thun thun.pl parser.pl defs.pl main.pl DCG_basics.pl math.pl
-defs.pl: meta-defs.pl parser.pl defs.txt thun.pl
+defs.pl: meta-defs.pl parser.pl defs.txt thun.pl DCG_basics.pl
gprolog \
--consult-file meta-defs.pl \
--consult-file parser.pl \
--consult-file thun.pl \
+ --consult-file DCG_basics.pl \
--query-goal do
math.pl: meta-math.pl