source:
CIVL/examples/arithmetic/Makefile@
397ae5f
| Last change on this file since 397ae5f was ea777aa, checked in by , 3 years ago | |
|---|---|
|
|
| File size: 1.6 KB | |
| Rev | Line | |
|---|---|---|
| [06b8536c] | 1 | |
| 2 | CIVL=civl | |
| 3 | VERIFY=$(CIVL) verify | |
| 4 | ||
| [2a7c847] | 5 | all: algebra assoc derivative diffusion div0 division \ |
| 6 | divisionBad ex3_simple laplace mathematical matmat matmatBad mean meanBad \ | |
| 7 | moddiv multiplicationInLoopCondition sqrt sqrtBad1 sqrtBad2 quadratic1 \ | |
| 8 | quadratic2 sqrtCall.cvl | |
| [06b8536c] | 9 | |
| 10 | algebra: algebra.cvl | |
| 11 | $(VERIFY) algebra.cvl | |
| 12 | ||
| 13 | assoc: assoc.cvl | |
| 14 | $(VERIFY) -inputB=10 assoc.cvl | |
| [2a7c847] | 15 | |
| [89b55f5] | 16 | derivative: derivative.cvl |
| 17 | $(VERIFY) derivative.cvl | |
| [2a7c847] | 18 | |
| [89b55f5] | 19 | diffusion: diffusion.cvl |
| 20 | $(VERIFY) diffusion.cvl | |
| [06b8536c] | 21 | |
| [2a7c847] | 22 | div0: div0.cvl |
| 23 | $(VERIFY) div0.cvl | |
| 24 | ||
| [06b8536c] | 25 | division: division.cvl |
| 26 | $(VERIFY) division.cvl | |
| 27 | ||
| 28 | divisionBad: divisionBad.cvl | |
| 29 | $(VERIFY) divisionBad.cvl | |
| 30 | $(CIVL) replay divisionBad.cvl | |
| 31 | ||
| [2a7c847] | 32 | ex3_simple: ex3_simple.cvl |
| 33 | $(VERIFY) ex3_simple.cvl | |
| 34 | ||
| [89b55f5] | 35 | laplace: laplace.cvl |
| 36 | $(VERIFY) laplace.cvl | |
| [2a7c847] | 37 | |
| 38 | mathematical: mathematical.cvl | |
| 39 | $(VERIFY) mathematical.cvl | |
| 40 | ||
| [89b55f5] | 41 | matmat: matmat.cvl |
| [7e8e35c] | 42 | $(VERIFY) -inputBOUND=3 matmat.cvl |
| [b96205d] | 43 | |
| [89b55f5] | 44 | matmatBad: matmatBad.cvl |
| [7e8e35c] | 45 | $(VERIFY) -min -inputBOUND=3 matmatBad.cvl |
| [89b55f5] | 46 | $(CIVL) replay matmatBad.cvl |
| [2a7c847] | 47 | |
| [89b55f5] | 48 | mean: mean.cvl |
| 49 | $(VERIFY) -inputB=10 mean.cvl | |
| [b96205d] | 50 | |
| 51 | meanBad: meanBad.cvl | |
| 52 | $(VERIFY) -min -inputB=10 meanBad.cvl | |
| 53 | $(CIVL) replay meanBad.cvl | |
| [2a7c847] | 54 | |
| 55 | moddiv: moddiv.cvl | |
| 56 | $(VERIFY) moddiv.cvl | |
| 57 | ||
| [289a368] | 58 | multiplicationInLoopCondition: multiplicationInLoopCondition.cvl |
| 59 | $(VERIFY) multiplicationInLoopCondition.cvl | |
| [b96205d] | 60 | |
| [869af89] | 61 | sqrt: sqrt.cvl |
| 62 | $(VERIFY) sqrt.cvl | |
| 63 | ||
| 64 | sqrtBad1: sqrtBad1.cvl | |
| 65 | $(VERIFY) sqrtBad1.cvl | |
| 66 | ||
| 67 | sqrtBad2: sqrtBad2.cvl | |
| 68 | $(VERIFY) sqrtBad2.cvl | |
| 69 | ||
| 70 | quadratic1: quadratic1.cvl | |
| 71 | $(VERIFY) quadratic1.cvl | |
| 72 | ||
| 73 | quadratic2: quadratic2.cvl | |
| 74 | $(VERIFY) quadratic2.cvl | |
| 75 | ||
| [2a7c847] | 76 | sqrtCall: sqrtCall.cvl |
| 77 | $(VERIFY) sqrtCall.cvl | |
| 78 | ||
| 79 | trySimple: trySimple.cvl | |
| 80 | $(VERIFY) trySimple.cvl | |
| 81 | ||
| [b96205d] | 82 | clean: |
| 83 | rm -rf CIVLREP *~ | |
| [06b8536c] | 84 | |
| 85 | ||
| 86 |
Note:
See TracBrowser
for help on using the repository browser.
