diff options
| author | Thomas Hallgren <th-github@altocumulus.org> | 2018-04-18 19:30:03 +0200 |
|---|---|---|
| committer | Thomas Hallgren <th-github@altocumulus.org> | 2018-04-18 19:30:03 +0200 |
| commit | 6f707461e10866f2873791a0ca54751d03c5117a (patch) | |
| tree | 434bc083b1531f95b29bcba2100c44cc8e7a6837 /gf.cabal | |
| parent | 820d2d503fde7b29634262fd07db2a4744cf813d (diff) | |
gf.cabal: use -fhide-source-paths
if ghc>=8.2
Diffstat (limited to 'gf.cabal')
| -rw-r--r-- | gf.cabal | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -318,6 +318,8 @@ Library else build-depends: unix, terminfo>=0.4 + if impl(ghc>=8.2) + ghc-options: -fhide-source-paths Executable gf hs-source-dirs: src/programs @@ -334,6 +336,8 @@ Executable gf ghc-prof-options: -auto-all + if impl(ghc>=8.2) + ghc-options: -fhide-source-paths executable pgf-shell --if !flag(c-runtime) |