dph-diophantine.T 753 Bytes
Newer Older
1

benl's avatar
benl committed
2
test    ('dph-diophantine-copy-opt' 
Ian Lynagh's avatar
Ian Lynagh committed
3
        , [ alone
4
          , skip_if_fast
benl's avatar
benl committed
5
          , reqlib('dph-lifted-copy')
6
7
          , reqlib('dph-prim-par')
          , only_ways(['normal', 'threaded1', 'threaded2']) ] 
Ian Lynagh's avatar
Ian Lynagh committed
8
9
        , multimod_compile_and_run 
        , [ 'Main'
benl's avatar
benl committed
10
          , '-Odph -package dph-lifted-copy'])
11

benl's avatar
benl committed
12
test    ('dph-diophantine-copy-fast' 
benl's avatar
benl committed
13
14
        , [ alone
          , reqlib('dph-lifted-copy')
15
          , reqlib('dph-prim-par')
16
17
          , extra_clean(['DiophantineVect.hi', 'DiophantineVect.o',
                         'Main.hi', 'Main.o'])
18
19
20
          , only_ways(['normal', 'threaded1', 'threaded2']) ] 
        , multimod_compile_and_run 
        , [ 'Main'
benl's avatar
benl committed
21
          , '-O -fno-enable-rewrite-rules -package dph-lifted-copy'])
22