cabal.project: move flags: to top level (not under pandoc:).
If it's under the pandoc stanza, it can't be overriden on the
command line, it seems.
Also we remove ghc-options.
commitc3a9322b930c4b7e9bbf880d5df5e972efcaf0ff
authorJohn MacFarlane <jgm@berkeley.edu>
dateFri 19 Mar 2021, 14:49 (6 years ago)
parent7678c48
cabal.project+1−5
@@ -1,10 +1,6 @@
11packages: pandoc.cabal
2−
32tests: True
4−
5−package pandoc
6− flags: +embed_data_files
7− ghc-options: +RTS -A256m -RTS
3+flags: +embed_data_files
84
95-- source-repository-package
106-- type: git