-
Notifications
You must be signed in to change notification settings - Fork 4
/
makefile
210 lines (140 loc) · 5.49 KB
/
makefile
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
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_FunctorCategories doc_GradedCategories doc_InternalModules doc_IntrinsicCategories doc_IntrinsicGradedModules doc_IntrinsicModules doc_LazyCategories doc_Locales doc_PreSheaves doc_QuotientCategories 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_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_PreSheaves:
$(MAKE) -C PreSheaves doc
doc_QuotientCategories:
$(MAKE) -C QuotientCategories 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_FunctorCategories test_GradedCategories test_InternalModules test_IntrinsicCategories test_IntrinsicGradedModules test_IntrinsicModules test_LazyCategories test_Locales test_PreSheaves test_QuotientCategories 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_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_PreSheaves:
$(MAKE) -C PreSheaves test
test_QuotientCategories:
$(MAKE) -C QuotientCategories 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_FunctorCategories ci-test_GradedCategories ci-test_InternalModules ci-test_IntrinsicCategories ci-test_IntrinsicGradedModules ci-test_IntrinsicModules ci-test_LazyCategories ci-test_Locales ci-test_PreSheaves ci-test_QuotientCategories 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_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_PreSheaves:
$(MAKE) -C PreSheaves ci-test
ci-test_QuotientCategories:
$(MAKE) -C QuotientCategories 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_LazyCategories
update-notebooks_CatReps:
$(MAKE) -C CatReps update-notebooks
update-notebooks_FunctorCategories:
$(MAKE) -C FunctorCategories update-notebooks
update-notebooks_InternalModules:
$(MAKE) -C InternalModules update-notebooks
update-notebooks_LazyCategories:
$(MAKE) -C LazyCategories update-notebooks
# END PACKAGE JANITOR