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
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
TESTS = \
metaApply \
metaUnify \
metaFrewrite \
metaMatch \
metaMeta \
metaModule \
metaParse \
metaPrettyPrint \
metaReduce \
metaRewrite \
metaSearch \
metaSort \
metaSpecial \
metaTerm \
metaUp \
metaWellFormed \
metaXapply \
metaXmatch \
metaUp2 \
metaUpModExp \
metaModExp \
metaPolymorph \
metaUpDown \
metaPrintAttr \
metaMetadata
MAUDE_FILES = \
metaApply.maude \
metaUnify.maude \
metaFrewrite.maude \
metaMatch.maude \
metaMeta.maude \
metaModule.maude \
metaParse.maude \
metaPrettyPrint.maude \
metaReduce.maude \
metaRewrite.maude \
metaSearch.maude \
metaSort.maude \
metaSpecial.maude \
metaTerm.maude \
metaUp.maude \
metaWellFormed.maude \
metaXapply.maude \
metaXmatch.maude \
metaUp2.maude \
metaUpModExp.maude \
metaModExp.maude \
metaPolymorph.maude \
metaUpDown.maude \
metaPrintAttr.maude \
metaMetadata.maude
RESULT_FILES = \
metaApply.expected \
metaUnify.expected \
metaFrewrite.expected \
metaApply.expected \
metaFrewrite.expected \
metaMatch.expected \
metaMeta.expected \
metaModule.expected \
metaParse.expected \
metaPrettyPrint.expected \
metaReduce.expected \
metaRewrite.expected \
metaSearch.expected \
metaSort.expected \
metaSpecial.expected \
metaTerm.expected \
metaUp.expected \
metaWellFormed.expected \
metaXapply.expected \
metaXmatch.expected \
metaUp2.expected \
metaUpModExp.expected \
metaModExp.expected \
metaPolymorph.expected \
metaUpDown.expected \
metaPrintAttr.expected \
metaMetadata.expected
EXTRA_DIST = $(TESTS) $(MAUDE_FILES) $(RESULT_FILES)
|
