Hack for #924, -Wmissing-home-modules errors

This commit is contained in:
Daniel Gröber 2018-01-22 00:38:19 +01:00
parent f5149e733b
commit 1ea7e85b31
1 changed files with 1 additions and 1 deletions

View File

@ -164,7 +164,7 @@ runGmlTWith efnmns' mdf wrapper action = do
cfns <- mapM getCanonicalFileNameSafe ccfns
let serfnmn = Set.fromList $ map Right mns ++ map Left cfns
opts <- targetGhcOptions crdl serfnmn
let opts' = opts ++ ["-O0"] ++ optGhcUserOptions
let opts' = opts ++ ["-O0", "-fno-missing-home-modules"] ++ optGhcUserOptions
gmVomit
"session-ghc-options"