mirror of
https://github.com/jgm/pandoc.git
synced 2026-09-18 21:45:55 +00:00
John MacFarlane
dfcc4c1680
in pandoc.cabal. Remove flag settings from cabal.project. When the flag is set in cabal.project, it's impossible to override on the command line.
96 lines
2.6 KiB
Plaintext
96 lines
2.6 KiB
Plaintext
packages: .
|
|
pandoc-lua-engine
|
|
pandoc-server
|
|
pandoc-cli
|
|
constraints: skylighting-format-blaze-html >= 0.1.2.1,
|
|
skylighting-format-context >= 0.1.0.2,
|
|
auto-update >= 0.2.6,
|
|
crypton >= 1.1.1
|
|
|
|
|
|
if arch(wasm32)
|
|
tests: False
|
|
|
|
package atomic-counter
|
|
flags: +no-cmm
|
|
|
|
package aeson
|
|
flags: -ordered-keymap
|
|
|
|
package crypton
|
|
ghc-options: -optc-DARGON2_NO_THREADS
|
|
|
|
package digest
|
|
flags: -pkg-config
|
|
|
|
package lua
|
|
flags: +cross-compile
|
|
ghc-options: -optc-mllvm
|
|
-optc-wasm-enable-sjlj
|
|
-optc-mllvm
|
|
-optc-wasm-use-legacy-eh=false
|
|
-optc-D_WASI_EMULATED_PROCESS_CLOCKS
|
|
-optc-D_WASI_EMULATED_SIGNAL
|
|
-optc-DLUA_STUB_TMPNAM
|
|
-optc-DLUA_STUB_TMPFILE
|
|
-optc-DLUA_STUB_SYSTEM
|
|
|
|
package pandoc
|
|
flags: -http
|
|
|
|
package pandoc-cli
|
|
flags: +lua -repl -server
|
|
ld-options: -lwasi-emulated-process-clocks -lwasi-emulated-signal -lsetjmp
|
|
|
|
package pandoc-lua-engine
|
|
flags: -repl
|
|
|
|
allow-newer:
|
|
all:base,
|
|
all:binary,
|
|
all:bytestring,
|
|
all:containers,
|
|
all:ghc-bignum,
|
|
all:template-haskell,
|
|
all:text,
|
|
all:time
|
|
|
|
source-repository-package
|
|
type: git
|
|
location: https://github.com/snoyberg/conduit.git
|
|
tag: 6b98f070fea09a3bf0a5d0897a2e27e3aa91c8fe
|
|
subdir: conduit-extra
|
|
post-checkout-command: sh -c "patch -N -p1 < ../../../wasm/patches/conduit-extra.patch"
|
|
|
|
source-repository-package
|
|
type: git
|
|
location: https://github.com/jappeace/ram.git
|
|
tag: 6e49475ae7b4b3545923407388690234d838dc45
|
|
post-checkout-command: sh -c "patch -N -p1 < ../../../wasm/patches/memory.patch"
|
|
|
|
source-repository-package
|
|
type: git
|
|
location: https://github.com/fpco/streaming-commons.git
|
|
tag: v0.2.3.1
|
|
post-checkout-command: sh -c "patch -N -p1 < ../../../wasm/patches/streaming-commons.patch"
|
|
|
|
source-repository-package
|
|
type: git
|
|
location: https://github.com/snoyberg/xml.git
|
|
tag: xml-conduit/1.10.1.0
|
|
subdir: xml-conduit
|
|
post-checkout-command: sh -c "patch -N -p1 < ../../../wasm/patches/xml-conduit.patch"
|
|
|
|
source-repository-package
|
|
type: git
|
|
location: https://github.com/haskellari/splitmix.git
|
|
tag: v0.1.3.2
|
|
post-checkout-command: sh -c "patch -N -p1 < ../../../wasm/patches/splitmix.patch"
|
|
|
|
source-repository-package
|
|
type: git
|
|
location: https://github.com/hslua/hslua
|
|
tag: lua-2.3.4
|
|
subdir: lua
|
|
post-checkout-command: sh -c "patch -N -p1 < ../../../wasm/patches/lua.patch"
|