From 87b124c73761c5b6b573d5c0840a6561cc5c748d Mon Sep 17 00:00:00 2001
From: Brian Seymour <imbrianseymour@gmail.com>
Date: Fri, 19 Feb 2021 00:33:39 -0600
Subject: [PATCH] fix prolog executor and instructions

---
 container/install_script.sh | 5 +++--
 lxc/executors/prolog        | 5 ++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/container/install_script.sh b/container/install_script.sh
index bb7264f..40973e8 100644
--- a/container/install_script.sh
+++ b/container/install_script.sh
@@ -16,7 +16,8 @@ apt-get update
 apt-get install -y \
     nano wget build-essential pkg-config libxml2-dev \
     libsqlite3-dev mono-complete curl cmake libpython2.7-dev \
-    ruby libtinfo-dev unzip git openssl libssl-dev sbcl libevent-dev
+    ruby libtinfo-dev unzip git openssl libssl-dev sbcl libevent-dev \
+    ninja-build
 
 # install python2
 # final binary: /opt/python2/Python-2.7.17/python
@@ -294,7 +295,7 @@ rm $SUB_DIR.tar.gz
 cd $SUB_DIR
 mkdir build
 cd build
-cmake -DSWIPL_PACKAGES_JAVA=OFF -DSWIPL_PACKAGES_X=OFF -DMULTI_THREADED=OFF -G Ninja ..
+cmake -DSWIPL_PACKAGES_JAVA=OFF -DSWIPL_PACKAGES_X=OFF -DMULTI_THREADED=OFF -DINSTALL_DOCUMENTATION=OFF -G Ninja ..
 ninja
 echo "export PATH=\$PATH:/opt/swipl/$SUB_DIR/build/src" >> /opt/.profile
 source /opt/.profile
diff --git a/lxc/executors/prolog b/lxc/executors/prolog
index e5bb3ec..ec6aeda 100755
--- a/lxc/executors/prolog
+++ b/lxc/executors/prolog
@@ -2,8 +2,7 @@
 
 cd /tmp/$1
 
-sed 's/^.*$/:- forall((Goal = (\0), call(Goal)), (write(Goal), nl))./' input.input |
-	cat code.code - > code.pl
+sed 's/^.*$/:- forall((Goal = (\0), call(Goal)), (write(Goal), nl))./' stdin.stdin |
+    cat code.code - > code.pl
 
 timeout -s KILL 3 swipl -g true -t halt code.pl
-