source: Deliverables/D6.6/matita/matita_0.99.2-1_amd64.build @ 3241

Last change on this file since 3241 was 3241, checked in by sacerdot, 7 years ago

Debian package for matita_0.99.2

File size: 64.5 KB
Line 
1 dpkg-buildpackage -rfakeroot -D -us -uc -i -I
2dpkg-buildpackage: source package matita
3dpkg-buildpackage: source version 0.99.2-1
4dpkg-buildpackage: source changed by Claudio Sacerdoti Coen <claudio@zenone.casamia.org>
5 dpkg-source -i -I --before-build matita
6dpkg-buildpackage: host architecture amd64
7dpkg-source: info: using options from matita/debian/source/local-options: --abort-on-upstream-changes --unapply-patches
8dpkg-source: info: applying configure
9 fakeroot debian/rules clean
10dh clean
11   dh_testdir
12   debian/rules override_dh_auto_clean
13make[1]: Entering directory `/tmp/newmatita/pacchetto/matita'
14dh_auto_clean
15rm -f Makefile.defs components/extlib/componentsConf.ml matita/.depend.opt matita/help/C/version.txt matita/matita.conf.xml matita/matita.glade.utf8
16make[1]: Leaving directory `/tmp/newmatita/pacchetto/matita'
17   dh_clean
18 dpkg-source -i -I -b matita
19dpkg-source: info: using options from matita/debian/source/local-options: --abort-on-upstream-changes --unapply-patches
20dpkg-source: info: using source format `3.0 (quilt)'
21dpkg-source: info: building matita using existing ./matita_0.99.2.orig.tar.gz
22dpkg-source: info: building matita in matita_0.99.2-1.debian.tar.gz
23dpkg-source: info: building matita in matita_0.99.2-1.dsc
24 debian/rules build
25dh build
26   dh_testdir
27   debian/rules override_dh_auto_configure
28make[1]: Entering directory `/tmp/newmatita/pacchetto/matita'
29./configure --with-runtime-dir=/usr/share/matita \
30                --prefix=/usr/ \
31                --with-dbhost=FAKE_HOST
32checking for ocamlc... yes
33checking for ocamlopt... yes
34checking for ocamlfind... yes
35checking for lablgladecc2... yes
36checking for camlp5o... yes
37creating METAs ... done
38checking for expat ocaml library... yes
39checking for gdome2 ocaml library... yes
40checking for http ocaml library... yes
41checking for lablgtk2 ocaml library... yes
42checking for lablgtksourceview2.gtksourceview2 ocaml library... yes
43checking for netstring ocaml library... yes
44checking for ulex08 ocaml library... yes
45checking for zip ocaml library... yes
46checking for helm-disambiguation ocaml library... yes
47checking for helm-grafite ocaml library... yes
48checking for helm-grafite_engine ocaml library... yes
49checking for helm-ng_disambiguation ocaml library... yes
50checking for helm-ng_cic_content ocaml library... yes
51checking for helm-grafite_parser ocaml library... yes
52checking for helm-content_pres ocaml library... yes
53checking for helm-ng_paramodulation ocaml library... yes
54checking for helm-ng_tactics ocaml library... yes
55checking for lablgtk2.glade ocaml library... yes
56checking for lablgtksourceview2.gtksourceview2 ocaml library... yes
57checking --enable-debug argument... no, debugging disabled.
58checking --enable-annot argument... no, type annotation disabled.
59checking --with-runtime-dir argument... /usr/share/matita
60checking --with-dbhost argument... FAKE_HOST
61configure: creating ./config.status
62config.status: creating components/extlib/componentsConf.ml
63config.status: creating matita/matita.conf.xml
64config.status: creating matita/buildTimeConf.ml
65config.status: creating matita/help/C/version.txt
66config.status: creating Makefile.defs
67make[1]: Leaving directory `/tmp/newmatita/pacchetto/matita'
68   dh_auto_build
69make[1]: Entering directory `/tmp/newmatita/pacchetto/matita'
70make rec@depend.opt@components rec@depend.opt@matita
71make[2]: Entering directory `/tmp/newmatita/pacchetto/matita'
72make -C components depend.opt DESTDIR=
73make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components'
74ocamlfind: Package `helm-utf8_macros' not found
75make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
76../Makefile.common:74: warning: overriding commands for target `test'
77Makefile:40: warning: ignoring old commands for target `test'
78  OCAMLDEP
79make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
80ocamlfind: Package `helm-utf8_macros' not found
81make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
82../Makefile.common:74: warning: overriding commands for target `test'
83Makefile:40: warning: ignoring old commands for target `test'
84  OCAMLC utf8MacroTable.ml
85ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
86  OCAMLC utf8Macro.mli
87ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
88  OCAMLC utf8Macro.ml
89ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
90  OCAMLC -a utf8_macros.cma
91ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
92  OCAMLC pa_unicode_macro.ml
93ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
94  OCAMLC -a pa_unicode_macro.cma
95ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
96  OCAMLC profiling_macros.ml
97ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
98  OCAMLC -a profiling_macros.cma
99ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
100make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
101make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/extlib'
102  OCAMLDEP -native
103make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/extlib'
104make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/xml'
105  OCAMLDEP -native
106make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/xml'
107make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/registry'
108  OCAMLDEP -native
109make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/registry'
110ocamlfind: Package `helm-utf8_macros' not found
111make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
112../Makefile.common:74: warning: overriding commands for target `test'
113Makefile:40: warning: ignoring old commands for target `test'
114  OCAMLDEP -native
115make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
116make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/thread'
117  OCAMLDEP -native
118make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/thread'
119make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/logger'
120  OCAMLDEP -native
121make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/logger'
122make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_kernel'
123  OCAMLDEP -native
124make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_kernel'
125make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_extraction'
126  OCAMLDEP -native
127make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_extraction'
128make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/getter'
129  OCAMLDEP -native
130make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/getter'
131make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/library'
132  OCAMLDEP -native
133make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/library'
134make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/content'
135  OCAMLDEP -native
136make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/content'
137make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite'
138  OCAMLDEP -native
139make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite'
140make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_refiner'
141  OCAMLDEP -native
142make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_refiner'
143make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_library'
144  OCAMLDEP -native
145make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_library'
146make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_cic_content'
147  OCAMLDEP -native
148make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_cic_content'
149make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/disambiguation'
150  OCAMLDEP -native
151make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/disambiguation'
152make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_disambiguation'
153  OCAMLDEP -native
154make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_disambiguation'
155make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_paramodulation'
156  OCAMLDEP -native
157make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_paramodulation'
158make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/content_pres'
159  OCAMLDEP -native
160make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/content_pres'
161make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite_parser'
162  OCAMLDEP -native
163make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite_parser'
164make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_tactics'
165  OCAMLDEP -native
166make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_tactics'
167make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite_engine'
168  OCAMLDEP -native
169make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite_engine'
170make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components'
171make -C matita depend.opt DESTDIR=
172make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/matita'
173  OCAMLDEP -native
174make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/matita'
175make[2]: Leaving directory `/tmp/newmatita/pacchetto/matita'
176make -C components world DESTDIR=
177make[2]: Entering directory `/tmp/newmatita/pacchetto/matita/components'
178ocamlfind: Package `helm-utf8_macros' not found
179make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
180../Makefile.common:74: warning: overriding commands for target `test'
181Makefile:40: warning: ignoring old commands for target `test'
182  OCAMLDEP
183make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
184ocamlfind: Package `helm-utf8_macros' not found
185make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
186../Makefile.common:74: warning: overriding commands for target `test'
187Makefile:40: warning: ignoring old commands for target `test'
188make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
189make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/extlib'
190  OCAMLC componentsConf.mli
191ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
192  OCAMLOPT componentsConf.ml
193ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
194  OCAMLC hExtlib.mli
195ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
196  OCAMLOPT hExtlib.ml
197ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
198  OCAMLC hMarshal.mli
199ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
200  OCAMLOPT hMarshal.ml
201ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
202  OCAMLC patternMatcher.mli
203ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
204  OCAMLOPT patternMatcher.ml
205ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
206  OCAMLC hLog.mli
207ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
208  OCAMLOPT hLog.ml
209ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
210  OCAMLC trie.mli
211ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
212  OCAMLOPT trie.ml
213ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
214  OCAMLC discrimination_tree.mli
215ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
216  OCAMLOPT discrimination_tree.ml
217ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
218  OCAMLC hTopoSort.mli
219ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
220  OCAMLOPT hTopoSort.ml
221ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
222  OCAMLC graphvizPp.mli
223ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
224  OCAMLOPT graphvizPp.ml
225ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
226  OCAMLOPT -a extlib.cmxa
227ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
228make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/extlib'
229make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/xml'
230  OCAMLC xml.mli
231ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
232  OCAMLOPT xml.ml
233ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
234  OCAMLC xmlPushParser.mli
235ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
236  OCAMLOPT xmlPushParser.ml
237ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
238  OCAMLOPT -a xml.cmxa
239ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
240make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/xml'
241make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/registry'
242  OCAMLC helm_registry.mli
243ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
244  OCAMLOPT helm_registry.ml
245ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
246  OCAMLOPT -a registry.cmxa
247ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
248make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/registry'
249ocamlfind: Package `helm-utf8_macros' not found
250make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
251../Makefile.common:74: warning: overriding commands for target `test'
252Makefile:40: warning: ignoring old commands for target `test'
253  OCAMLOPT utf8MacroTable.ml
254ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
255  OCAMLOPT utf8Macro.ml
256ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
257  OCAMLOPT -a utf8_macros.cmxa
258ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
259make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
260make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/thread'
261  OCAMLC threadSafe.mli
262ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
263  OCAMLOPT threadSafe.ml
264ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
265  OCAMLC extThread.mli
266ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
267  OCAMLOPT extThread.ml
268ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
269  OCAMLOPT -a thread.cmxa
270ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
271  OCAMLC fake/threadSafe.mli
272ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
273  OCAMLOPT -a thread_fake.cmxa
274ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
275make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/thread'
276make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/logger'
277  OCAMLC helmLogger.mli
278ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
279  OCAMLOPT helmLogger.ml
280ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
281  OCAMLOPT -a logger.cmxa
282ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
283make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/logger'
284make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_kernel'
285  OCAMLC nUri.mli
286ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
287  OCAMLOPT nUri.ml
288ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
289  OCAMLC nReference.mli
290ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
291  OCAMLOPT nReference.ml
292ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
293  OCAMLOPT nCic.ml
294ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
295  OCAMLC nCicUtils.mli
296ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
297  OCAMLOPT nCicUtils.ml
298ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
299  OCAMLC nCicSubstitution.mli
300ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
301  OCAMLOPT nCicSubstitution.ml
302ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
303  OCAMLC nCicEnvironment.mli
304ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
305  OCAMLOPT nCicEnvironment.ml
306ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
307  OCAMLC nCicReduction.mli
308ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
309  OCAMLOPT nCicReduction.ml
310ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
311  OCAMLC nCicTypeChecker.mli
312ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
313  OCAMLOPT nCicTypeChecker.ml
314ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
315  OCAMLC nCicUntrusted.mli
316ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
317  OCAMLOPT nCicUntrusted.ml
318ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
319  OCAMLC nCicPp.mli
320ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
321  OCAMLOPT nCicPp.ml
322ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
323  OCAMLOPT -a ng_kernel.cmxa
324ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
325make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_kernel'
326make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_extraction'
327  OCAMLC coq.mli
328ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
329  OCAMLOPT coq.ml
330ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
331  OCAMLOPT miniml.ml
332ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
333  OCAMLC nCicExtraction.mli
334ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
335  OCAMLOPT nCicExtraction.ml
336ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
337  OCAMLC ocamlExtractionTable.mli
338ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
339  OCAMLOPT ocamlExtractionTable.ml
340ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
341  OCAMLC mlutil.mli
342ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
343  OCAMLOPT mlutil.ml
344ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
345  OCAMLC common.mli
346ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
347  OCAMLOPT common.ml
348ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
349  OCAMLC extraction.mli
350ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
351  OCAMLOPT extraction.ml
352ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
353  OCAMLC ocaml.mli
354ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
355  OCAMLOPT ocaml.ml
356ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
357  OCAMLC ocamlExtraction.mli
358ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
359  OCAMLOPT ocamlExtraction.ml
360ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
361  OCAMLOPT -a ng_extraction.cmxa
362ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
363make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_extraction'
364make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/getter'
365  OCAMLOPT http_getter_types.ml
366ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
367  OCAMLC http_getter_wget.mli
368ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
369  OCAMLOPT http_getter_wget.ml
370ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
371  OCAMLC http_getter_logger.mli
372ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
373  OCAMLOPT http_getter_logger.ml
374ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
375  OCAMLC http_getter_misc.mli
376ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
377  OCAMLOPT http_getter_misc.ml
378ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
379  OCAMLC http_getter_const.mli
380ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
381  OCAMLOPT http_getter_const.ml
382ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
383  OCAMLC http_getter_env.mli
384ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
385  OCAMLOPT http_getter_env.ml
386ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
387  OCAMLC http_getter_storage.mli
388ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
389  OCAMLOPT http_getter_storage.ml
390ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
391  OCAMLC http_getter_common.mli
392ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
393  OCAMLOPT http_getter_common.ml
394ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
395  OCAMLC http_getter.mli
396ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
397  OCAMLOPT http_getter.ml
398ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
399  OCAMLOPT -a getter.cmxa
400ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
401make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/getter'
402make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/library'
403  OCAMLC librarian.mli
404ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
405  OCAMLOPT librarian.ml
406ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
407  OCAMLC libraryMisc.mli
408ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
409  OCAMLOPT libraryMisc.ml
410ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
411  OCAMLC libraryClean.mli
412ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
413  OCAMLOPT libraryClean.ml
414ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
415  OCAMLOPT -a library.cmxa
416ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
417make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/library'
418make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/content'
419  OCAMLOPT notationPt.ml
420ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
421  OCAMLC content.mli
422ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
423  OCAMLOPT content.ml
424ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
425  OCAMLC notationUtil.mli
426ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
427  OCAMLOPT notationUtil.ml
428ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
429  OCAMLC notationEnv.mli
430ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
431  OCAMLOPT notationEnv.ml
432ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
433  OCAMLC notationPp.mli
434ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
435  OCAMLOPT notationPp.ml
436ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
437  OCAMLOPT -a content.cmxa
438ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
439make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/content'
440make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite'
441  OCAMLOPT grafiteAst.ml
442ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
443  OCAMLC grafiteAstPp.mli
444ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
445  OCAMLOPT grafiteAstPp.ml
446ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
447File "grafiteAstPp.ml", line 112, characters 23-183:
448Warning 8: this pattern-matching is not exhaustive.
449Here is an example of a value that is not matched:
450(NIntroGuess _|NAutoInteractive (_, _))
451  OCAMLOPT -a grafite.cmxa
452ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
453make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite'
454make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_refiner'
455  OCAMLC nDiscriminationTree.mli
456ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
457  OCAMLOPT nDiscriminationTree.ml
458ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
459  OCAMLC nCicMetaSubst.mli
460ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
461  OCAMLOPT nCicMetaSubst.ml
462ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
463File "nCicMetaSubst.ml", line 56, characters 58-60:
464Warning 27: unused variable hd.
465File "nCicMetaSubst.ml", line 529, characters 8-44:
466Warning 12: this sub-pattern is unused.
467  OCAMLC nCicUnifHint.mli
468ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
469  OCAMLOPT nCicUnifHint.ml
470ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
471File "nCicUnifHint.ml", line 346, characters 6-9:
472Warning 26: unused variable fmt.
473File "nCicUnifHint.ml", line 338, characters 19-24:
474Warning 26: unused variable concl.
475File "nCicUnifHint.ml", line 338, characters 6-17:
476Warning 26: unused variable recproblems.
477File "nCicUnifHint.ml", line 331, characters 6-13:
478Warning 27: unused variable context.
479File "nCicUnifHint.ml", line 330, characters 14-15:
480Warning 27: unused variable p.
481File "nCicUnifHint.ml", line 403, characters 23-24:
482Warning 27: unused variable l.
483File "nCicUnifHint.ml", line 407, characters 20-21:
484Warning 27: unused variable y.
485File "nCicUnifHint.ml", line 407, characters 17-18:
486Warning 27: unused variable x.
487  OCAMLC nCicCoercion.mli
488ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
489  OCAMLOPT nCicCoercion.ml
490ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
491  OCAMLC nCicRefineUtil.mli
492ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
493  OCAMLOPT nCicRefineUtil.ml
494ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
495  OCAMLC nCicUnification.mli
496ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
497  OCAMLOPT nCicUnification.ml
498ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
499  OCAMLC nCicRefiner.mli
500ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
501  OCAMLOPT nCicRefiner.ml
502ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
503File "nCicRefiner.ml", line 609, characters 17-31:
504Warning 26: unused variable constructorsno.
505File "nCicRefiner.ml", line 606, characters 56-62:
506Warning 27: unused variable leftno.
507File "nCicRefiner.ml", line 606, characters 28-31:
508Warning 27: unused variable uri.
509File "nCicRefiner.ml", line 697, characters 47-53:
510Warning 27: unused variable leftno.
511File "nCicRefiner.ml", line 714, characters 20-30:
512Warning 26: unused variable has_rights.
513File "nCicRefiner.ml", line 816, characters 16-22:
514Warning 27: unused variable left_p.
515File "nCicRefiner.ml", line 601, characters 59-65:
516Warning 27: unused variable leftno.
517File "nCicRefiner.ml", line 601, characters 54-58:
518Warning 27: unused variable tyno.
519File "nCicRefiner.ml", line 927, characters 7-11:
520Warning 27: unused variable exc2.
521File "nCicRefiner.ml", line 1308, characters 20-49:
522Warning 26: unused variable t.
523File "nCicRefiner.ml", line 549, characters 11-17:
524Warning 11: this match case is unused.
525File "nCicRefiner.ml", line 584, characters 11-17:
526Warning 11: this match case is unused.
527  OCAMLOPT -a ng_refiner.cmxa
528ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
529make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_refiner'
530make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_library'
531  OCAMLC nCicLibrary.mli
532ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
533  OCAMLOPT nCicLibrary.ml
534ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
535  OCAMLOPT -a ng_library.cmxa
536ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
537make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_library'
538make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_cic_content'
539  OCAMLC ncic2astMatcher.mli
540ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
541  OCAMLOPT ncic2astMatcher.ml
542ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
543  OCAMLC interpretations.mli
544ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
545  OCAMLOPT interpretations.ml
546ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
547  OCAMLOPT -a ng_cic_content.cmxa
548ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
549make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_cic_content'
550make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/disambiguation'
551  OCAMLC -rectypes disambiguateTypes.mli
552ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
553  OCAMLOPT -rectypes disambiguateTypes.ml
554ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
555  OCAMLC disambiguate.mli
556ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
557  OCAMLOPT disambiguate.ml
558ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
559File "disambiguate.ml", line 449, characters 10-41:
560Warning 26: unused variable node.
561  OCAMLC multiPassDisambiguator.mli
562ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
563  OCAMLOPT multiPassDisambiguator.ml
564ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
565  OCAMLOPT -a disambiguation.cmxa
566ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
567make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/disambiguation'
568make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_disambiguation'
569  OCAMLC nnumber_notation.mli
570ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
571  OCAMLOPT nnumber_notation.ml
572ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
573  OCAMLC disambiguateChoices.mli
574ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
575  OCAMLOPT disambiguateChoices.ml
576ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
577  OCAMLC nCicDisambiguate.mli
578ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
579  OCAMLOPT nCicDisambiguate.ml
580ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
581  OCAMLC grafiteDisambiguate.mli
582ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
583  OCAMLOPT grafiteDisambiguate.ml
584ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
585  OCAMLOPT -a ng_disambiguation.cmxa
586ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
587make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_disambiguation'
588make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_paramodulation'
589  OCAMLC terms.mli
590ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
591  OCAMLOPT terms.ml
592ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
593  OCAMLC pp.mli
594ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
595  OCAMLOPT pp.ml
596ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
597  OCAMLC foSubst.mli
598ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
599  OCAMLOPT foSubst.ml
600ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
601  OCAMLC orderings.mli
602ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
603  OCAMLOPT orderings.ml
604ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
605  OCAMLC foUtils.mli
606ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
607  OCAMLOPT foUtils.ml
608ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
609  OCAMLC foUnif.mli
610ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
611  OCAMLOPT foUnif.ml
612ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
613  OCAMLC index.mli
614ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
615  OCAMLOPT index.ml
616ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
617  OCAMLC superposition.mli
618ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
619  OCAMLOPT superposition.ml
620ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
621  OCAMLC stats.mli
622ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
623  OCAMLOPT stats.ml
624ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
625  OCAMLC paramod.mli
626ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
627  OCAMLOPT paramod.ml
628ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
629File "paramod.ml", line 497, characters 8-18:
630Warning 26: unused variable g_passives.
631File "paramod.ml", line 566, characters 35-40:
632Warning 20: this argument will not be used by the function.
633File "paramod.ml", line 603, characters 38-43:
634Warning 20: this argument will not be used by the function.
635  OCAMLC nCicBlob.mli
636ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
637  OCAMLOPT nCicBlob.ml
638ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
639  OCAMLC nCicProof.mli
640ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
641  OCAMLOPT nCicProof.ml
642ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
643File "nCicProof.ml", line 183, characters 22-23:
644Warning 26: unused variable f.
645File "nCicProof.ml", line 204, characters 8-15:
646Warning 26: unused variable compose.
647  OCAMLC nCicParamod.mli
648ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
649  OCAMLOPT nCicParamod.ml
650ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
651  OCAMLOPT -a ng_paramodulation.cmxa
652ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
653make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_paramodulation'
654make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/content_pres'
655  OCAMLC renderingAttrs.mli
656ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
657  OCAMLOPT renderingAttrs.ml
658ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
659  OCAMLC cicNotationLexer.mli
660ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
661  OCAMLOPT cicNotationLexer.ml
662ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
663  OCAMLC cicNotationParser.mli
664ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
665  OCAMLOPT cicNotationParser.ml
666ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
667  OCAMLC mpresentation.mli
668ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
669  OCAMLOPT mpresentation.ml
670ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
671  OCAMLC box.mli
672ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
673  OCAMLOPT box.ml
674ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
675  OCAMLC content2presMatcher.mli
676ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
677  OCAMLOPT content2presMatcher.ml
678ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
679  OCAMLC termContentPres.mli
680ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
681  OCAMLOPT termContentPres.ml
682ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
683  OCAMLC cicNotationPres.mli
684ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
685  OCAMLOPT cicNotationPres.ml
686ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
687  OCAMLC boxPp.mli
688ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
689  OCAMLOPT boxPp.ml
690ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
691  OCAMLC content2pres.mli
692ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
693  OCAMLOPT content2pres.ml
694ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
695  OCAMLOPT -a content_pres.cmxa
696ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
697make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/content_pres'
698make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite_parser'
699  OCAMLC grafiteParser.mli
700ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
701  OCAMLOPT grafiteParser.ml
702ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
703  OCAMLC print_grammar.mli
704ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
705  OCAMLOPT print_grammar.ml
706ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
707  OCAMLOPT -a grafite_parser.cmxa
708ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
709make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite_parser'
710make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_tactics'
711  OCAMLC continuationals.mli
712ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
713  OCAMLOPT continuationals.ml
714ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
715  OCAMLC nCicTacReduction.mli
716ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
717  OCAMLOPT nCicTacReduction.ml
718ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
719  OCAMLC nTacStatus.mli
720ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
721  OCAMLOPT nTacStatus.ml
722ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
723  OCAMLC nCicElim.mli
724ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
725  OCAMLOPT nCicElim.ml
726ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
727  OCAMLC nTactics.mli
728ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
729  OCAMLOPT nTactics.ml
730ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
731  OCAMLC nnAuto.mli
732ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
733  OCAMLOPT nnAuto.ml
734ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
735File "nnAuto.ml", line 1013, characters 8-17:
736Warning 26: unused variable old_og_no.
737File "nnAuto.ml", line 1209, characters 6-9:
738Warning 26: unused variable sm1.
739  OCAMLC nDestructTac.mli
740ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
741  OCAMLOPT nDestructTac.ml
742ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
743File "nDestructTac.ml", line 485, characters 10-12:
744Warning 26: unused variable x'.
745  OCAMLC nInversion.mli
746ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
747  OCAMLOPT nInversion.ml
748ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
749  OCAMLOPT -a ng_tactics.cmxa
750ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
751make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_tactics'
752make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite_engine'
753  OCAMLC grafiteTypes.mli
754ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
755  OCAMLOPT grafiteTypes.ml
756ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
757  OCAMLC nCicCoercDeclaration.mli
758ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
759  OCAMLOPT nCicCoercDeclaration.ml
760ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
761  OCAMLC grafiteEngine.mli
762ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
763  OCAMLOPT grafiteEngine.ml
764ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
765  OCAMLOPT -a grafite_engine.cmxa
766ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
767make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite_engine'
768make[2]: Leaving directory `/tmp/newmatita/pacchetto/matita/components'
769make -C matita world DESTDIR=
770make[2]: Entering directory `/tmp/newmatita/pacchetto/matita/matita'
771  OCAMLDEP -native
772  OCAMLOPT buildTimeConf.ml
773ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
774  OCAMLOPT matitaGeneratedGui.ml
775ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
776  OCAMLC lablGraphviz.mli
777ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
778  OCAMLOPT lablGraphviz.ml
779ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
780  OCAMLC matitaTypes.mli
781ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
782  OCAMLOPT matitaTypes.ml
783ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
784  OCAMLC applyTransformation.mli
785ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
786  OCAMLC matitaGuiTypes.mli
787ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
788  OCAMLC matitaMisc.mli
789ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
790  OCAMLOPT matitaMisc.ml
791ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
792  OCAMLOPT applyTransformation.ml
793ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
794  OCAMLC matitaEngine.mli
795ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
796  OCAMLOPT matitaEngine.ml
797ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
798  OCAMLC matitaExcPp.mli
799ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
800  OCAMLOPT matitaExcPp.ml
801ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
802  OCAMLC matitaInit.mli
803ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
804  OCAMLOPT matitaInit.ml
805ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
806  OCAMLC matitaGtkMisc.mli
807ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
808  OCAMLOPT matitaGtkMisc.ml
809ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
810  OCAMLC virtuals.mli
811ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
812  OCAMLOPT virtuals.ml
813ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
814  OCAMLC cicMathView.mli
815ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
816  OCAMLOPT cicMathView.ml
817ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
818File "cicMathView.ml", line 177, characters 4-14:
819Warning 26: unused variable text_width.
820File "cicMathView.ml", line 693, characters 47-62:
821Warning 26: unused variable ofn.
822  OCAMLC predefined_virtuals.mli
823ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
824  OCAMLOPT predefined_virtuals.ml
825ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
826  OCAMLC matitaMathView.mli
827ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
828  OCAMLOPT matitaMathView.ml
829ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
830File "matitaMathView.ml", line 487, characters 11-14:
831Warning 26: unused variable fmt.
832File "matitaMathView.ml", line 245, characters 6-9:
833Warning 26: unused variable gui.
834  OCAMLC matitaScript.mli
835ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
836  OCAMLOPT matitaScript.ml
837ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
838  OCAMLC matitaGui.mli
839ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
840  OCAMLOPT matitaGui.ml
841ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
842  OCAMLOPT matita.ml
843ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
844  OCAMLC matitaclean.mli
845ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
846  OCAMLOPT matitaclean.ml
847ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
848  OCAMLOPT matitac.ml
849ocamlfind: [WARNING] Cannot read directory /usr/local/lib/ocaml/3.12.1/stublibs which is mentioned in ld.conf
850make[2]: Leaving directory `/tmp/newmatita/pacchetto/matita/matita'
851make[1]: Leaving directory `/tmp/newmatita/pacchetto/matita'
852   dh_auto_test
853 fakeroot debian/rules binary
854dh binary
855   dh_testroot
856   dh_prep
857   dh_installdirs
858   debian/rules override_dh_auto_install
859make[1]: Entering directory `/tmp/newmatita/pacchetto/matita'
860dh_auto_install --destdir=debian/tmp
861make[2]: Entering directory `/tmp/newmatita/pacchetto/matita'
862make -C components install-indep DESTDIR=/tmp/newmatita/pacchetto/matita/debian/tmp
863make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components'
864make[3]: Nothing to be done for `install-indep'.
865make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components'
866make -C matita install-indep DESTDIR=/tmp/newmatita/pacchetto/matita/debian/tmp
867make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/matita'
868make[3]: Nothing to be done for `install-indep'.
869make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/matita'
870make -C components install-arch DESTDIR=/tmp/newmatita/pacchetto/matita/debian/tmp
871make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/components'
872make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/extlib'
873make[4]: Nothing to be done for `install'.
874make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/extlib'
875make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/xml'
876make[4]: Nothing to be done for `install'.
877make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/xml'
878make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/registry'
879make[4]: Nothing to be done for `install'.
880make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/registry'
881ocamlfind: Package `helm-utf8_macros' not found
882make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
883../Makefile.common:74: warning: overriding commands for target `test'
884Makefile:40: warning: ignoring old commands for target `test'
885make[4]: Nothing to be done for `install'.
886make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/syntax_extensions'
887make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/thread'
888make[4]: Nothing to be done for `install'.
889make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/thread'
890make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/logger'
891make[4]: Nothing to be done for `install'.
892make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/logger'
893make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_kernel'
894make[4]: Nothing to be done for `install'.
895make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_kernel'
896make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_extraction'
897make[4]: Nothing to be done for `install'.
898make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_extraction'
899make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/getter'
900make[4]: Nothing to be done for `install'.
901make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/getter'
902make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/library'
903make[4]: Nothing to be done for `install'.
904make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/library'
905make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/content'
906make[4]: Nothing to be done for `install'.
907make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/content'
908make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite'
909make[4]: Nothing to be done for `install'.
910make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite'
911make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_refiner'
912make[4]: Nothing to be done for `install'.
913make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_refiner'
914make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_library'
915make[4]: Nothing to be done for `install'.
916make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_library'
917make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_cic_content'
918make[4]: Nothing to be done for `install'.
919make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_cic_content'
920make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/disambiguation'
921make[4]: Nothing to be done for `install'.
922make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/disambiguation'
923make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_disambiguation'
924make[4]: Nothing to be done for `install'.
925make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_disambiguation'
926make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_paramodulation'
927make[4]: Nothing to be done for `install'.
928make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_paramodulation'
929make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/content_pres'
930make[4]: Nothing to be done for `install'.
931make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/content_pres'
932make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite_parser'
933make[4]: Nothing to be done for `install'.
934make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite_parser'
935make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/ng_tactics'
936make[4]: Nothing to be done for `install'.
937make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/ng_tactics'
938make[4]: Entering directory `/tmp/newmatita/pacchetto/matita/components/grafite_engine'
939make[4]: Nothing to be done for `install'.
940make[4]: Leaving directory `/tmp/newmatita/pacchetto/matita/components/grafite_engine'
941make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/components'
942make -C matita install-arch DESTDIR=/tmp/newmatita/pacchetto/matita/debian/tmp
943make[3]: Entering directory `/tmp/newmatita/pacchetto/matita/matita'
944make[3]: Leaving directory `/tmp/newmatita/pacchetto/matita/matita'
945make[2]: Leaving directory `/tmp/newmatita/pacchetto/matita'
946cp matita/matita.byte debian/matita/usr/bin/ || true
947cp: cannot stat `matita/matita.byte': No such file or directory
948cp matita/matitac.byte debian/matita/usr/bin/ || true
949cp: cannot stat `matita/matitac.byte': No such file or directory
950cp matita/matita.opt debian/matita/usr/bin/ || true
951cp matita/matitac.opt debian/matita/usr/bin/ || true
952mkdir -p debian/tmp/usr/share/man/man1/
953MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
954        help2man --name="Matita interative theorem prover - batch compiler" -N \
955                debian/tmp/usr/share/matita/matitac \
956                | gzip -9 > debian/tmp/usr/share/man/man1/matitac.1.gz
957MATITA_RT_BASE_DIR=debian/tmp/usr/share/matita/ \
958        help2man --name="Matita interative theorem prover - cleanup tool" -N \
959                debian/tmp/usr/share/matita/matitaclean \
960                | gzip -9 > debian/tmp/usr/share/man/man1/matitaclean.1.gz
961if [ -e  debian/tmp/usr/share/matita/matitac.opt ]; then\
962                ln -s /usr/share/man/man1/matitac.1.gz \
963                        debian/tmp/usr/share/man/man1/matitac.opt.1.gz;\
964        fi
965# install .opt .byte (symlinks are installed with .install
966mkdir -p debian/matita/usr/bin/
967# make depend on the interpreter if needed
968if [ ! -e matita/matitac.opt ]; then \
969                echo "interpreter:Depends=ocaml-base-nox-3.12.1" \
970                        >> debian/matita.substvars; \
971        else \
972                echo "interpreter:Depends=" \
973                        >> debian/matita.substvars; \
974        fi
975make[1]: Leaving directory `/tmp/newmatita/pacchetto/matita'
976   dh_install
977   dh_installdocs
978   dh_installchangelogs
979   dh_installexamples
980   dh_installman
981   dh_installcatalogs
982   dh_installcron
983   dh_installdebconf
984   dh_installemacsen
985   dh_installifupdown
986   dh_installinfo
987   dh_pysupport
988dh_pysupport: This program is deprecated, you should use dh_python2 instead. Migration guide: http://deb.li/dhs2p
989   dh_installinit
990   dh_installmenu
991   dh_installmime
992   dh_installmodules
993   dh_installlogcheck
994   dh_installlogrotate
995   dh_installpam
996   dh_installppp
997   dh_installudev
998   dh_installwm
999   dh_installxfonts
1000   dh_installgsettings
1001   dh_bugfiles
1002   dh_ucf
1003   dh_lintian
1004   dh_gconf
1005   dh_icons
1006   dh_perl
1007   dh_usrlocal
1008   dh_link
1009   dh_compress
1010   dh_fixperms
1011   dh_strip
1012   dh_makeshlibs
1013   dh_shlibdeps
1014dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt was not linked against libfontconfig.so.1 (it uses none of the library's symbols)
1015dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt was not linked against libatk-1.0.so.0 (it uses none of the library's symbols)
1016dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt debian/matita/usr/bin/matitac.opt were not linked against librt.so.1 (they use none of the library's symbols)
1017dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt was not linked against libxml2.so.2 (it uses none of the library's symbols)
1018dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt was not linked against libgio-2.0.so.0 (it uses none of the library's symbols)
1019dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt was not linked against libcairo.so.2 (it uses none of the library's symbols)
1020dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt was not linked against libpangocairo-1.0.so.0 (it uses none of the library's symbols)
1021dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt was not linked against libfreetype.so.6 (it uses none of the library's symbols)
1022dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/matita/usr/bin/matita.opt was not linked against libpangoft2-1.0.so.0 (it uses none of the library's symbols)
1023   dh_installdeb
1024   dh_gencontrol
1025   dh_md5sums
1026   dh_builddeb
1027dpkg-deb: building package `matita' in `../matita_0.99.2-1_amd64.deb'.
1028 dpkg-genchanges  >../matita_0.99.2-1_amd64.changes
1029dpkg-genchanges: including full source code in upload
1030 dpkg-source -i -I --after-build matita
1031dpkg-source: info: using options from matita/debian/source/local-options: --abort-on-upstream-changes --unapply-patches
1032dpkg-source: info: unapplying configure
1033dpkg-buildpackage: full upload (original source is included)
1034Now running lintian...
1035W: matita source: source-nmu-has-incorrect-version-number 0.99.2-1
1036W: matita source: ancient-standards-version 3.8.3 (current is 3.9.4)
1037W: matita: hardening-no-relro usr/bin/matita.opt
1038W: matita: hardening-no-fortify-functions usr/bin/matita.opt
1039W: matita: hardening-no-relro usr/bin/matitac.opt
1040W: matita: hardening-no-fortify-functions usr/bin/matitac.opt
1041W: matita: extra-license-file usr/share/matita/LICENSE
1042W: matita: extra-license-file usr/share/matita/help/C/sec_license.xml
1043W: matita: binary-without-manpage usr/bin/matita
1044W: matita: binary-without-manpage usr/bin/matita.opt
1045W: matita: script-not-executable usr/share/matita/lib/formal_topology/replace.sh
1046Finished running lintian.
Note: See TracBrowser for help on using the repository browser.