CIVL=civl
VERIFY=$(CIVL) verify
COMPARE=$(CIVL) compare

all: run_spec_4 run_par_4 run_spec_5 run_par_5 run_spec_6 run_par_6

run_spec_4: odd-even-seq.cvl
	$(VERIFY) -inputN=4 odd-even-seq.cvl

run_spec_5: odd-even-seq.cvl
	$(VERIFY) -inputN=5 odd-even-seq.cvl

run_spec_6: odd-even-seq.cvl
	$(VERIFY) -inputN=6 odd-even-seq.cvl

run_par_4:  odd-even-par.cvl
	$(VERIFY) -inputN=4  -input_mpi_nprocs_hi=4 odd-even-par.cvl

run_par_5:  odd-even-par.cvl
	$(VERIFY) -inputN=5  -input_mpi_nprocs_hi=5 odd-even-par.cvl

run_par_6:  odd-even-par.cvl
	$(VERIFY) -inputN=6  -input_mpi_nprocs_hi=6 odd-even-par.cvl


clean:
	rm -rf CIVLREP .sarl *~

