source: src/redundant_includes.txt @ 2969

Last change on this file since 2969 was 2919, checked in by fguidi, 9 years ago

"MATITA_COMPONENTS=/path/to/matita/components/ make deps" outputs
redundant and circular dependences in redundent_includes.txt

the lines of redundent_includes.txt mean:

"file: redundant file1" inclusion of file1 is redundant in file
"circular: file1 file2 ...." circular inclusion of file1 file2 ...

the dependences analizer is compiled by

"MATITA_COMPONENTS=/path/to/matita/components/ make matitadep"

File size: 6.8 KB
1utilities/ redundant basics/lists/
2utilities/ redundant basics/
3utilities/ redundant basics/
4utilities/ redundant basics/
5utilities/ redundant basics/
6utilities/ redundant basics/
7ASM/ redundant arithmetics/
8ASM/ redundant basics/
9ASM/ redundant basics/lists/
10ASM/ redundant arithmetics/
11common/ redundant basics/
12common/ redundant utilities/
13common/ redundant basics/
14common/ redundant basics/lists/
15common/ redundant basics/
16common/ redundant basics/
17utilities/ redundant utilities/
18utilities/ redundant utilities/
19utilities/ redundant basics/lists/
20common/ redundant utilities/binary/
21common/ redundant basics/
22common/ redundant ASM/
23common/ redundant utilities/
24common/ redundant arithmetics/
25common/ redundant basics/
26ASM/ redundant ASM/
27ASM/ redundant utilities/binary/
28common/ redundant common/
29utilities/ redundant basics/lists/
30utilities/ redundant basics/
31common/ redundant common/
32common/ redundant utilities/
33common/ redundant common/
34common/ redundant common/
35common/ redundant common/
36common/ redundant common/
37utilities/ redundant utilities/
38common/ redundant utilities/
39joint/ redundant utilities/
40common/ redundant common/
41ASM/ redundant basics/
42common/ redundant basics/
43ASM/ redundant arithmetics/
44joint/ redundant joint/
45joint/ redundant ASM/
46joint/ redundant utilities/
47joint/ redundant common/
48common/ redundant utilities/
49common/ redundant basics/lists/
50joint/ redundant common/
51common/ redundant utilities/
52common/ redundant common/
53common/ redundant basics/
54joint/ redundant joint/
55common/ redundant arithmetics/
56common/ redundant common/
57common/ redundant utilities/
58Clight/ redundant common/
59Clight/ redundant Clight/
60Clight/ redundant utilities/
61ERTLptr/ redundant joint/
62Clight/ redundant common/
63Clight/ redundant common/
64Clight/ redundant Clight/
65Clight/ redundant common/
66Clight/ redundant utilities/
67Clight/ redundant common/
68Clight/ redundant basics/lists/
69RTLabs/ redundant ASM/
70common/ redundant common/
71RTLabs/ redundant common/
72RTLabs/ redundant basics/
73RTLabs/ redundant RTLabs/
74RTLabs/ redundant common/
75RTLabs/ redundant basics/lists/
76Cminor/ redundant Cminor/
77Cminor/ redundant common/
78Cminor/ redundant utilities/
79Cminor/ redundant common/
80Cminor/ redundant common/
81Clight/ redundant basics/lists/
82Clight/ redundant Clight/
83Clight/ redundant Clight/
84Clight/ redundant Clight/
85ASM/ redundant ASM/
86ERTL/ redundant ERTL/
87RTLabs/ redundant RTLabs/
88joint/ redundant joint/
89ERTL/ redundant common/
90ERTL/ redundant joint/
91joint/ redundant joint/
92joint/ redundant joint/
93common/ redundant basics/lists/
94ASM/ redundant ASM/
95ASM/ redundant ASM/
96ASM/ redundant ASM/ redundant ERTL/ redundant ASM/
99ASM/ redundant utilities/
100ASM/ redundant ASM/
101ASM/ redundant ASM/
102ASM/ redundant ASM/
103ASM/ redundant ASM/
104LIN/ redundant ASM/
105ERTLptr/ redundant ASM/
106utilities/adt/ redundant arithmetics/
107utilities/adt/ redundant basics/lists/
108utilities/adt/ redundant basics/
109ERTLptr/ redundant ASM/
110RTL/ redundant common/
111RTLabs/ redundant common/
112Clight/test/ redundant common/
113Clight/ redundant Clight/
114Clight/ redundant Clight/
115Clight/ redundant common/
116Clight/ redundant Clight/
117Clight/ redundant Cminor/
118Clight/ redundant Clight/
119Clight/ redundant Clight/
120Clight/ redundant common/
121Clight/ redundant Clight/
122Clight/ redundant Clight/
123utilities/adt/ redundant arithmetics/
124utilities/adt/ redundant basics/lists/
125utilities/adt/ redundant basics/
126ASM/ redundant ASM/
127ASM/ redundant ASM/
128ASM/ redundant ASM/
129ERTLptr/ redundant common/
130ERTLptr/ redundant joint/
131Clight/test/ redundant common/
132ASM/ redundant ASM/
133ASM/ redundant arithmetics/
134RTLabs/ redundant RTLabs/
Note: See TracBrowser for help on using the repository browser.