source:
CIVL/examples/contracts/Makefile@
8ed2d3b
| Last change on this file since 8ed2d3b was c8d748e, checked in by , 11 years ago | |
|---|---|
|
|
| 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.
