OSDN Git Service
(root)
/
joypy
/
Thun.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
bbc0f75
)
Minor cleanup.
author
Simon Forman
<sforman@hushmail.com>
Tue, 13 Aug 2019 18:51:41 +0000
(11:51 -0700)
committer
Simon Forman
<sforman@hushmail.com>
Tue, 13 Aug 2019 18:51:41 +0000
(11:51 -0700)
thun/gnu-prolog/Makefile
patch
|
blob
|
history
diff --git
a/thun/gnu-prolog/Makefile
b/thun/gnu-prolog/Makefile
index
781b1b2
..
e80ca25
100644
(file)
--- a/
thun/gnu-prolog/Makefile
+++ b/
thun/gnu-prolog/Makefile
@@
-2,8
+2,10
@@
GPLC_OPTIONS=--no-top-level
#GPLC_OPTIONS=
-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
+THUN_DEPS=parser.pl defs.pl main.pl math.pl DCG_basics.pl
+
+thun: thun.pl $(THUN_DEPS) Makefile
+ gplc $(GPLC_OPTIONS) -o thun thun.pl $(THUN_DEPS)
defs.pl: meta-defs.pl parser.pl defs.txt thun.pl DCG_basics.pl
gprolog \