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
38
39
40
41
|
TESTS = \
dekker \
commands \
debug \
renaming \
dataStructures \
parameterization \
unification \
unification2 \
unification3 \
attributes \
diophantine
MAUDE_FILES = \
dekker.maude \
commands.maude \
debug.maude \
renaming.maude \
dataStructures.maude \
parameterization.maude \
unification.maude \
unification2.maude \
unification3.maude \
attributes.maude \
diophantine.maude
RESULT_FILES = \
dekker.expected \
commands.expected \
debug.expected \
renaming.expected \
dataStructures.expected \
parameterization.expected \
unification.expected \
unification2.expected \
unification3.expected \
attributes.expected \
diophantine.expected
EXTRA_DIST = $(TESTS) $(MAUDE_FILES) $(RESULT_FILES)
|
