source: CIVL/examples/contracts/Makefile@ 8a8a3a5

1.23 2.0 main test-branch
Last change on this file since 8a8a3a5 was c8d748e, checked in by Ziqing Luo <ziqing@…>, 11 years ago

add test casess

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@2648 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 244 bytes
Line 
1VERIFY=civl verify -input_mpi_nprocs=3 -deadlock=potential -mpiContract
2
3all: $(patsubst %.c, C_%, $(wildcard *.c)) $(patsubst %.cvl, CVL_%, $(wildcard *.cvl))
4
5C_%: %.c
6 $(VERIFY) $<
7
8CVL_%: %.cvl
9 $(VERIFY) $<
10
11clean:
12 rm -r -f CIVLREP *~
Note: See TracBrowser for help on using the repository browser.