Commit 2e55b16b authored by's avatar

Fix a framework error when using a non-dynamic GHC

parent 6e09157a
......@@ -210,6 +210,7 @@ def get_compiler_info():
elif compilerInfoDict["GHC Dynamic"] == "NO":
config.ghc_th_way_flags = "-static"
config.ghci_way_flags = "-static"
config.ghc_th_way = "normal"
config.ghc_plugin_way = "normal"
raise 'Bad value for "GHC Dynamic"'
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment