source:
CIVL/examples/loop_invariants/Jans_example/Makefile@
d333d7a
| Last change on this file since d333d7a was 560cd3c, checked in by , 8 years ago | |
|---|---|
|
|
| File size: 199 bytes | |
| Rev | Line | |
|---|---|---|
| [560cd3c] | 1 | CIVL=civl |
| 2 | OPTION=-collectSymbolicConstants=true | |
| 3 | VERIFY=$(CIVL) verify $(OPTION) | |
| 4 | ||
| 5 | all : $(patsubst %.cvl, verify_%, $(wildcard *)) | |
| 6 | ||
| 7 | verify_%: %.cvl | |
| 8 | $(VERIFY) $< | |
| 9 | ||
| [2fa0abd] | 10 | clean: |
| 11 | rm -rf *~ CIVLREP SARL_Why3 |
Note:
See TracBrowser
for help on using the repository browser.
