source:
CIVL/examples/compare/Makefile@
7639b14
| Last change on this file since 7639b14 was fbb0793f, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 362 bytes | |
| Line | |
|---|---|
| 1 | CIVL = civl |
| 2 | COMPARE = $(CIVL) compare |
| 3 | ADDER_PATH = ./adder/ |
| 4 | |
| 5 | all: sumN adder_comp |
| 6 | |
| 7 | sumN: sumNimpl.cvl sumNspec.cvl |
| 8 | $(COMPARE) sumNspec.cvl sumNimpl.cvl -inputN=10 |
| 9 | |
| 10 | adder_comp: $(ADDER_PATH)adder_par.cvl $(ADDER_PATH)adder_spec.cvl |
| 11 | $(COMPARE) $(ADDER_PATH)adder_par.cvl $(ADDER_PATH)adder_spec.cvl -inputNB=4 -inputNPROCSB=2 |
| 12 | |
| 13 | clean: |
| 14 | rm -f *~ |
| 15 | rm -f -r CIVLREP |
Note:
See TracBrowser
for help on using the repository browser.
