diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-19 14:49:42 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-19 14:51:21 -0700 |
| commit | c3a9322b930c4b7e9bbf880d5df5e972efcaf0ff (patch) | |
| tree | d859a0c7635b36e306607e1e6379ad050e319fcb | |
| parent | 7678c48122bb9bb7041b75ddc33061b93cbcdbb2 (diff) | |
| download | pandoc-c3a9322b930c4b7e9bbf880d5df5e972efcaf0ff.tar.gz | |
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.
| -rw-r--r-- | cabal.project | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/cabal.project b/cabal.project index d36a8c3d1..a0406da3c 100644 --- a/cabal.project +++ b/cabal.project @@ -1,10 +1,6 @@ packages: pandoc.cabal - tests: True - -package pandoc - flags: +embed_data_files - ghc-options: +RTS -A256m -RTS +flags: +embed_data_files -- source-repository-package -- type: git |