all: compare

compare: matmat_mw_mpi.c matmat_spec.c
	 civl compare -collectHeaps=false -enablePrintf=false -showAmpleSet -impl matmat_mw_mpi.c -spec matmat_spec.c 

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