Context Navigation

Makefile

main

Last change on this file was ea777aa, checked in by Alex Wilton <awilton@…>, 3 years ago

Moved examples, include, build_default.properties, common.xml, and README out from dev.civl.com into the root of the repo.

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@5704 fb995dde-84ed-4084-dfe6-e5aef3e2452c

File size: 244 bytes

Rev	Line
[ed8835c]	1	VERIFY=civl verify -input_mpi_nprocs=3 -deadlock=potential -mpiContract
	2
[c8d748e]	3	all: $(patsubst %.c, C_%, $(wildcard .c)) $(patsubst %.cvl, CVL_%, $(wildcard .cvl))
[ed8835c]	4
[c8d748e]	5	C_%: %.c
	6	$(VERIFY) $<
[ed8835c]	7
[c8d748e]	8	CVL_%: %.cvl
	9	$(VERIFY) $<
[ed8835c]	10
	11	clean:
	12	rm -r -f CIVLREP *~

Note: See TracBrowser for help on using the repository browser.