aboutsummaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorJohn MacFarlane <[email protected]>2022-08-07 23:02:35 -0700
committerJohn MacFarlane <[email protected]>2022-08-07 23:02:35 -0700
commit3a5168af903b0fca657ac6073c3c529b47b15a52 (patch)
tree01d864c9a9169a9bc885254d16450c58db9c0e1a /linux
parente4a7ed9e36eef1bfe57f73d22dba99e7f4f4fd93 (diff)
Fix pandoc-server on linux make_artifacts.sh.
Diffstat (limited to 'linux')
-rw-r--r--linux/make_artifacts.sh4
1 files 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