40 lines
1.5 KiB
Docker
40 lines
1.5 KiB
Docker
ARG FROM_IMG=docker.io/library/debian
|
|
ARG FROM_TAG=12.5
|
|
|
|
FROM ${FROM_IMG}:${FROM_TAG}
|
|
|
|
ENV LANG=de_DE.UTF-8
|
|
|
|
# basic dependencies
|
|
RUN apt-get -y update && apt-get -y install git
|
|
RUN apt-get -y update && apt-get -y install haskell-stack
|
|
RUN apt-get -y update && apt-get -y install llvm
|
|
RUN apt-get -y update && apt-get install -y --no-install-recommends locales locales-all
|
|
|
|
# compile-time dependencies
|
|
RUN apt-get -y update && apt-get install -y libpq-dev libsodium-dev
|
|
RUN apt-get -y update && apt-get -y install g++ libghc-zlib-dev libpq-dev libsodium-dev pkg-config
|
|
RUN apt-get -y update && DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends tzdata
|
|
|
|
# run-time dependencies for uniworx binary
|
|
RUN apt-get -y update && apt-get -y install fonts-roboto
|
|
# RUN apt-get -y update && apt-get -y install pdftk
|
|
# RUN apt-get -y update && apt-get -y install \
|
|
# texlive texlive-latex-recommended texlive-luatex texlive-plain-generic texlive-lang-german texlive-lang-english
|
|
RUN apt-get -y update && apt-get -y install texlive
|
|
# RUN ls /usr/local/texlive
|
|
# RUN chown -hR root /usr/local/texlive/2018
|
|
# RUN tlmgr init-usertree
|
|
# RUN tlmgr option repository ftp://tug.org/historic/systems/texlive/2018/tlnet-final
|
|
# RUN tlmgr update --self --all
|
|
|
|
ARG PROJECT_DIR=/fradrive
|
|
ENV PROJECT_DIR=${PROJECT_DIR}
|
|
# RUN mkdir -p "${PROJECT_DIR}"; chmod -R 777 "${PROJECT_DIR}"
|
|
WORKDIR ${PROJECT_DIR}
|
|
ENV HOME=${PROJECT_DIR}
|
|
ENV STACK_ROOT="${PROJECT_DIR}/.stack"
|
|
|
|
ENV STACK_SRC=""
|
|
ENV STACK_ENTRY="ghci ${STACK_SRC}"
|
|
ENTRYPOINT stack ${STACK_ENTRY} |