Fix pandoc-server on linux make_artifacts.sh.
This commit is contained in:
parent
e4a7ed9e36
commit
3a5168af90
1 changed files with 2 additions and 2 deletions
|
@ -27,12 +27,12 @@ ghc --version
|
|||
|
||||
cabal v2-update
|
||||
cabal v2-clean
|
||||
cabal v2-configure --enable-tests -fpandoc-cgi -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' pandoc
|
||||
cabal v2-configure --enable-tests -fserver -f-export-dynamic -fembed_data_files --enable-executable-static --ghc-options '-j4 +RTS -A256m -RTS -split-sections -optc-Os -optl=-pthread' pandoc
|
||||
cabal v2-build -j4
|
||||
cabal v2-test -j4
|
||||
cabal v2-install --bindir=$ARTIFACTS
|
||||
for f in $(find dist-newstyle -name 'pandoc' -type f -perm /400); do cp $f $ARTIFACTS/; done
|
||||
for f in $(find dist-newstyle -name 'pandoc-cgi' -type f -perm /400); do cp $f /$ARTIFACTS/; done
|
||||
for f in $(find dist-newstyle -name 'pandoc-server' -type f -perm /400); do cp $f /$ARTIFACTS/; done
|
||||
|
||||
# make deb
|
||||
|
||||
|
|
Loading…
Reference in a new issue