From 4207ab7e241b1f8ba785518dcb49e0f6e8ae456d Mon Sep 17 00:00:00 2001
From: Radon Rosborough <radon.neon@gmail.com>
Date: Mon, 5 Oct 2020 19:05:55 -0700
Subject: [PATCH] WIP: POP-11

---
 scripts/docker-install-phase6.bash | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/scripts/docker-install-phase6.bash b/scripts/docker-install-phase6.bash
index c10573c..ab8acc8 100755
--- a/scripts/docker-install-phase6.bash
+++ b/scripts/docker-install-phase6.bash
@@ -149,6 +149,13 @@ mv include /opt/pawn/
 popd >/dev/null
 rm -rf pawn
 
+# POP-11
+wget -nv http://www.cs.bham.ac.uk/research/projects/poplog/V16/getpoplog.sh
+chmod +x getpoplog.sh
+./getpoplog.sh -nopie
+mv poplog_base /opt/poplog
+rm getpoplog.sh latest_poplog_base.tar.bz2 INSTRUCTIONS.txt
+
 # Rapira
 git clone https://github.com/freeduke33/rerap2.git
 pushd rerap2 >/dev/null