source: CIVL/examples/arithmetic/Makefile@ 36185a9

1.23 2.0 main test-branch
Last change on this file since 36185a9 was 869af89, checked in by Ziqing Luo <ziqing@…>, 11 years ago

Complete math.cvl and add 5 new examples under examples/arithmetic/

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@1790 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 1.2 KB
Line 
1
2CIVL=civl
3VERIFY=$(CIVL) verify
4
5all: algebra assoc derivative diffusion division \
6 divisionBad laplace matmat matmatBad mean meanBad \
7 multiplicationInLoopCondition sqrt sqrtBad1 sqrtBad2 quadratic1
8 quadratic2
9
10algebra: algebra.cvl
11 $(VERIFY) algebra.cvl
12
13assoc: assoc.cvl
14 $(VERIFY) -inputB=10 assoc.cvl
15
16derivative: derivative.cvl
17 $(VERIFY) derivative.cvl
18
19diffusion: diffusion.cvl
20 $(VERIFY) diffusion.cvl
21
22division: division.cvl
23 $(VERIFY) division.cvl
24
25divisionBad: divisionBad.cvl
26 $(VERIFY) divisionBad.cvl
27 $(CIVL) replay divisionBad.cvl
28
29laplace: laplace.cvl
30 $(VERIFY) laplace.cvl
31
32matmat: matmat.cvl
33 $(VERIFY) -inputBOUND=3 matmat.cvl
34
35matmatBad: matmatBad.cvl
36 $(VERIFY) -min -inputBOUND=3 matmatBad.cvl
37 $(CIVL) replay matmatBad.cvl
38
39mean: mean.cvl
40 $(VERIFY) -inputB=10 mean.cvl
41
42meanBad: meanBad.cvl
43 $(VERIFY) -min -inputB=10 meanBad.cvl
44 $(CIVL) replay meanBad.cvl
45
46multiplicationInLoopCondition: multiplicationInLoopCondition.cvl
47 $(VERIFY) multiplicationInLoopCondition.cvl
48
49sqrt: sqrt.cvl
50 $(VERIFY) sqrt.cvl
51
52sqrtBad1: sqrtBad1.cvl
53 $(VERIFY) sqrtBad1.cvl
54
55sqrtBad2: sqrtBad2.cvl
56 $(VERIFY) sqrtBad2.cvl
57
58quadratic1: quadratic1.cvl
59 $(VERIFY) quadratic1.cvl
60
61quadratic2: quadratic2.cvl
62 $(VERIFY) quadratic2.cvl
63
64clean:
65 rm -rf CIVLREP *~
66
67
68
Note: See TracBrowser for help on using the repository browser.