aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2021-03-19 14:49:42 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2021-03-19 14:51:21 -0700
commitc3a9322b930c4b7e9bbf880d5df5e972efcaf0ff (patch)
treed859a0c7635b36e306607e1e6379ad050e319fcb
parent7678c48122bb9bb7041b75ddc33061b93cbcdbb2 (diff)
downloadpandoc-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.project6
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