CIVL=civl
VERIFY=${CIVL} verify -min -enablePrintf=false -input_NPROCS=2 -inputTHREAD_MAX=2
REPLAY=${CIVL} replay -enablePrintf=false 

all: pi replayPi piFixed

pi: mpi-omp-pi-calculation.c
	${VERIFY} mpi-omp-pi-calculation.c

replayPi: mpi-omp-pi-calculation.c
	${VERIFY} mpi-omp-pi-calculation.c

piFixed: mpi-omp-pi-calculation-fixed.c
	${REPLAY} mpi-omp-pi-calculation-fixed.c

clean: 
	rm -f -r CIVLREP
	rm -f *~
