1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
TESTS = \
account \
rrobin \
rent-a-car-store \
parameterization \
oo-list-2 \
dining-philosophers5 \
dining-philosophers6 \
oo-list-3 \
oo-peg-game2 \
prngTest
MAUDE_FILES = \
account.maude \
rrobin.maude \
rent-a-car-store.maude \
parameterization.maude \
oo-list-2.maude \
dining-philosophers5.maude \
dining-philosophers6.maude \
oo-list-3.maude \
oo-peg-game2.maude \
prngTest.maude
RESULT_FILES = \
account.expected \
rrobin.expected \
rent-a-car-store.expected \
parameterization.expected \
oo-list-2.expected \
dining-philosophers5.expected \
dining-philosophers6.expected \
oo-list-3.expected \
oo-peg-game2.expected \
prngTest.expected
EXTRA_DIST = $(TESTS) $(MAUDE_FILES) $(RESULT_FILES)
|
