mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 09:47:06 +00:00
Increase GC allocation space for compilation in cabal.project.
This commit is contained in:
@@ -7,7 +7,7 @@ GHCOPTS=-fdiagnostics-color=always
|
||||
WEBSITE=../../web/pandoc.org
|
||||
|
||||
quick:
|
||||
stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --test-arguments='-j4 --hide-successes $(TESTARGS)'
|
||||
stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --ghc-options='-j +RTS -A64m -RTS' --test-arguments='-j4 --hide-successes $(TESTARGS)'
|
||||
|
||||
quick-cabal:
|
||||
cabal new-configure . --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests
|
||||
|
||||
+2
-2
@@ -2,11 +2,11 @@ packages: pandoc.cabal
|
||||
|
||||
package pandoc
|
||||
flags: +embed_data_files -trypandoc
|
||||
ghc-options: -j +RTS -A32M -RTS
|
||||
ghc-options: -j +RTS -A64m -RTS
|
||||
|
||||
package pandoc-citeproc
|
||||
flags: +embed_data_files +bibutils -unicode_collation -test_citeproc -debug
|
||||
ghc-options: -j +RTS -A32M -RTS
|
||||
ghc-options: -j +RTS -A64m -RTS
|
||||
|
||||
source-repository-package
|
||||
type: git
|
||||
|
||||
Reference in New Issue
Block a user