CIVL=civl verify
CIVL_OPTION=-inputM=8 -inputN=8 -inputL=8 -enablePrintf=false
ISPCC=ispcc -std=c99
ISP=time -p isp
OUTPUT=outputs

all: civl_2 civl_3 civl_4 civl_5 civl_6 civl_7 civl_8 civl_9
#isp_2 isp_3 isp_4 isp_5 isp_6 isp_7 isp_8 


civl_2: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=2 $(CIVL_OPTION) matmat_mw_mpi.c > $(OUTPUT)/CIVL_2

civl_3: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=3 $(CIVL_OPTION) matmat_mw_mpi.c > $(OUTPUT)/CIVL_3

civl_4: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=4 $(CIVL_OPTION) matmat_mw_mpi.c  > $(OUTPUT)/CIVL_4

civl_5: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=5 $(CIVL_OPTION) matmat_mw_mpi.c > $(OUTPUT)/CIVL_5

civl_6: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=6 $(CIVL_OPTION) matmat_mw_mpi.c > $(OUTPUT)/CIVL_6

civl_7: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=7 $(CIVL_OPTION) matmat_mw_mpi.c > $(OUTPUT)/CIVL_7

civl_8: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=8 $(CIVL_OPTION) matmat_mw_mpi.c > $(OUTPUT)/CIVL_8

civl_9: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=9 $(CIVL_OPTION) matmat_mw_mpi.c > $(OUTPUT)/CIVL_9

civl_10: matmat_mw_mpi.c
	$(CIVL) -input_mpi_nprocs=10 $(CIVL_OPTION) matmat_mw_mpi.c > $(OUTPUT)/CIVL_10

############### ISP ###############
isp_matmat: matmat_mw_mpi.c
	$(ISPCC) $< -o isp_matmat

isp_2: isp_matmat
	$(ISP) -p 8888 -n 2 ./$< > $(OUTPUT)/ISP_2

isp_3: isp_matmat
	$(ISP) -p 8888 -n 3 ./$< > $(OUTPUT)/ISP_3

isp_4: isp_matmat
	$(ISP) -p 8888 -n 4 ./$< > $(OUTPUT)/ISP_4

isp_5: isp_matmat
	$(ISP) -p 8888 -n 5 ./$< > $(OUTPUT)/ISP_5

isp_6: isp_matmat
	$(ISP) -p 8888 -n 6 ./$< > $(OUTPUT)/ISP_6

isp_7: isp_matmat
	$(ISP) -p 8888 -n 7 ./$< > $(OUTPUT)/ISP_7

isp_8: isp_matmat
	$(ISP) -p 8888 -n 8 ./$< > $(OUTPUT)/ISP_8

isp_9: isp_matmat
	$(ISP) -p 8888 -n 9 ./$<

isp_10: isp_matmat
	$(ISP) -p 8888 -n 10 ./$<

clean:
	rm -rf CIVLREP
	rm -f a.out *~