From 23bcc3c98260075730325b49aec36ed634fa01d8 Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Sun, 4 Oct 2020 09:51:47 -0700
Subject: [PATCH] WIP: Slick

---
 scripts/docker-install-phase5.bash |  4 ++++
 scripts/docker-install-phase6.bash | 13 +++++++++++++
 2 files changed, 17 insertions(+)

diff --git a/scripts/docker-install-phase5.bash b/scripts/docker-install-phase5.bash
index 95eecba..a16d73d 100755
--- a/scripts/docker-install-phase5.bash
+++ b/scripts/docker-install-phase5.bash
@@ -109,6 +109,10 @@ npm install -g sass
 # Shakespeare
 pip3 install shakespearelang
 
+# Slick
+opam install -y dune
+ln -s /opt/opam/default/bin/dune /usr/local/bin/dune
+
 # TeX
 luarocks install digestif
 
diff --git a/scripts/docker-install-phase6.bash b/scripts/docker-install-phase6.bash
index c2d553a..bf1cf30 100755
--- a/scripts/docker-install-phase6.bash
+++ b/scripts/docker-install-phase6.bash
@@ -5,6 +5,9 @@ set -o pipefail
 set -x
 pushd /tmp >/dev/null
 
+export OPAMROOT=/opt/opam
+export OPAMROOTISOK=1
+
 # Aheui
 git clone https://github.com/aheui/caheui.git
 pushd caheui >/dev/null
@@ -130,6 +133,16 @@ mv public/qlb/*.js /opt/qalb/
 popd >/dev/null
 rm -rf qalb
 
+# Slick
+git clone https://github.com/kwshi/slick.git
+pushd slick >/dev/null
+opam switch create .
+opam pin --switch . containers 2.7 -y
+opam install --switch . $(dune external-lib-deps src --display=quiet | grep -F - | sed 's/- //; s/\..*//') -y
+opam install --switch . menhir -y
+opam exec --switch . dune build
+popd >/dev/null
+
 # Snobol
 file="$(curl -sSL ftp://ftp.snobol4.org/snobol/ | grep -Eo 'snobol4-.*\.tar\.gz' | sort -rV | head -n1)"
 wget -nv "ftp://ftp.snobol4.org/snobol/${file}"