OPTION=-input_mpi_nprocs=6 -collectHeaps=false
VERIFY=civl verify -enablePrintf=false $(OPTION)


all: $(patsubst  %.c, C_%, $(wildcard *.c)) $(patsubst  %.cvl, CVL_%, $(wildcard *.cvl)) ISP CIVL TASS

C_%: %.c
	@lessecho "NAME: "$<
	@lessecho "CITE: \\cite{Dummy}"	
	@lessecho "SCALE: {\\text{NP=6}}"
	$(VERIFY) $<

CVL_%: %.cvl
	$(VERIFY) $<

##http://formalverification.cs.utah.edu/ISP_Tests/
ISP: ISPTests/Makefile
	cd ISPTests && make > OUT

CIVL: CIVLTests/Makefile
	cd CIVLTests && make > OUT

TASS: TASSTests/Makefile
	cd TASSTests && make > OUT

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