98dbebdd8757983cc3bb17b2eda1253d7dd24fc2
[ghc.git] / testsuite / tests / safeHaskell / check / pkg01 / all.T
1 # Just do the normal way, SafeHaskell is all in the frontend
2 def f( opts ):
3   opts.only_ways = ['normal']
4
5 setTestOpts(f)
6
7 if config.have_profiling:
8     prof = '--enable-library-profiling'
9 else:
10     prof = ''
11
12 test('safePkg01',
13      [# TODO: The other tests in here depend on this one not being cleaned
14       # clean_cmd('$MAKE -s --no-print-directory cleanSafePkg01'),
15       alone],
16      run_command, 
17      ['$MAKE -s --no-print-directory safePkg01 PROF=' + prof])
18
19 test('ImpSafe01', normal, compile_fail, ['-distrust base'])
20
21 test('ImpSafeOnly01', [normal, alone], compile, ['-package-conf local.db -trust base'])
22
23 test('ImpSafeOnly02', [normal, alone], compile, ['-package-conf local.db -trust base -trust safePkg01'])
24
25 test('ImpSafeOnly03', [normal, alone], compile_fail, ['-package-conf local.db -trust base'])
26