From ab587beaa9fbd4eb52012f4590e8bb21067e07ac Mon Sep 17 00:00:00 2001
From: Simon Forman <sforman@hushmail.com>
Date: Sat, 10 Aug 2019 20:06:12 -0700
Subject: [PATCH] Omit Prolog toplevel.

---
 .hgignore                | 2 +-
 thun/gnu-prolog/Makefile | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.hgignore b/.hgignore
index e5e27ee..194a39e 100644
--- a/.hgignore
+++ b/.hgignore
@@ -5,4 +5,4 @@
 .vscode
 docs/.ipynb_checkpoints
 test/*
-
+thun
diff --git a/thun/gnu-prolog/Makefile b/thun/gnu-prolog/Makefile
index a14a6c4..9046d46 100644
--- a/thun/gnu-prolog/Makefile
+++ b/thun/gnu-prolog/Makefile
@@ -1,6 +1,6 @@
-
+GPLC_OPTIONS="--min-size"
 
 thun: thun.pl
-	gplc -o thun thun.pl
+	gplc $(GPLC_OPTIONS) -o thun thun.pl