From 6f707461e10866f2873791a0ca54751d03c5117a Mon Sep 17 00:00:00 2001 From: Thomas Hallgren Date: Wed, 18 Apr 2018 19:30:03 +0200 Subject: [PATCH] gf.cabal: use -fhide-source-paths if ghc>=8.2 --- gf.cabal | 4 ++++ 1 file changed, 4 insertions(+) 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)