From 90bccece6a68aaf55d4da7cbc37556ca9114981f Mon Sep 17 00:00:00 2001 From: Simon Forman Date: Sat, 10 Aug 2019 21:46:48 -0700 Subject: [PATCH] build defs.pl --- thun/gnu-prolog/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/thun/gnu-prolog/Makefile b/thun/gnu-prolog/Makefile index 4da5c84..486a33e 100644 --- a/thun/gnu-prolog/Makefile +++ b/thun/gnu-prolog/Makefile @@ -1,6 +1,6 @@ GPLC_OPTIONS="--min-size" -thun: thun.pl parser.pl +thun: thun.pl parser.pl defs.pl gplc $(GPLC_OPTIONS) -o thun thun.pl parser.pl defs.pl: meta-defs.pl parser.pl defs.txt