source: CIVL/examples/pthread/Makefile@ 00dbbe9

CIVL=civl
VERIFY=$(CIVL) verify

all: arrayloops bug1 bug1fix bug3 bug4 bug4fix bug5 bug6 bug6fix\
 condvar detached dotprod_mutex fib_bench_false join mpithreads_threads

arrayloops: arrayloops.cvl
        $(VERIFY) arrayloops.cvl -inputNTHREADS=4 -inputARRAYSIZE=1000000 

bug1: bug1.cvl
        $(VERIFY) bug1.cvl -inputNUM_THREADS=6 -inputTCOUNT=10 -inputCOUNT_LIMIT=12
        $(CIVL) replay bug1.cvl
        
bug1fix: bug1fix.cvl
        $(VERIFY) bug1fix.cvl -inputNUM_THREADS=6 -inputTCOUNT=10 -inputCOUNT_LIMIT=12
        
bug3: bug3.cvl
        $(VERIFY) bug3.cvl -INPUTNUM_THREADS=8
        $(CIVL) replay bug3.cvl
        
bug4: bug4.cvl
        $(VERIFY) bug4.cvl -inputNUM_THREADS=3 -inputITERATIONS=10 -inputTHRESHOLD=12
        $(CIVL) replay bug4.cvl

bug4fix: bug4fix.cvl
        $(VERIFY) bug4fix.cvl -inputNUM_THREADS=3 -inputITERATIONS=10 -inputTHRESHOLD=12
        
bug5: bug5.cvl
        $(VERIFY) bug5fix.cvl -inputNUM_THREADS=5
        $(CIVL) replay bug5.cvl
        
bug6: bug6.cvl
        $(VERIFY) bug6.cvl -inputNUM_THRDS=5 -inputVECLEN=1000
        $(CIVL) replay bug6.cvl

bug6fix: bug6fix.cvl
        $(VERIFY) bug6fix.cvl -inputNUM_THRDS=5 -inputVECLEN=1000

condvar: condvar.cvl
        $(VERIFY) condvar.cvl -inputNUM_THREADS=3 -inputTCOUNT=10 -inputCOUNT_LIMIT=12
        
detached: detached.cvl
        $(VERIFY) detached.cvl -inputNUM_THREADS=4
        
dotprod_mutex: dotprod_mutex.cvl
        $(VERIFY) dotprod_mutex.cvl -inputNUMTHRDS=4 -inputVECLEN=100000
        
fib_bench_false: fib_bench_false.cvl
        $(VERIFY) fib_bench_false.cvl -inputNUM=5
        $(CIVL) replay fib_bench_false.cvl
        
join: join.cvl
        $(VERIFY) join.cvl -inputNUM_THREADS=4

mpithreads_threads: mpithreads_threads.cvl
        $(VERIFY) mpithreads_threads.cvl -inputMAXTHRDS=8 -inputVECLEN=100

twostage_3_false: twostage_3_false.cvl
        $(VERIFY) twostage_3_false.cvl
        $(CIVL) replay twostate_3_false.cvl
        
clean:
        rm -rf CIVLREP *~