ghc 1.97 KB
Newer Older
1 2 3 4 5 6
# Testsuite configuration setup for GHC
#
# This file is Python source
#
config.compiler_type         = 'ghc'
config.compiler              = 'ghc'
7
config.compiler_always_flags = ['-no-recomp', '-dcore-lint', '-dcmm-lint']
8

andy@galois.com's avatar
andy@galois.com committed
9
# By default, we test the 'normal', 'opt' and 'hpc' ways.
10 11
# 'optasm' is added by mk/test.mk if the compiler has a native code gen,
# 'prof'   is added by mk/test.mk if the profiling way is enabled.
andy@galois.com's avatar
andy@galois.com committed
12 13
config.compile_ways	     = ['normal', 'opt', 'hpc']
config.run_ways		     = ['normal', 'opt', 'hpc']
14

krc's avatar
krc committed
15 16 17
# ways that are not enabled by default, but can always be invoked explicitly
config.other_ways            = ['extcore','optextcore']

18 19 20 21 22 23 24
if (ghc_with_native_codegen == 1):
	config.compile_ways.append('optasm')
	config.run_ways.append('optasm')

if (ghc_with_profiling == 1):
	config.compile_ways.append('prof')
	config.run_ways.append('prof')
25 26 27
	if (ghc_with_native_codegen == 1):
		config.compile_ways.append('profasm')
		config.run_ways.append('profasm')
28 29 30 31

if (ghc_with_unreg == 1):
	config.compile_ways.append('unreg')
	config.run_ways.append('unreg')
32

33 34 35
if (ghc_with_interpreter == 1):
	config.run_ways.append('ghci')

36
if (ghc_with_threaded_rts == 1):
37
	config.run_ways.append('threaded1')
38 39
	if (ghc_with_smp == 1):
		config.run_ways.append('threaded2')
40

41 42 43 44 45 46 47 48 49 50
config.way_flags = {
	'normal'     : [],
	'opt'        : ['-O'],
	'optasm'     : ['-O -fasm'],
	'prof'       : ['-O -prof -auto-all'],
	'profasm'    : ['-O -prof -auto-all -fasm'],
	'unreg'      : ['-unreg'],
	'ghci'       : ['--interactive', '-v0'],
	'extcore'    : ['-fext-core'],
	'optextcore' : ['-O -fext-core'],
51
	'threaded1'  : ['-threaded', '-debug'],
andy@galois.com's avatar
andy@galois.com committed
52 53
	'threaded2'  : ['-O', '-threaded'],
	'hpc'	     : ['-O', '-fhpc' ]
54 55 56 57 58 59 60
	}

config.way_rts_flags = { 
	'normal'     : [],
	'opt'        : [],
	'optasm'     : [],
	'prof'       : ['-p'],
61
	'profasm'    : ['-hc'], # test heap profiling too
62 63 64 65
	'unreg'      : [],
	'ghci'       : [],
	'extcore'    : [],
	'optextcore' : [],
66
	'threaded1'  : [],
andy@galois.com's avatar
andy@galois.com committed
67 68
	'threaded2'  : ['-N2'],
	'hpc'	     : []
69
    	}
70