diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-03-19 15:28:04 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-03-19 15:28:04 +0100 |
| commit | a96105551be0484c901ff3586dcf952166a9e794 (patch) | |
| tree | 041e4db9114d2432d557e4f4e40185efe5f3684d /static-linux/Dockerfile | |
| parent | 671bf7a23fa23e9c9c54daea5f893ab51b4a4acc (diff) | |
| download | pandoc-a96105551be0484c901ff3586dcf952166a9e794.tar.gz | |
static-linux: Dockerfile now creates the .deb too.
Diffstat (limited to 'static-linux/Dockerfile')
| -rw-r--r-- | static-linux/Dockerfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/static-linux/Dockerfile b/static-linux/Dockerfile index cf44d9472..c73b17622 100644 --- a/static-linux/Dockerfile +++ b/static-linux/Dockerfile @@ -19,6 +19,7 @@ RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \ --flag 'pandoc:embed_data_files' \ --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \ pandoc pandoc-citeproc +COPY make_deb.sh . CMD git pull && \ git checkout -b work $TREE && \ export VERSION=`grep '^Version:' pandoc.cabal | awk '{print $$2;}'` && \ @@ -26,6 +27,7 @@ CMD git pull && \ --local-bin-path /artifacts --flag 'pandoc:embed_data_files' \ --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \ pandoc pandoc-citeproc && \ + bash make_deb.sh && \ cd /artifacts && \ mkdir pandoc-$VERSION && \ mv pandoc pandoc-citeproc pandoc-$VERSION/ && \ |