From 3a5168af903b0fca657ac6073c3c529b47b15a52 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 7 Aug 2022 23:02:35 -0700 Subject: [PATCH] Fix pandoc-server on linux make_artifacts.sh. --- linux/make_artifacts.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index d611a2768..7eb2df164 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -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