From 26ef2dd9ff26a845d982e73e79b77349b1a22439 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sun, 19 Jul 2020 13:43:53 -0600
Subject: [PATCH] New language: SETL

---
 backend/src/langs.ts               | 7 +++++++
 scripts/docker-install-phase5.bash | 4 ++++
 2 files changed, 11 insertions(+)

diff --git a/backend/src/langs.ts b/backend/src/langs.ts
index 919b4c9..e70451e 100644
--- a/backend/src/langs.ts
+++ b/backend/src/langs.ts
@@ -1541,6 +1541,13 @@ binding_irb.run(IRB.conf)
     main: "main.sed",
     run: "echo 'Reading from stdin...' >&2; sed -f main.sed",
     template: `s/.*/Hello, world!/
+`,
+  },
+  setl: {
+    name: "SETL",
+    main: "main.setl",
+    run: "setl main.setl",
+    template: `print("Hello, world!");
 `,
   },
   sh: {
diff --git a/scripts/docker-install-phase5.bash b/scripts/docker-install-phase5.bash
index be690bd..4d2c780 100755
--- a/scripts/docker-install-phase5.bash
+++ b/scripts/docker-install-phase5.bash
@@ -199,6 +199,10 @@ metals -version </dev/null
 mkdir /opt/coursier
 mv "$HOME/.cache/coursier" /opt/coursier/cache
 
+# SETL
+wget -nv https://setl.org/setl/bin/Linux-x86-64bit/setlbin.tgz
+tar -xf setlbin.tgz -C /usr/local/bin
+
 # Snobol
 gdown "https://drive.google.com/file/d/1ygQkpgfirpq4b7s4YNsSijkK8IQgSLWk/view?usp=sharing" /usr/bin/snobol4
 chmod +x /usr/bin/snobol4