source:
CIVL/examples/sideEffects/Makefile
| Last change on this file was ea777aa, checked in by , 3 years ago | |
|---|---|
|
|
| File size: 175 bytes | |
| Rev | Line | |
|---|---|---|
| [0baeebd] | 1 | CIVL=civl |
| 2 | VERIFY=$(CIVL) verify | |
| 3 | ||
| [cabe6b08] | 4 | all : malloc postIncr |
| [0baeebd] | 5 | |
| 6 | malloc : malloc.cvl | |
| 7 | $(VERIFY) malloc.cvl | |
| [cabe6b08] | 8 | |
| 9 | postIncr : postIncr.cvl | |
| 10 | $(VERIFY) postIncr.cvl | |
| [eeed32c] | 11 | |
| 12 | clean: | |
| 13 | rm -rf *~ CIVLREP |
Note:
See TracBrowser
for help on using the repository browser.
