diff options
author | John MacFarlane <jgm@berkeley.edu> | 2019-01-30 14:38:29 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2019-01-30 14:38:35 -0800 |
commit | 572bd4103c27b372b33bc8ce880cfc07e31124ce (patch) | |
tree | 26d438e9b8da13aff0da6c7c8cc8866d2d1cd56a /Makefile | |
parent | 18a9c7c0e058fcb5b47d063c62dda49b92355b2c (diff) | |
download | pandoc-572bd4103c27b372b33bc8ce880cfc07e31124ce.tar.gz |
Use lts-13 in makefile
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,7 +2,7 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}') 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 +RESOLVER?=lts-13 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 -fhide-source-paths -j +RTS -A32M -RTS # Later: # -Wpartial-fields (currently used in Powerpoint writer) |