diff options
Diffstat (limited to 'static-linux/Dockerfile')
| -rw-r--r-- | static-linux/Dockerfile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/static-linux/Dockerfile b/static-linux/Dockerfile index 3c62ebcf9..b0b169120 100644 --- a/static-linux/Dockerfile +++ b/static-linux/Dockerfile @@ -9,10 +9,13 @@ RUN apk update RUN apk add alpine-sdk git ca-certificates ghc cabal stack zlib-dev RUN stack update RUN stack config set system-ghc --global true -ADD ./ /usr/src/ +RUN mkdir -p /etc/stack +RUN echo "build: { split-objs: true }" > /etc/stack/config.yaml +RUN mkdir -p /usr/src/ WORKDIR /usr/src/ RUN git clone https://github.com/jgm/pandoc WORKDIR /usr/src/pandoc +RUN stack install --local-bin-path /usr/bin hsb2hs +RUN stack install --only-dependencies --flag 'pandoc:embed_data_files' --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' CMD git pull -CMD stack install --local-bin-path /usr/bin hsb2hs -CMD stack install --local-bin-path /artifacts --flag 'pandoc:embed_data_files' --test --ghc-options '-optl-static -fPIC' +CMD stack install --local-bin-path /artifacts --flag 'pandoc:embed_data_files' --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' |