blob: 141e6f9586cd17603b03c10d04798d2859d3c597 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
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('recompTHpackage', [extra_files(['p', 'q', 'Setup.hs']),
when(fast(), skip),
js_broken(22352)],
run_command,
['$MAKE -s --no-print-directory recompTHpackage VANILLA=' + vanilla + ' PROF=' + prof + ' DYN=' + dyn])
|
