@@ -2,7 +2,11 @@ FROM fpco/pid1:16.04
22
33ENV HOME /home/stackage
44ENV LANG en_US.UTF-8
5−ENV PATH /opt/ghc/8.2.1/bin:/usr/sbin:/usr/bin:/sbin:/bin
5+
6+# NOTE: also update debian-bootstrap.sh when cuda version changes
7+ENV PATH /usr/local/cuda-8.0/bin:/opt/ghc/8.2.1/bin:/usr/sbin:/usr/bin:/sbin:/bin
8+ENV CUDA_PATH /usr/local/cuda-8.0
9+ENV LD_LIBRARY_PATH=/usr/local/cuda-8.0/lib64:/usr/local/cuda-8.0/nvvm/lib64
610
711ADD debian-bootstrap.sh /tmp/debian-bootstrap.sh
812RUN /tmp/debian-bootstrap.sh && rm /tmp/debian-bootstrap.sh