mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-24 15:44:59 +08:00
Integrate server into main pandoc.
- Remove server flag. - Remove pandoc-server executable. - Add Text.Pandoc.Server as exposed module. [API change] - Re-use Opt (and our existing FromJSON instance) for Params. - Document.
This commit is contained in:
@@ -56,7 +56,7 @@ jobs:
|
||||
testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
|
||||
- ghc: '8.10.7'
|
||||
cabal: '3.2'
|
||||
cabalopts: '-fserver'
|
||||
cabalopts: ''
|
||||
testopts: '--test-option=--hide-successes --test-option=--ansi-tricks=false'
|
||||
- ghc: '9.0.2'
|
||||
cabal: '3.4'
|
||||
|
||||
@@ -96,7 +96,7 @@ jobs:
|
||||
run: |
|
||||
stack --no-terminal setup
|
||||
stack --no-terminal update
|
||||
stack --no-terminal install
|
||||
stack --no-terminal install --ghc-options='-j4 +RTS -A256m -RTS -split-sections'
|
||||
|
||||
- name: Create artifacts
|
||||
run: |
|
||||
@@ -112,8 +112,13 @@ jobs:
|
||||
mkdir -p ${DEST}/bin
|
||||
mkdir -p ${DEST}/share/man/man1
|
||||
cp ~/.local/bin/pandoc ${DEST}/bin/
|
||||
strip ${DEST}/bin/pandoc
|
||||
SRCDIR=$(pwd)
|
||||
cd ${DEST}/bin
|
||||
strip pandoc
|
||||
ln -s pandoc pandoc-server
|
||||
cd ${SRCDIR}
|
||||
cp man/pandoc.1 ${DEST}/share/man/man1/pandoc.1
|
||||
cp man/pandoc-server.1 ${DEST}/share/man/man1/pandoc-server.1
|
||||
~/.local/bin/pandoc -s COPYING.md -Vpagetitle=License -o ${RESOURCES}/license.html
|
||||
chown -R $ME:staff ${ROOT}
|
||||
sed -e "s/PANDOCVERSION/${VERSION}/" macos/distribution.xml.in > ${ARTIFACTS}/distribution.xml
|
||||
|
||||
Reference in New Issue
Block a user