mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-25 01:36:45 +00:00
Makefile: ghc options to speed compilation for 'make quick'.
This commit is contained in:
@@ -3,7 +3,7 @@ pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1)
|
||||
SOURCEFILES?=$(shell find pandoc.hs src test -name '*.hs')
|
||||
BRANCH?=master
|
||||
RESOLVER=lts-12
|
||||
GHCOPTS=-fdiagnostics-color=always -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances -Wincomplete-uni-patterns -Werror=missing-home-modules -Widentities -Wcpp-undef
|
||||
GHCOPTS=-fdiagnostics-color=always -Wall -fno-warn-unused-do-bind -Wincomplete-record-updates -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances -Wincomplete-uni-patterns -Werror=missing-home-modules -Widentities -Wcpp-undef -j +RTS -A32M -RTS
|
||||
# Later:
|
||||
# -Wpartial-fields (currently used in Powerpoint writer)
|
||||
# -Wmissing-export-lists (currently some Odt modules violate this)
|
||||
|
||||
Reference in New Issue
Block a user