summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gf.cabal4
1 files changed, 4 insertions, 0 deletions
diff --git a/gf.cabal b/gf.cabal
index 86c94f32f..540a54197 100644
--- a/gf.cabal
+++ b/gf.cabal
@@ -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)