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