hugs 432 Bytes
Newer Older
ross's avatar
ross committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
# Testsuite configuration setup for Hugs
#
# This file is Python source
#
config.compiler_type         = 'hugs'
config.compiler              = 'hugs-hc'
config.compiler_always_flags = []

# We test the 'normal' way only
config.compile_ways	     = ['normal']
config.run_ways		     = ['normal']

# No other ways for Hugs
config.other_ways            = []

config.way_flags = { 'normal' : [] }
ross's avatar
ross committed
17
config.way_rts_flags = { 'normal' : [] }