Move DCG stuff to own file.
This commit is contained in:
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user