blob: 384c66cff2a022e78d9b1fe46dd7bba4cdb6a44e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
if config.have_vanilla:
vanilla = '--enable-library-vanilla'
else:
vanilla = '--disable-library-vanilla'
if config.have_profiling:
prof = '--enable-library-profiling'
else:
prof = '--disable-library-profiling'
if not config.compiler_profiled and config.have_dynamic:
dyn = '--enable-shared'
else:
dyn = '--disable-shared'
test('recompChangedPackage',
[ extra_files(['q', 'Main.hs', 'Setup.hs', 'PLib1.hs']),
js_broken(22352),
when(fast(), skip)
],
run_command,
['$MAKE -s --no-print-directory recompChangedPackage VANILLA=' + vanilla + ' PROF=' + prof + ' DYN=' + dyn])
|