WIP: Slick
This commit is contained in:
parent
c1f493b976
commit
23bcc3c982
|
@ -109,6 +109,10 @@ npm install -g sass
|
||||||
# Shakespeare
|
# Shakespeare
|
||||||
pip3 install shakespearelang
|
pip3 install shakespearelang
|
||||||
|
|
||||||
|
# Slick
|
||||||
|
opam install -y dune
|
||||||
|
ln -s /opt/opam/default/bin/dune /usr/local/bin/dune
|
||||||
|
|
||||||
# TeX
|
# TeX
|
||||||
luarocks install digestif
|
luarocks install digestif
|
||||||
|
|
||||||
|
|
|
@ -5,6 +5,9 @@ set -o pipefail
|
||||||
set -x
|
set -x
|
||||||
pushd /tmp >/dev/null
|
pushd /tmp >/dev/null
|
||||||
|
|
||||||
|
export OPAMROOT=/opt/opam
|
||||||
|
export OPAMROOTISOK=1
|
||||||
|
|
||||||
# Aheui
|
# Aheui
|
||||||
git clone https://github.com/aheui/caheui.git
|
git clone https://github.com/aheui/caheui.git
|
||||||
pushd caheui >/dev/null
|
pushd caheui >/dev/null
|
||||||
|
@ -130,6 +133,16 @@ mv public/qlb/*.js /opt/qalb/
|
||||||
popd >/dev/null
|
popd >/dev/null
|
||||||
rm -rf qalb
|
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
|
# Snobol
|
||||||
file="$(curl -sSL ftp://ftp.snobol4.org/snobol/ | grep -Eo 'snobol4-.*\.tar\.gz' | sort -rV | head -n1)"
|
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}"
|
wget -nv "ftp://ftp.snobol4.org/snobol/${file}"
|
||||||
|
|
Loading…
Reference in New Issue