@@ -3,57 +3,59 @@
4set -o pipefail
4set -o pipefail
6−export DEBIAN_FRONTEND=noninteractive
6+cd /tmp
9−apt-get install -y software-properties-common
10−add-apt-repository ppa:avsm/ppa
11−add-apt-repository ppa:kelleyk/emacs
15−bsdmainutils
10+# languages
16−build-essential
11+emacs-nox
21liblua5.1-dev
12liblua5.1-dev
29python3-dev
16python3-dev
30−ruby2.5-dev
17+ruby-dev
27+# things we link against
30+# needed for the version of libmozjs that we download
34+# used during installation
39+export DEBIAN_FRONTEND=noninteractive
37−apt-get install -y $packages
41+apt-get install -y $(grep -v "^#" <<< "$packages")
38rm -rf /var/lib/apt/lists/*
42rm -rf /var/lib/apt/lists/*
44+# The version in the Disco repos is out of date (1.0 series) and does
45+# not expose the API we need.
46+wget -nv https://julialang-s3.julialang.org/bin/linux/x64/1.1/julia-1.1.1-linux-x86_64.tar.gz
48+cp -R julia-*/bin/* /usr/local/bin/
49+cp -R julia-*/include/* /usr/local/include/
50+cp -R julia-*/lib/* /usr/local/lib/
51+cp -R julia-*/share/* /usr/local/share/
54+# The version in the Disco repos is not compatible with cgo ("invalid
55+# flag in pkg-config --cflags: -include").
40wget -nv https://launchpadlibrarian.net/309343863/libmozjs185-1.0_1.8.5-1.0.0+dfsg-7_amd64.deb
56wget -nv https://launchpadlibrarian.net/309343863/libmozjs185-1.0_1.8.5-1.0.0+dfsg-7_amd64.deb
41wget -nv https://launchpadlibrarian.net/309343864/libmozjs185-dev_1.8.5-1.0.0+dfsg-7_amd64.deb
57wget -nv https://launchpadlibrarian.net/309343864/libmozjs185-dev_1.8.5-1.0.0+dfsg-7_amd64.deb
42−dpkg -i libmozjs185*.deb
58+dpkg -i *.deb
43−rm libmozjs185*.deb
59+rm *.deb
45−wget https://julialang-s3.julialang.org/bin/linux/x64/1.1/julia-1.1.0-linux-x86_64.tar.gz
46−tar -xf julia-1.1.0-linux-x86_64.tar.gz
47−cp -R julia-1.1.0/bin/* /usr/bin/
48−cp -R julia-1.1.0/include/* /usr/include/
49−cp -R julia-1.1.0/lib/* /usr/lib/
50−cp -R julia-1.1.0/share/* /usr/share/
53−opam init -c ocaml-system -n --disable-sandboxing
54−cat <<"EOF" >> "$HOME/.bashrc"
59rm /tmp/docker-install.sh
61rm /tmp/docker-install.sh