MirrorMirror
/
riju
mirror of https://github.com/radian-software/riju.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

WIP: POP-11

This commit is contained in:
Radon Rosborough 2020-10-05 19:05:55 -07:00
parent d87455995b
commit 4207ab7e24
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
scripts/docker-install-phase6.bash
View File

@ -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