diff options
author | John MacFarlane <jgm@berkeley.edu> | 2017-12-07 15:25:37 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2017-12-07 15:25:37 -0800 |
commit | 04f08c39ef7eee817298046b16f654ae1f18e955 (patch) | |
tree | ca1890e151913d8131714338a0add5481acb9806 | |
parent | f6007e7146460643a8fe4a4d3434001c6ef136bb (diff) |
Add '-threaded' to ghc-options for executable.
-rw-r--r-- | pandoc.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index e3912d89c..95aef05ac 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -497,7 +497,7 @@ library executable pandoc build-depends: pandoc, base >= 4.7 && < 5 - ghc-options: -rtsopts -with-rtsopts=-K16m -Wall -fno-warn-unused-do-bind + ghc-options: -rtsopts -with-rtsopts=-K16m -Wall -fno-warn-unused-do-bind -threaded ghc-prof-options: -fprof-auto-exported -rtsopts -with-rtsopts=-K16m if flag(static) ld-options: -static |