2019-05-17 22:01:15 +02:00
|
|
|
FROM debian:stretch
|
2019-03-12 10:09:46 +01:00
|
|
|
LABEL author="1Computer1"
|
2019-05-17 22:01:15 +02:00
|
|
|
ENV LANG C.UTF-8
|
|
|
|
|
|
|
|
RUN apt-get update && \
|
|
|
|
apt-get install -y --no-install-recommends gnupg dirmngr && \
|
|
|
|
echo 'deb http://downloads.haskell.org/debian stretch main' > /etc/apt/sources.list.d/ghc.list && \
|
|
|
|
apt-key adv --keyserver keyserver.ubuntu.com --recv-keys BA3CBA3FFE22B574 && \
|
|
|
|
apt-get update && \
|
|
|
|
apt-get install -y --no-install-recommends ghc-8.6.5
|
|
|
|
|
|
|
|
ENV PATH /opt/ghc/8.6.5/bin:$PATH
|
2019-03-12 10:09:46 +01:00
|
|
|
|
2019-05-28 23:42:54 +02:00
|
|
|
COPY .ghci $HOME/
|
2019-03-12 10:09:46 +01:00
|
|
|
COPY run.sh /var/run/
|