diff options
Diffstat (limited to 'testsuite/config')
| -rw-r--r-- | testsuite/config/ghc | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/testsuite/config/ghc b/testsuite/config/ghc index da7cc3a2af..e8fbcc9b32 100644 --- a/testsuite/config/ghc +++ b/testsuite/config/ghc @@ -70,6 +70,8 @@ else: if (ghc_with_dynamic_rts == 1): config.run_ways.append('dyn') +config.ghc_dynamic = ghc_dynamic + if (ghc_with_profiling == 1 and ghc_with_threaded_rts == 1): config.run_ways.append('profthreaded') @@ -200,3 +202,15 @@ def get_compiler_info(): except: config.package_conf_cache_file = '' + if compilerInfoDict["GHC Dynamic"] == "YES": + config.ghc_th_way_flags = "-dynamic" + config.ghci_way_flags = "-dynamic" + config.ghc_th_way = "dyn" + config.ghc_plugin_way = "dyn" + elif compilerInfoDict["GHC Dynamic"] == "NO": + config.ghc_th_way_flags = "-static" + config.ghci_way_flags = "-static" + config.ghc_plugin_way = "normal" + else: + raise 'Bad value for "GHC Dynamic"' + |