Fix a framework error when using a non-dynamic GHC
authorIan Lynagh <ian@well-typed.com>
Tue, 19 Mar 2013 15:37:13 +0000 (15:37 +0000)
committerIan Lynagh <ian@well-typed.com>
Tue, 19 Mar 2013 15:37:13 +0000 (15:37 +0000)
testsuite/config/ghc

index e8fbcc9..33017bf 100644 (file)
@@ -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"
     else:
         raise 'Bad value for "GHC Dynamic"'