-
Notifications
You must be signed in to change notification settings - Fork 6
Expand file tree
/
Copy pathmakefile
More file actions
293 lines (196 loc) · 8.96 KB
/
Copy pathmakefile
File metadata and controls
293 lines (196 loc) · 8.96 KB
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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
all: doc test
ci-test: doc ci-test_all_packages
# BEGIN PACKAGE JANITOR
################################
doc: doc_Algebroids doc_CategoriesWithAmbientObjects doc_CatReps doc_ExteriorPowersCategories doc_FiniteCocompletions doc_FpCategories doc_FpLinearCategories doc_FunctorCategories doc_GradedCategories doc_InternalModules doc_IntrinsicCategories doc_IntrinsicGradedModules doc_IntrinsicModules doc_LazyCategories doc_Locales doc_PresheafCategories doc_QuotientCategories doc_SliceCategories doc_SubcategoriesForCAP doc_ToolsForCategoricalTowers doc_Toposes doc_ZariskiFrames
doc_Algebroids:
$(MAKE) -C Algebroids doc
doc_CategoriesWithAmbientObjects:
$(MAKE) -C CategoriesWithAmbientObjects doc
doc_CatReps:
$(MAKE) -C CatReps doc
doc_ExteriorPowersCategories:
$(MAKE) -C ExteriorPowersCategories doc
doc_FiniteCocompletions:
$(MAKE) -C FiniteCocompletions doc
doc_FpCategories:
$(MAKE) -C FpCategories doc
doc_FpLinearCategories:
$(MAKE) -C FpLinearCategories doc
doc_FunctorCategories:
$(MAKE) -C FunctorCategories doc
doc_GradedCategories:
$(MAKE) -C GradedCategories doc
doc_InternalModules:
$(MAKE) -C InternalModules doc
doc_IntrinsicCategories:
$(MAKE) -C IntrinsicCategories doc
doc_IntrinsicGradedModules:
$(MAKE) -C IntrinsicGradedModules doc
doc_IntrinsicModules:
$(MAKE) -C IntrinsicModules doc
doc_LazyCategories:
$(MAKE) -C LazyCategories doc
doc_Locales:
$(MAKE) -C Locales doc
doc_PresheafCategories:
$(MAKE) -C PresheafCategories doc
doc_QuotientCategories:
$(MAKE) -C QuotientCategories doc
doc_SliceCategories:
$(MAKE) -C SliceCategories doc
doc_SubcategoriesForCAP:
$(MAKE) -C SubcategoriesForCAP doc
doc_ToolsForCategoricalTowers:
$(MAKE) -C ToolsForCategoricalTowers doc
doc_Toposes:
$(MAKE) -C Toposes doc
doc_ZariskiFrames:
$(MAKE) -C ZariskiFrames doc
################################
test: doc test_Algebroids test_CategoriesWithAmbientObjects test_CatReps test_ExteriorPowersCategories test_FiniteCocompletions test_FpCategories test_FpLinearCategories test_FunctorCategories test_GradedCategories test_InternalModules test_IntrinsicCategories test_IntrinsicGradedModules test_IntrinsicModules test_LazyCategories test_Locales test_PresheafCategories test_QuotientCategories test_SliceCategories test_SubcategoriesForCAP test_ToolsForCategoricalTowers test_Toposes test_ZariskiFrames
test_Algebroids:
$(MAKE) -C Algebroids test
test_CategoriesWithAmbientObjects:
$(MAKE) -C CategoriesWithAmbientObjects test
test_CatReps:
$(MAKE) -C CatReps test
test_ExteriorPowersCategories:
$(MAKE) -C ExteriorPowersCategories test
test_FiniteCocompletions:
$(MAKE) -C FiniteCocompletions test
test_FpCategories:
$(MAKE) -C FpCategories test
test_FpLinearCategories:
$(MAKE) -C FpLinearCategories test
test_FunctorCategories:
$(MAKE) -C FunctorCategories test
test_GradedCategories:
$(MAKE) -C GradedCategories test
test_InternalModules:
$(MAKE) -C InternalModules test
test_IntrinsicCategories:
$(MAKE) -C IntrinsicCategories test
test_IntrinsicGradedModules:
$(MAKE) -C IntrinsicGradedModules test
test_IntrinsicModules:
$(MAKE) -C IntrinsicModules test
test_LazyCategories:
$(MAKE) -C LazyCategories test
test_Locales:
$(MAKE) -C Locales test
test_PresheafCategories:
$(MAKE) -C PresheafCategories test
test_QuotientCategories:
$(MAKE) -C QuotientCategories test
test_SliceCategories:
$(MAKE) -C SliceCategories test
test_SubcategoriesForCAP:
$(MAKE) -C SubcategoriesForCAP test
test_ToolsForCategoricalTowers:
$(MAKE) -C ToolsForCategoricalTowers test
test_Toposes:
$(MAKE) -C Toposes test
test_ZariskiFrames:
$(MAKE) -C ZariskiFrames test
################################
ci-test_all_packages: ci-test_Algebroids ci-test_CategoriesWithAmbientObjects ci-test_CatReps ci-test_ExteriorPowersCategories ci-test_FiniteCocompletions ci-test_FpCategories ci-test_FpLinearCategories ci-test_FunctorCategories ci-test_GradedCategories ci-test_InternalModules ci-test_IntrinsicCategories ci-test_IntrinsicGradedModules ci-test_IntrinsicModules ci-test_LazyCategories ci-test_Locales ci-test_PresheafCategories ci-test_QuotientCategories ci-test_SliceCategories ci-test_SubcategoriesForCAP ci-test_ToolsForCategoricalTowers ci-test_Toposes ci-test_ZariskiFrames
ci-test_Algebroids:
$(MAKE) -C Algebroids ci-test
ci-test_CategoriesWithAmbientObjects:
$(MAKE) -C CategoriesWithAmbientObjects ci-test
ci-test_CatReps:
$(MAKE) -C CatReps ci-test
ci-test_ExteriorPowersCategories:
$(MAKE) -C ExteriorPowersCategories ci-test
ci-test_FiniteCocompletions:
$(MAKE) -C FiniteCocompletions ci-test
ci-test_FpCategories:
$(MAKE) -C FpCategories ci-test
ci-test_FpLinearCategories:
$(MAKE) -C FpLinearCategories ci-test
ci-test_FunctorCategories:
$(MAKE) -C FunctorCategories ci-test
ci-test_GradedCategories:
$(MAKE) -C GradedCategories ci-test
ci-test_InternalModules:
$(MAKE) -C InternalModules ci-test
ci-test_IntrinsicCategories:
$(MAKE) -C IntrinsicCategories ci-test
ci-test_IntrinsicGradedModules:
$(MAKE) -C IntrinsicGradedModules ci-test
ci-test_IntrinsicModules:
$(MAKE) -C IntrinsicModules ci-test
ci-test_LazyCategories:
$(MAKE) -C LazyCategories ci-test
ci-test_Locales:
$(MAKE) -C Locales ci-test
ci-test_PresheafCategories:
$(MAKE) -C PresheafCategories ci-test
ci-test_QuotientCategories:
$(MAKE) -C QuotientCategories ci-test
ci-test_SliceCategories:
$(MAKE) -C SliceCategories ci-test
ci-test_SubcategoriesForCAP:
$(MAKE) -C SubcategoriesForCAP ci-test
ci-test_ToolsForCategoricalTowers:
$(MAKE) -C ToolsForCategoricalTowers ci-test
ci-test_Toposes:
$(MAKE) -C Toposes ci-test
ci-test_ZariskiFrames:
$(MAKE) -C ZariskiFrames ci-test
################################
update-notebooks: update-notebooks_CatReps update-notebooks_FunctorCategories update-notebooks_InternalModules
update-notebooks_CatReps:
$(MAKE) -C CatReps update-notebooks
update-notebooks_FunctorCategories:
$(MAKE) -C FunctorCategories update-notebooks
update-notebooks_InternalModules:
$(MAKE) -C InternalModules update-notebooks
################################
match_tests_to_examples: match_tests_to_examples_Algebroids match_tests_to_examples_CategoriesWithAmbientObjects match_tests_to_examples_CatReps match_tests_to_examples_ExteriorPowersCategories match_tests_to_examples_FiniteCocompletions match_tests_to_examples_FpCategories match_tests_to_examples_FpLinearCategories match_tests_to_examples_FunctorCategories match_tests_to_examples_GradedCategories match_tests_to_examples_InternalModules match_tests_to_examples_IntrinsicCategories match_tests_to_examples_IntrinsicGradedModules match_tests_to_examples_IntrinsicModules match_tests_to_examples_LazyCategories match_tests_to_examples_Locales match_tests_to_examples_PresheafCategories match_tests_to_examples_QuotientCategories match_tests_to_examples_SliceCategories match_tests_to_examples_SubcategoriesForCAP match_tests_to_examples_ToolsForCategoricalTowers match_tests_to_examples_Toposes match_tests_to_examples_ZariskiFrames
match_tests_to_examples_Algebroids:
$(MAKE) -C Algebroids match_tests_to_examples
match_tests_to_examples_CategoriesWithAmbientObjects:
$(MAKE) -C CategoriesWithAmbientObjects match_tests_to_examples
match_tests_to_examples_CatReps:
$(MAKE) -C CatReps match_tests_to_examples
match_tests_to_examples_ExteriorPowersCategories:
$(MAKE) -C ExteriorPowersCategories match_tests_to_examples
match_tests_to_examples_FiniteCocompletions:
$(MAKE) -C FiniteCocompletions match_tests_to_examples
match_tests_to_examples_FpCategories:
$(MAKE) -C FpCategories match_tests_to_examples
match_tests_to_examples_FpLinearCategories:
$(MAKE) -C FpLinearCategories match_tests_to_examples
match_tests_to_examples_FunctorCategories:
$(MAKE) -C FunctorCategories match_tests_to_examples
match_tests_to_examples_GradedCategories:
$(MAKE) -C GradedCategories match_tests_to_examples
match_tests_to_examples_InternalModules:
$(MAKE) -C InternalModules match_tests_to_examples
match_tests_to_examples_IntrinsicCategories:
$(MAKE) -C IntrinsicCategories match_tests_to_examples
match_tests_to_examples_IntrinsicGradedModules:
$(MAKE) -C IntrinsicGradedModules match_tests_to_examples
match_tests_to_examples_IntrinsicModules:
$(MAKE) -C IntrinsicModules match_tests_to_examples
match_tests_to_examples_LazyCategories:
$(MAKE) -C LazyCategories match_tests_to_examples
match_tests_to_examples_Locales:
$(MAKE) -C Locales match_tests_to_examples
match_tests_to_examples_PresheafCategories:
$(MAKE) -C PresheafCategories match_tests_to_examples
match_tests_to_examples_QuotientCategories:
$(MAKE) -C QuotientCategories match_tests_to_examples
match_tests_to_examples_SliceCategories:
$(MAKE) -C SliceCategories match_tests_to_examples
match_tests_to_examples_SubcategoriesForCAP:
$(MAKE) -C SubcategoriesForCAP match_tests_to_examples
match_tests_to_examples_ToolsForCategoricalTowers:
$(MAKE) -C ToolsForCategoricalTowers match_tests_to_examples
match_tests_to_examples_Toposes:
$(MAKE) -C Toposes match_tests_to_examples
match_tests_to_examples_ZariskiFrames:
$(MAKE) -C ZariskiFrames match_tests_to_examples
# END PACKAGE JANITOR