all: compare

compare: 
	civl compare -spec adder_spec.c -impl -input_mpi_nprocs=10 adder_par.c