From a79f3acba39c6a4a39ef35d7743d2059757f1fa3 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Fri, 17 Jul 2020 19:45:39 -0600
Subject: [PATCH] New language: Thue

---
 backend/src/langs.ts               |  9 +++++++++
 scripts/docker-install-phase7.bash | 10 ++++++++++
 2 files changed, 19 insertions(+)

diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index cd41f8c..bd94de1 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -1559,6 +1559,15 @@ END
     compile: "pandoc main.textile -o main.html",
     run: "prettier --no-config main.html",
     template: `Hello, world!
+`,
+  },
+  thue: {
+    name: "Thue",
+    main: "main.thue",
+    run: "thue main.thue",
+    template: `a::=~Hello, world!
+::=
+a
 `,
   },
   tikiwiki: {
diff --git a/scripts/docker-install-phase7.bash b/scripts/docker-install-phase7.bash
index d54ef74..ab57fa9 100755
--- a/scripts/docker-install-phase7.bash
+++ b/scripts/docker-install-phase7.bash
@@ -46,5 +46,15 @@ git clone https://github.com/bipinu/malbolge.git
 clang malbolge/malbolge.c -o /usr/bin/malbolge
 rm -rf malbolge
 
+# Thue
+wget -nv https://catseye.tc/distfiles/thue-1.5-2015.0827.zip
+unzip thue-*.zip
+rm thue-*.zip
+pushd thue-* >/dev/null
+./build.sh
+mv bin/thue /usr/bin/thue
+popd >/dev/null
+rm -rf thue-*
+
 popd >/dev/null
 rm "$0"