source:
CIVL/examples/compare/io/Makefile@
8ed2d3b
| Last change on this file since 8ed2d3b was 6caf443, checked in by , 10 years ago | |
|---|---|
|
|
| File size: 150 bytes | |
| Rev | Line | |
|---|---|---|
| [64d2c67] | 1 | CIVL = civl |
| 2 | COMPARE = $(CIVL) compare | |
| 3 | ||
| 4 | all: output | |
| 5 | ||
| 6 | output: out1.c out2.c | |
| 7 | $(COMPARE) -impl out1.c -spec out2.c | |
| 8 | ||
| 9 | clean: | |
| 10 | rm -f *~ | |
| 11 | rm -f -r CIVLREP |
Note:
See TracBrowser
for help on using the repository browser.
