mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-11 23:08:30 +01:00
15 lines
509 B
Docker
15 lines
509 B
Docker
FROM fpco/pid1:18.04
|
|
|
|
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-10.0/bin:/opt/ghc/8.6.4/bin:/usr/sbin:/usr/bin:/sbin:/bin
|
|
ENV CUDA_PATH /usr/local/cuda-10.0
|
|
|
|
ADD debian-bootstrap.sh /tmp/debian-bootstrap.sh
|
|
RUN /tmp/debian-bootstrap.sh && rm /tmp/debian-bootstrap.sh
|
|
|
|
# Include file path
|
|
ENV CPATH /usr/lib/jvm/java-8-openjdk-amd64/include:/usr/lib/jvm/java-8-openjdk-amd64/include/linux:/usr/lib/llvm-3.7/include
|