source: CIVL/mods/dev.civl.com/examples/contracts/Makefile@ cb4d4f4

main test-branch
Last change on this file since cb4d4f4 was aad342c, checked in by Stephen Siegel <siegel@…>, 3 years ago

Performing huge refactor to incorporate ABC, GMC, and SARL into CIVL repo and use Java modules.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@5664 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.