OSDN Git Service

Move DCG stuff to own file.
[joypy/Thun.git] / thun / gnu-prolog / Makefile
index 3c702ce..781b1b2 100644 (file)
@@ -2,14 +2,15 @@
 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