@@ -146,6 +146,7 @@ apt-get install -y \
146 libzmq3-dev \
146 libzmq3-dev \
149 locales \
150 locales \
151 minisat \
152 minisat \
@@ -196,9 +197,9 @@ update-alternatives --install "/usr/bin/ld" "ld" "/usr/bin/ld.bfd" 10
196# This version is tracked here:
197# This version is tracked here:
197# https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM/Installing
198# https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM/Installing
199−# GHC 8.8 requires LLVM 7 tools (?) (specifically, llc-7 and opt-7).
200+# GHC 8.10 requires LLVM 9 tools (?) (specifically, llc-9 and opt-9).
200−update-alternatives --install "/usr/bin/llc" "llc" "/usr/bin/llc-7" 50
201+update-alternatives --install "/usr/bin/llc" "llc" "/usr/bin/llc-9" 50
201−update-alternatives --install "/usr/bin/opt" "opt" "/usr/bin/opt-7" 50
202+update-alternatives --install "/usr/bin/opt" "opt" "/usr/bin/opt-9" 50
203# nodejs 10 (nodejs8 in bionic needs conflicting libssl10-dev)
204# nodejs 10 (nodejs8 in bionic needs conflicting libssl10-dev)
204curl -sL https://deb.nodesource.com/setup_10.x | bash -
205curl -sL https://deb.nodesource.com/setup_10.x | bash -
@@ -270,8 +271,8 @@ apt-add-repository multiverse \
270 && apt-get update \
271 && apt-get update \
271 && apt-get install -y nvidia-cuda-dev
272 && apt-get install -y nvidia-cuda-dev
273−export CLANG_PURE_LLVM_LIB_DIR=/usr/lib/llvm-7/lib;
274+export CLANG_PURE_LLVM_LIB_DIR=/usr/lib/llvm-9/lib;
274−export CLANG_PURE_LLVM_INCLUDE_DIR=/usr/lib/llvm-7/include;
275+export CLANG_PURE_LLVM_INCLUDE_DIR=/usr/lib/llvm-9/include;
276# protoc, for proto-lens-combinators test suite
277# protoc, for proto-lens-combinators test suite
277# Instructions from: https://google.github.io/proto-lens/installing-protoc.html
278# Instructions from: https://google.github.io/proto-lens/installing-protoc.html