Omit Prolog toplevel.

2019-08-10 20:06:12 -07:00
parent dc5737eb45
commit ab587beaa9
2 changed files with 3 additions and 3 deletions
@@ -5,4 +5,4 @@
 .vscode
 docs/.ipynb_checkpoints
 test/*
-
+thun
@@ -1,6 +1,6 @@
-
+GPLC_OPTIONS="--min-size"
 thun: thun.pl
-	gplc -o thun thun.pl
+	gplc $(GPLC_OPTIONS) -o thun thun.pl