diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/Dockerfile | 6 | ||||
| -rw-r--r-- | linux/make_tarball.sh | 2 |
2 files changed, 7 insertions, 1 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile index d2348b11d..3660aa4fc 100644 --- a/linux/Dockerfile +++ b/linux/Dockerfile @@ -15,7 +15,11 @@ WORKDIR /usr/src/ RUN git clone https://github.com/jgm/pandoc WORKDIR /usr/src/pandoc RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \ + --flag 'pandoc:static' \ --flag 'pandoc:embed_data_files' \ + --flag 'pandoc-citeproc:static' \ + --flag 'pandoc-citeproc:embed_data_files' \ + --flag 'hslua:-export-dynamic' \ --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \ pandoc pandoc-citeproc CMD git pull && \ @@ -23,6 +27,8 @@ CMD git pull && \ stack install --stack-yaml stack.pkg.yaml \ --flag 'pandoc:static' \ --flag 'pandoc:embed_data_files' \ + --flag 'pandoc-citeproc:static' \ + --flag 'pandoc-citeproc:embed_data_files' \ --flag 'hslua:-export-dynamic' \ --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \ --local-bin-path /artifacts \ diff --git a/linux/make_tarball.sh b/linux/make_tarball.sh index 82748f98a..cc1cc49cd 100644 --- a/linux/make_tarball.sh +++ b/linux/make_tarball.sh @@ -15,5 +15,5 @@ strip $TARGET/bin/pandoc strip $TARGET/bin/pandoc-citeproc gzip -9 $TARGET/share/man/man1/pandoc.1 gzip -9 $TARGET/share/man/man1/pandoc-citeproc.1 -tar cvzf $TARGET.tar.gz $TARGET +tar cvzf $TARGET-linux.tar.gz $TARGET rm -r $TARGET |