diff --git a/Dockerfile b/Dockerfile index eae87596..13bd7da4 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,7 +4,7 @@ ENV HOME /home/stackage ENV LANG en_US.UTF-8 # NOTE: also update debian-bootstrap.sh when cuda version changes -ENV PATH /usr/local/cuda-8.0/bin:/opt/ghc/8.4.1/bin:/usr/sbin:/usr/bin:/sbin:/bin +ENV PATH /usr/local/cuda-8.0/bin:/opt/ghc/8.4.2/bin:/usr/sbin:/usr/bin:/sbin:/bin ENV CUDA_PATH /usr/local/cuda-8.0 ENV LD_LIBRARY_PATH=/usr/local/cuda-8.0/lib64:/usr/local/cuda-8.0/nvvm/lib64 diff --git a/check b/check index 24bd97ad..6cca0505 100755 --- a/check +++ b/check @@ -3,4 +3,4 @@ # Convenience script for checking constraints locally cd `dirname $0` -exec stack exec --resolver ghc-8.4.1 stackage-curator check +exec stack exec --resolver ghc-8.4.2 stackage-curator check diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh index 29356170..efbd101a 100755 --- a/debian-bootstrap.sh +++ b/debian-bootstrap.sh @@ -25,7 +25,7 @@ add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://down add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-apache24-compat main' add-apt-repository -y --keyserver hkp://keyserver.ubuntu.com:80 'deb http://download.mono-project.com/repo/debian wheezy-libjpeg62-compat main' -GHCVER=8.4.1 +GHCVER=8.4.2 apt-get update apt-get install -y \