diff options
| author | John MacFarlane <[email protected]> | 2025-07-23 14:09:34 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2025-07-23 14:10:43 -0700 |
| commit | fb28952bec116fcf1b3d8e7848373004b66a4fe7 (patch) | |
| tree | 94db3a293b3c9047fa217d4e42b1fa3b706423eb /pandoc.cabal | |
| parent | 7ec7efeee72a537a2a8519887321edff96551210 (diff) | |
Revise Makefile and CI treatment of `--ghc-options`.
Previously we set `--ghc-options` in Makefile and CI; but this
overrides the ghc-options set in the pandoc.cabal file.
Better to add options one-by-one using `--ghc-option`.
We no longer use GHC_OPTIONS and just put these extra options
in CABAL_OPTIONS.
Diffstat (limited to 'pandoc.cabal')
| -rw-r--r-- | pandoc.cabal | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pandoc.cabal b/pandoc.cabal index 98493dc85..d045f49f7 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -451,7 +451,7 @@ common common-options -Wpartial-fields -Wmissing-signatures -fhide-source-paths - -- -Wmissing-export-lists + -Wmissing-export-lists if impl(ghc >= 8.10) ghc-options: -Wunused-packages |