Coccinelle release 0.2.5-rc3
[bpt/coccinelle.git] / output
1 Script started on 2011-01-09T21:02:36 CET
2 \e[1;31mhadrien:\e[1;34m~/coccinelle-release:\e[0m make package
3 Makefile.config is missing. Have you run ./configure?
4 make package-src
5 make[1]: Entering directory `/home/jll/coccinelle-release'
6 Makefile.config is missing. Have you run ./configure?
7 make distclean # Clean project
8 make[2]: Entering directory `/home/jll/coccinelle-release'
9 Makefile.config is missing. Have you run ./configure?
10 if [ -d tools ] ; then make -C tools distclean ; fi
11 make[3]: Entering directory `/home/jll/coccinelle-release/tools'
12 rm -f spp gitgrep splitpatch extract_c_and_res
13 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
14 rm -f .depend
15 make[3]: Leaving directory `/home/jll/coccinelle-release/tools'
16 make -C docs distclean
17 make[3]: Entering directory `/home/jll/coccinelle-release/docs'
18 rm -f spatch.1
19 make -C manual distclean
20 make[4]: Entering directory `/home/jll/coccinelle-release/docs/manual'
21 rm -f *.aux *.dvi *.haux *.htoc *.log *.out *~
22 rm -f main-diff.*
23 rm -f *.aux \
24 *.bbl \
25 *.blg \
26 *.dvi \
27 *.log \
28 *.out \
29 *.toc
30 rm -f manual.pdf cocci_syntax.pdf options.pdf
31 rm -f *.pdf *.html *.gif *.css
32 make[4]: Leaving directory `/home/jll/coccinelle-release/docs/manual'
33 make[3]: Leaving directory `/home/jll/coccinelle-release/docs'
34 set -e; for i in pycaml ocamlsexp commons globals menhirlib ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do make -C $i clean; done
35 make[3]: Entering directory `/home/jll/coccinelle-release/pycaml'
36 rm -f pycaml.customtop
37 rm -f *.cm[aiox] *.a
38 rm -f pycaml pycaml.top pycaml.cmi pycaml.cmo pycaml.cmx pycaml.asm pycaml.s pycaml.o pycaml_ml.o pycaml.cma pycaml.cmxa pycaml.a pycaml.cmi pycaml.cmo pycaml.cmi pycaml.cmx pycaml.o libpycaml_stubs.a pycaml.annot .cmi .cmo .cmx .o dllpycaml_stubs.so
39 rm -rf ._bcdi ._ncdi ._d
40 make[3]: Leaving directory `/home/jll/coccinelle-release/pycaml'
41 make[3]: Entering directory `/home/jll/coccinelle-release/ocamlsexp'
42 rm -f sexplib.top
43 rm -f lexer.ml
44 rm -f parser.ml parser.mli parser.output
45 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
46 rm -f *~ .*~ gmon.out #*#
47 make[3]: Leaving directory `/home/jll/coccinelle-release/ocamlsexp'
48 make[3]: Entering directory `/home/jll/coccinelle-release/commons'
49 rm -f commons.top
50 rm -f dllcommons_backtrace.so
51 rm -f gmon.out
52 rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot
53 rm -f *~ .*~ #*#
54 for i in ocamlextra ocollection; do (cd $i; \
55 rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot *~ .*~ ; \
56 cd ..; ) \
57 done
58 make[3]: Leaving directory `/home/jll/coccinelle-release/commons'
59 make[3]: Entering directory `/home/jll/coccinelle-release/globals'
60 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
61 rm -f *~ .*~ gmon.out #*#
62 make[3]: Leaving directory `/home/jll/coccinelle-release/globals'
63 make[3]: Entering directory `/home/jll/coccinelle-release/menhirlib'
64 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
65 rm -f *~ .*~ gmon.out #*#
66 make[3]: Leaving directory `/home/jll/coccinelle-release/menhirlib'
67 make[3]: Entering directory `/home/jll/coccinelle-release/ctl'
68 rm -f ctl.cma ctl.cmxa ctl.a ctl.top
69 rm -f *.cm[iox] *.o *.annot
70 rm -f *~ .*~ #*#
71 make[3]: Leaving directory `/home/jll/coccinelle-release/ctl'
72 make[3]: Entering directory `/home/jll/coccinelle-release/parsing_cocci'
73 rm -f cocci_parser.cma
74 rm -f cocci_parser.cmxa cocci_parser.a
75 rm -f cocci_parser
76 rm -f *.cm[iox] *.o *.annot
77 rm -f *~ .*~ #*#
78 make[3]: Leaving directory `/home/jll/coccinelle-release/parsing_cocci'
79 make[3]: Entering directory `/home/jll/coccinelle-release/parsing_c'
80 rm -f parsing_c.top
81 rm -f lexer_c.ml
82 rm -f parser_c.ml parser_c.mli parser_c.output
83 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
84 rm -f *~ .*~ gmon.out #*#
85 make[3]: Leaving directory `/home/jll/coccinelle-release/parsing_c'
86 make[3]: Entering directory `/home/jll/coccinelle-release/engine'
87 rm -f cocciengine.top
88 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
89 rm -f *~ .*~ gmon.out #*#
90 make[3]: Leaving directory `/home/jll/coccinelle-release/engine'
91 make[3]: Entering directory `/home/jll/coccinelle-release/popl09'
92 rm -f popl.cma popl.top
93 rm -f popl.cmxa popl.a
94 rm -f *.cm[iox] *.o *.annot
95 rm -f *~ .*~ #*#
96 make[3]: Leaving directory `/home/jll/coccinelle-release/popl09'
97 make[3]: Entering directory `/home/jll/coccinelle-release/extra'
98 rm -f extra.byte extra.opt rm -f extra.top
99 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
100 rm -f *~ .*~ gmon.out #*#
101 make[3]: Leaving directory `/home/jll/coccinelle-release/extra'
102 make[3]: Entering directory `/home/jll/coccinelle-release/python'
103 rm -f coccipython.cma
104 rm -f coccipython.cmxa coccipython.a
105 rm -f coccipython
106 rm -f coccipython.byte
107 rm -f
108 rm -f *.cm[iox] *.o *.annot
109 rm -f *~ .*~ #*#
110 make[3]: Leaving directory `/home/jll/coccinelle-release/python'
111 make[3]: Entering directory `/home/jll/coccinelle-release/ocaml'
112 rm -f cocciocaml.top
113 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
114 rm -f *~ .*~ gmon.out #*#
115 make[3]: Leaving directory `/home/jll/coccinelle-release/ocaml'
116 make -C demos/spp clean
117 make[3]: Entering directory `/home/jll/coccinelle-release/demos/spp'
118 rm -f test.o test.c.i test2.o test2.c.i
119 make[3]: Leaving directory `/home/jll/coccinelle-release/demos/spp'
120 rm -f spatch spatch.opt spatch.top
121 make -C docs clean
122 make[3]: Entering directory `/home/jll/coccinelle-release/docs'
123 rm -f spatch.1
124 make -C manual clean
125 make[4]: Entering directory `/home/jll/coccinelle-release/docs/manual'
126 rm -f *.aux *.dvi *.haux *.htoc *.log *.out *~
127 rm -f main-diff.*
128 rm -f *.aux \
129 *.bbl \
130 *.blg \
131 *.dvi \
132 *.log \
133 *.out \
134 *.toc
135 make[4]: Leaving directory `/home/jll/coccinelle-release/docs/manual'
136 make[3]: Leaving directory `/home/jll/coccinelle-release/docs'
137 rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt
138 rm -f gmon.out
139 rm -f *.cm[iox] *.o *.annot
140 rm -f *~ .*~ *.exe #*#
141 set -e; for i in commons globals ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do make -C $i distclean; done
142 make[3]: Entering directory `/home/jll/coccinelle-release/commons'
143 rm -f .depend
144 make[3]: Leaving directory `/home/jll/coccinelle-release/commons'
145 make[3]: Entering directory `/home/jll/coccinelle-release/globals'
146 rm -f .depend
147 make[3]: Leaving directory `/home/jll/coccinelle-release/globals'
148 make[3]: Entering directory `/home/jll/coccinelle-release/ctl'
149 rm -f .depend
150 make[3]: Leaving directory `/home/jll/coccinelle-release/ctl'
151 make[3]: Entering directory `/home/jll/coccinelle-release/parsing_cocci'
152 rm -f lexer_cocci.ml lexer_script.ml parser_cocci_menhir.ml parser_cocci_menhir.mli
153 rm -f .depend
154 make[3]: Leaving directory `/home/jll/coccinelle-release/parsing_cocci'
155 make[3]: Entering directory `/home/jll/coccinelle-release/parsing_c'
156 rm -f .depend
157 rm -f .depend
158 make[3]: Leaving directory `/home/jll/coccinelle-release/parsing_c'
159 make[3]: Entering directory `/home/jll/coccinelle-release/engine'
160 rm -f .depend
161 make[3]: Leaving directory `/home/jll/coccinelle-release/engine'
162 make[3]: Entering directory `/home/jll/coccinelle-release/popl09'
163 rm -f .depend
164 make[3]: Leaving directory `/home/jll/coccinelle-release/popl09'
165 make[3]: Entering directory `/home/jll/coccinelle-release/extra'
166 rm -f .depend
167 make[3]: Leaving directory `/home/jll/coccinelle-release/extra'
168 make[3]: Entering directory `/home/jll/coccinelle-release/python'
169 make -C coccilib distclean
170 make[4]: Entering directory `/home/jll/coccinelle-release/python/coccilib'
171 set -e; for i in coccigui; do make -C $i clean; done
172 make[5]: Entering directory `/home/jll/coccinelle-release/python/coccilib/coccigui'
173 rm -f *.pyc
174 make[5]: Leaving directory `/home/jll/coccinelle-release/python/coccilib/coccigui'
175 rm -f *.pyc
176 make[4]: Leaving directory `/home/jll/coccinelle-release/python/coccilib'
177 rm -f .depend
178 rm -f pycocci.ml
179 make[3]: Leaving directory `/home/jll/coccinelle-release/python'
180 make[3]: Entering directory `/home/jll/coccinelle-release/ocaml'
181 rm -f .depend
182 make[3]: Leaving directory `/home/jll/coccinelle-release/ocaml'
183 rm -f .depend
184 rm -f Makefile.config
185 rm -f globals/config.ml
186 rm -f TAGS
187 rm -f tests/SCORE_actual.sexp
188 rm -f tests/SCORE_best_of_both.sexp
189 find -name ".#*1.*" | xargs rm -f
190 make[2]: Leaving directory `/home/jll/coccinelle-release'
191 make srctar
192 make[2]: Entering directory `/home/jll/coccinelle-release'
193 Makefile.config is missing. Have you run ./configure?
194 make distclean
195 make[3]: Entering directory `/home/jll/coccinelle-release'
196 Makefile.config is missing. Have you run ./configure?
197 if [ -d tools ] ; then make -C tools distclean ; fi
198 make[4]: Entering directory `/home/jll/coccinelle-release/tools'
199 rm -f spp gitgrep splitpatch extract_c_and_res
200 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
201 rm -f .depend
202 make[4]: Leaving directory `/home/jll/coccinelle-release/tools'
203 make -C docs distclean
204 make[4]: Entering directory `/home/jll/coccinelle-release/docs'
205 rm -f spatch.1
206 make -C manual distclean
207 make[5]: Entering directory `/home/jll/coccinelle-release/docs/manual'
208 rm -f *.aux *.dvi *.haux *.htoc *.log *.out *~
209 rm -f main-diff.*
210 rm -f *.aux \
211 *.bbl \
212 *.blg \
213 *.dvi \
214 *.log \
215 *.out \
216 *.toc
217 rm -f manual.pdf cocci_syntax.pdf options.pdf
218 rm -f *.pdf *.html *.gif *.css
219 make[5]: Leaving directory `/home/jll/coccinelle-release/docs/manual'
220 make[4]: Leaving directory `/home/jll/coccinelle-release/docs'
221 set -e; for i in pycaml ocamlsexp commons globals menhirlib ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do make -C $i clean; done
222 make[4]: Entering directory `/home/jll/coccinelle-release/pycaml'
223 rm -f pycaml.customtop
224 rm -f *.cm[aiox] *.a
225 rm -f pycaml pycaml.top pycaml.cmi pycaml.cmo pycaml.cmx pycaml.asm pycaml.s pycaml.o pycaml_ml.o pycaml.cma pycaml.cmxa pycaml.a pycaml.cmi pycaml.cmo pycaml.cmi pycaml.cmx pycaml.o libpycaml_stubs.a pycaml.annot .cmi .cmo .cmx .o dllpycaml_stubs.so
226 rm -rf ._bcdi ._ncdi ._d
227 make[4]: Leaving directory `/home/jll/coccinelle-release/pycaml'
228 make[4]: Entering directory `/home/jll/coccinelle-release/ocamlsexp'
229 rm -f sexplib.top
230 rm -f lexer.ml
231 rm -f parser.ml parser.mli parser.output
232 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
233 rm -f *~ .*~ gmon.out #*#
234 make[4]: Leaving directory `/home/jll/coccinelle-release/ocamlsexp'
235 make[4]: Entering directory `/home/jll/coccinelle-release/commons'
236 rm -f commons.top
237 rm -f dllcommons_backtrace.so
238 rm -f gmon.out
239 rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot
240 rm -f *~ .*~ #*#
241 for i in ocamlextra ocollection; do (cd $i; \
242 rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot *~ .*~ ; \
243 cd ..; ) \
244 done
245 make[4]: Leaving directory `/home/jll/coccinelle-release/commons'
246 make[4]: Entering directory `/home/jll/coccinelle-release/globals'
247 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
248 rm -f *~ .*~ gmon.out #*#
249 make[4]: Leaving directory `/home/jll/coccinelle-release/globals'
250 make[4]: Entering directory `/home/jll/coccinelle-release/menhirlib'
251 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
252 rm -f *~ .*~ gmon.out #*#
253 make[4]: Leaving directory `/home/jll/coccinelle-release/menhirlib'
254 make[4]: Entering directory `/home/jll/coccinelle-release/ctl'
255 ocamldep.opt -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend
256 make[4]: Leaving directory `/home/jll/coccinelle-release/ctl'
257 make[4]: Entering directory `/home/jll/coccinelle-release/ctl'
258 rm -f ctl.cma ctl.cmxa ctl.a ctl.top
259 rm -f *.cm[iox] *.o *.annot
260 rm -f *~ .*~ #*#
261 make[4]: Leaving directory `/home/jll/coccinelle-release/ctl'
262 make[4]: Entering directory `/home/jll/coccinelle-release/parsing_cocci'
263 ocamldep.opt -I ../commons -I ../commons/ocamlextra -I ../globals -I *.mli *.ml > .depend
264 Bad -I option: adjacency.mli: Not a directory
265 rm -f cocci_parser.cma
266 rm -f cocci_parser.cmxa cocci_parser.a
267 rm -f cocci_parser
268 rm -f *.cm[iox] *.o *.annot
269 rm -f *~ .*~ #*#
270 make[4]: Leaving directory `/home/jll/coccinelle-release/parsing_cocci'
271 make[4]: Entering directory `/home/jll/coccinelle-release/parsing_c'
272 rm -f parsing_c.top
273 rm -f lexer_c.ml
274 rm -f parser_c.ml parser_c.mli parser_c.output
275 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
276 rm -f *~ .*~ gmon.out #*#
277 make[4]: Leaving directory `/home/jll/coccinelle-release/parsing_c'
278 make[4]: Entering directory `/home/jll/coccinelle-release/engine'
279 rm -f cocciengine.top
280 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
281 rm -f *~ .*~ gmon.out #*#
282 make[4]: Leaving directory `/home/jll/coccinelle-release/engine'
283 make[4]: Entering directory `/home/jll/coccinelle-release/popl09'
284 ocamldep.opt -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend
285 make[4]: Leaving directory `/home/jll/coccinelle-release/popl09'
286 make[4]: Entering directory `/home/jll/coccinelle-release/popl09'
287 rm -f popl.cma popl.top
288 rm -f popl.cmxa popl.a
289 rm -f *.cm[iox] *.o *.annot
290 rm -f *~ .*~ #*#
291 make[4]: Leaving directory `/home/jll/coccinelle-release/popl09'
292 make[4]: Entering directory `/home/jll/coccinelle-release/extra'
293 rm -f extra.byte extra.opt rm -f extra.top
294 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
295 rm -f *~ .*~ gmon.out #*#
296 make[4]: Leaving directory `/home/jll/coccinelle-release/extra'
297 make[4]: Entering directory `/home/jll/coccinelle-release/python'
298 ocamldep.opt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci *.mli *.ml > .depend
299 make[4]: Leaving directory `/home/jll/coccinelle-release/python'
300 make[4]: Entering directory `/home/jll/coccinelle-release/python'
301 rm -f coccipython.cma
302 rm -f coccipython.cmxa coccipython.a
303 rm -f coccipython
304 rm -f coccipython.byte
305 rm -f
306 rm -f *.cm[iox] *.o *.annot
307 rm -f *~ .*~ #*#
308 make[4]: Leaving directory `/home/jll/coccinelle-release/python'
309 make[4]: Entering directory `/home/jll/coccinelle-release/ocaml'
310 rm -f cocciocaml.top
311 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
312 rm -f *~ .*~ gmon.out #*#
313 make[4]: Leaving directory `/home/jll/coccinelle-release/ocaml'
314 make -C demos/spp clean
315 make[4]: Entering directory `/home/jll/coccinelle-release/demos/spp'
316 rm -f test.o test.c.i test2.o test2.c.i
317 make[4]: Leaving directory `/home/jll/coccinelle-release/demos/spp'
318 rm -f spatch spatch.opt spatch.top
319 make -C docs clean
320 make[4]: Entering directory `/home/jll/coccinelle-release/docs'
321 rm -f spatch.1
322 make -C manual clean
323 make[5]: Entering directory `/home/jll/coccinelle-release/docs/manual'
324 rm -f *.aux *.dvi *.haux *.htoc *.log *.out *~
325 rm -f main-diff.*
326 rm -f *.aux \
327 *.bbl \
328 *.blg \
329 *.dvi \
330 *.log \
331 *.out \
332 *.toc
333 make[5]: Leaving directory `/home/jll/coccinelle-release/docs/manual'
334 make[4]: Leaving directory `/home/jll/coccinelle-release/docs'
335 rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt
336 rm -f gmon.out
337 rm -f *.cm[iox] *.o *.annot
338 rm -f *~ .*~ *.exe #*#
339 set -e; for i in commons globals ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do make -C $i distclean; done
340 make[4]: Entering directory `/home/jll/coccinelle-release/commons'
341 rm -f .depend
342 make[4]: Leaving directory `/home/jll/coccinelle-release/commons'
343 make[4]: Entering directory `/home/jll/coccinelle-release/globals'
344 rm -f .depend
345 make[4]: Leaving directory `/home/jll/coccinelle-release/globals'
346 make[4]: Entering directory `/home/jll/coccinelle-release/ctl'
347 rm -f .depend
348 make[4]: Leaving directory `/home/jll/coccinelle-release/ctl'
349 make[4]: Entering directory `/home/jll/coccinelle-release/parsing_cocci'
350 rm -f lexer_cocci.ml lexer_script.ml parser_cocci_menhir.ml parser_cocci_menhir.mli
351 rm -f .depend
352 make[4]: Leaving directory `/home/jll/coccinelle-release/parsing_cocci'
353 make[4]: Entering directory `/home/jll/coccinelle-release/parsing_c'
354 rm -f .depend
355 rm -f .depend
356 make[4]: Leaving directory `/home/jll/coccinelle-release/parsing_c'
357 make[4]: Entering directory `/home/jll/coccinelle-release/engine'
358 rm -f .depend
359 make[4]: Leaving directory `/home/jll/coccinelle-release/engine'
360 make[4]: Entering directory `/home/jll/coccinelle-release/popl09'
361 rm -f .depend
362 make[4]: Leaving directory `/home/jll/coccinelle-release/popl09'
363 make[4]: Entering directory `/home/jll/coccinelle-release/extra'
364 rm -f .depend
365 make[4]: Leaving directory `/home/jll/coccinelle-release/extra'
366 make[4]: Entering directory `/home/jll/coccinelle-release/python'
367 make -C coccilib distclean
368 make[5]: Entering directory `/home/jll/coccinelle-release/python/coccilib'
369 set -e; for i in coccigui; do make -C $i clean; done
370 make[6]: Entering directory `/home/jll/coccinelle-release/python/coccilib/coccigui'
371 rm -f *.pyc
372 make[6]: Leaving directory `/home/jll/coccinelle-release/python/coccilib/coccigui'
373 rm -f *.pyc
374 make[5]: Leaving directory `/home/jll/coccinelle-release/python/coccilib'
375 rm -f .depend
376 rm -f pycocci.ml
377 make[4]: Leaving directory `/home/jll/coccinelle-release/python'
378 make[4]: Entering directory `/home/jll/coccinelle-release/ocaml'
379 rm -f .depend
380 make[4]: Leaving directory `/home/jll/coccinelle-release/ocaml'
381 rm -f .depend
382 rm -f Makefile.config
383 rm -f globals/config.ml
384 rm -f TAGS
385 rm -f tests/SCORE_actual.sexp
386 rm -f tests/SCORE_best_of_both.sexp
387 find -name ".#*1.*" | xargs rm -f
388 make[3]: Leaving directory `/home/jll/coccinelle-release'
389 make docs
390 make[3]: Entering directory `/home/jll/coccinelle-release'
391 Makefile.config is missing. Have you run ./configure?
392 make -C docs
393 make[4]: Entering directory `/home/jll/coccinelle-release/docs'
394 sed "s|SHAREDIR||g" spatch.1.in > spatch.1
395 make -C manual all
396 make[5]: Entering directory `/home/jll/coccinelle-release/docs/manual'
397 pdflatex main.tex
398 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
399 restricted \write18 enabled.
400 entering extended mode
401 (./main.tex
402 LaTeX2e <2009/09/24>
403 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
404 yphenation, loaded.
405 (/usr/share/texmf-texlive/tex/latex/base/report.cls
406 Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
407 (/usr/share/texmf-texlive/tex/latex/base/size10.clo))
408 (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (./hevea.sty
409 (/usr/share/texmf-texlive/tex/latex/comment/comment.sty
410 Excluding comment 'comment') Excluding comment 'rawhtml'
411 Excluding comment 'htmlonly')
412 (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty)
413 (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
414 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
415 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
416 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu)
417 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu)
418 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu)))
419 (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
420 (/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
421 (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
422 For additional information on amsmath, use the `?' option.
423 (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
424 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
425 (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty)
426 (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty))
427 (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
428 (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty))
429 (/usr/share/texmf-texlive/tex/latex/ifsym/ifsym.sty
430 (/usr/share/texmf-texlive/tex/latex/tools/calc.sty))
431 (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
432 (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty)
433 (/etc/texmf/tex/latex/config/graphics.cfg)
434 (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def))
435 (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
436 (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty))
437 (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty)
438 (/usr/share/texmf-texlive/tex/latex/subfigure/subfigure.sty
439 ****************************************
440 * Local config file subfigure.cfg used *
441 ****************************************
442 (/usr/share/texmf-texlive/tex/latex/subfigure/subfigure.cfg))
443 (/usr/share/texmf-texlive/tex/latex/wrapfig/wrapfig.sty)
444 (/usr/share/texmf-texlive/tex/generic/xypic/xy.sty
445 (/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
446 docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex)
447 (/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex)
448
449 Xy-pic version 3.7 <1999/02/16>
450 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
451 Xy-pic is free software: see the User's Guide for details.
452
453 Loading kernel: messages; fonts; allocations: state, direction,
454 utility macros; pictures: \xy, positions, objects, decorations;
455 kernel objects: directionals, circles, text; options; algorithms: directions,
456 edges, connections; Xy-pic loaded)
457 (/usr/share/texmf-texlive/tex/generic/xypic/xyall.tex
458 Xy-pic option: All features v.3.3
459 (/usr/share/texmf-texlive/tex/generic/xypic/xycurve.tex
460 Xy-pic option: Curve and Spline extension v.3.7 curve, circles, loaded)
461 (/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex
462 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
463 (/usr/share/texmf-texlive/tex/generic/xypic/xycmtip.tex
464 Xy-pic option: Computer Modern tip extension v.3.3
465 (/usr/share/texmf-texlive/tex/generic/xypic/xytips.tex
466 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
467 (/usr/share/texmf-texlive/tex/generic/xypic/xyline.tex
468 Xy-pic option: Line styles extension v.3.6 loaded)
469 (/usr/share/texmf-texlive/tex/generic/xypic/xyrotate.tex
470 Xy-pic option: Rotate and Scale extension v.3.3 loaded)
471 (/usr/share/texmf-texlive/tex/generic/xypic/xycolor.tex
472 Xy-pic option: Colour extension v.3.3 loaded)
473 (/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex
474 Xy-pic option: Matrix feature v.3.4 loaded)
475 (/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex
476 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
477 (/usr/share/texmf-texlive/tex/generic/xypic/xygraph.tex
478 Xy-pic option: Graph feature v.3.7 loaded) loaded))
479 (/usr/share/texmf-texlive/tex/latex/fancyvrb/fancyvrb.sty
480 Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix
481 <2008/02/07> (tvz)) (/usr/share/texmf-texlive/tex/latex/moreverb/moreverb.sty
482 (/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty))
483 (/usr/share/texmf-texlive/tex/latex/base/alltt.sty)
484 (/usr/share/texmf-texlive/tex/latex/ltxmisc/boxedminipage.sty)
485 (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty)
486 (/usr/share/texmf-texlive/tex/latex/ltxmisc/endnotes.sty)
487 (/usr/share/texmf-texlive/tex/latex/multirow/multirow.sty)
488 (/usr/share/texmf-texlive/tex/latex/listings/listings.sty
489 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)
490 (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg))
491 (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
492 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty)
493 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty)
494 (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty)
495 (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
496 (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty))
497 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def)
498 (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
499 (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty))
500 (/etc/texmf/tex/latex/config/hyperref.cfg)
501 (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
502 (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty))
503 Implicit mode ON; LaTeX internals redefined
504 (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
505 (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
506 (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty)
507 (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
508 (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty
509 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty)
510 (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty))))
511 (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty))
512 *hyperref using default driver hpdftex*
513 (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def)
514 (/usr/share/texmf-texlive/tex/latex/graphics/color.sty
515 (/etc/texmf/tex/latex/config/color.cfg)
516 (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def))
517 (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex
518 (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty)
519 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty))
520 (./macros_grammar.tex) (./macros.tex)
521 No file main.aux.
522 (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd)
523 (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
524 [Loading MPS to PDF converter (version 2006.09.02).]
525 ) (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
526 (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty))
527 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd)
528 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fonts/m
529 ap/pdftex/updmap/pdftex.map}]pdfTeX warning (ext4): destination with the same i
530 dentifier (name{page.1}) has been already used, duplicate ignored
531 <to be read again>
532 \relax
533 l.116 \chapter
534 *{Foreword} [1]
535 (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd)
536
537 LaTeX Warning: Reference `part:usermanual' on page 2 undefined on input line 12
538 1.
539
540
541 LaTeX Warning: Reference `part:refmanual' on page 2 undefined on input line 122
542 .
543
544 (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd)
545 Underfull \hbox (badness 10000) in paragraph at lines 135--138
546
547 [2] [3] (./introduction.tex
548 Chapter 1.
549 ) (./installing.tex [4]
550 Chapter 2.
551 ) (./tutorial.tex [5]
552 Chapter 3.
553 ) [6]
554 Chapter 4.
555 (./examples.tex
556 Underfull \hbox (badness 10000) in paragraph at lines 11--16
557
558
559 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73
560 [][]
561 [7]
562 Underfull \hbox (badness 10000) in paragraph at lines 77--83
563
564 [8]
565 Underfull \hbox (badness 10000) in paragraph at lines 142--146
566
567
568 Underfull \hbox (badness 10000) in paragraph at lines 147--153
569
570
571 Underfull \hbox (badness 10000) in paragraph at lines 154--175
572
573
574 Underfull \hbox (badness 10000) in paragraph at lines 178--194
575
576 [9]
577 Underfull \hbox (badness 10000) in paragraph at lines 205--212
578
579
580 Underfull \hbox (badness 10000) in paragraph at lines 213--238
581
582 [10]
583 Underfull \hbox (badness 10000) in paragraph at lines 262--265
584
585 [11]
586 Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381
587 [][]
588 [12]
589 Underfull \hbox (badness 10000) in paragraph at lines 385--394
590
591
592 Underfull \hbox (badness 10000) in paragraph at lines 411--422
593
594 [13]
595 Underfull \hbox (badness 10000) in paragraph at lines 436--487
596
597 ) (./tips.tex
598 Overfull \hbox (6.12321pt too wide) in paragraph at lines 14--18
599 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/
600 n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r
601 eadb((foo))
602 [14]) (./isomorphisms.tex [15]
603 Chapter 5.
604 ) (./parsing.tex [16]
605 Chapter 6.
606 ) (./workflow.tex [17]
607 Chapter 7.
608 ) (./advanced.tex [18]
609 Chapter 8.
610 ) [19] [20]
611 Chapter 9.
612 (./cocci_syntax.tex (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd)
613 Overfull \hbox (6.40387pt too wide) in paragraph at lines 75--109
614 []
615 [21] [22] [23]
616
617 LaTeX Warning: Reference `types' on page 24 undefined on input line 242.
618
619 [24]pdfTeX warning (ext4): destination with the same identifier (name{script\\p
620 rotect\040\\T1\\textunderscore\040metadecl}) has been already used, duplicate i
621 gnored
622 <to be read again>
623 \relax
624 l.296 ...},\T{id}) <{}< \T{rulename\_id}.\T{id} ;}
625 [25] [26] [27]
626 Overfull \hbox (2.84467pt too wide) in paragraph at lines 709--751
627 []
628 [28] [29] [30]) [31]
629 Chapter 10.
630 (./spatch_options.tex
631 Overfull \hbox (40.85385pt too wide) in paragraph at lines 39--42
632 []\T1/pcr/m/n/10 spatch -sp_file foo.cocci -dir foodir -include_headers\T1/ptm/
633 m/n/10 : Ap-ply the se-man-tic patch \T1/pcr/m/n/10 foo.cocci
634 (/usr/share/texmf-texlive/tex/latex/ifsym/uifgeo.fd) [32] [33]
635 Overfull \hbox (53.96228pt too wide) in paragraph at lines 175--176
636 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us
637 -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex_cocci.sh\T1/ptm
638 /m/n/10 .
639 [34] [35] [36] [37] [38]
640 Overfull \hbox (4.86494pt too wide) in paragraph at lines 490--491
641 \T1/pcr/m/n/10 foo.cocci -dir /var/linuxes/linux-next/drivers -patch /var/linux
642 es/linux-next\T1/ptm/m/n/10 . A
643 [39]) [40] [41] (./license.txt [42] [43] [44] [45])
644 No file main.bbl.
645 [46] (./main.aux)
646
647 LaTeX Warning: There were undefined references.
648
649
650 LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
651
652 )
653 (see the transcript file for additional information) </home/jll/.texmf-var/font
654 s/pk/ljfour/public/ifsym/ifgeob10.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/
655 public/ifsym/ifgeo10.600pk>{/usr/share/texmf-texlive/fonts/enc/dvips/base/8r.en
656 c}</usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/sha
657 re/texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texmf-tex
658 live/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/t
659 ype1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-texlive/fonts/type1/public/a
660 msfonts/cm/cmsy10.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/
661 cmsy7.pfb></usr/share/texmf-texlive/fonts/type1/urw/courier/ucrb8a.pfb></usr/sh
662 are/texmf-texlive/fonts/type1/urw/courier/ucrr8a.pfb></usr/share/texmf-texlive/
663 fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/t
664 imes/utmb8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/times/utmr8a.pfb></us
665 r/share/texmf-texlive/fonts/type1/urw/times/utmri8a.pfb>
666 Output written on main.pdf (47 pages, 411318 bytes).
667 Transcript written on main.log.
668 pdflatex main.tex
669 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
670 restricted \write18 enabled.
671 entering extended mode
672 (./main.tex
673 LaTeX2e <2009/09/24>
674 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
675 yphenation, loaded.
676 (/usr/share/texmf-texlive/tex/latex/base/report.cls
677 Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
678 (/usr/share/texmf-texlive/tex/latex/base/size10.clo))
679 (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (./hevea.sty
680 (/usr/share/texmf-texlive/tex/latex/comment/comment.sty
681 Excluding comment 'comment') Excluding comment 'rawhtml'
682 Excluding comment 'htmlonly')
683 (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty)
684 (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
685 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
686 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
687 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu)
688 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu)
689 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu)))
690 (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
691 (/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
692 (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
693 For additional information on amsmath, use the `?' option.
694 (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
695 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
696 (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty)
697 (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty))
698 (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
699 (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty))
700 (/usr/share/texmf-texlive/tex/latex/ifsym/ifsym.sty
701 (/usr/share/texmf-texlive/tex/latex/tools/calc.sty))
702 (/usr/share/texmf-texlive/tex/latex/graphics/graphics.sty
703 (/usr/share/texmf-texlive/tex/latex/graphics/trig.sty)
704 (/etc/texmf/tex/latex/config/graphics.cfg)
705 (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def))
706 (/usr/share/texmf-texlive/tex/latex/graphics/graphicx.sty
707 (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty))
708 (/usr/share/texmf-texlive/tex/latex/graphics/epsfig.sty)
709 (/usr/share/texmf-texlive/tex/latex/subfigure/subfigure.sty
710 ****************************************
711 * Local config file subfigure.cfg used *
712 ****************************************
713 (/usr/share/texmf-texlive/tex/latex/subfigure/subfigure.cfg))
714 (/usr/share/texmf-texlive/tex/latex/wrapfig/wrapfig.sty)
715 (/usr/share/texmf-texlive/tex/generic/xypic/xy.sty
716 (/usr/share/texmf-texlive/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes,
717 docmode, (/usr/share/texmf-texlive/tex/generic/xypic/xyrecat.tex)
718 (/usr/share/texmf-texlive/tex/generic/xypic/xyidioms.tex)
719
720 Xy-pic version 3.7 <1999/02/16>
721 Copyright (c) 1991-1998 by Kristoffer H. Rose <krisrose@ens-lyon.fr>
722 Xy-pic is free software: see the User's Guide for details.
723
724 Loading kernel: messages; fonts; allocations: state, direction,
725 utility macros; pictures: \xy, positions, objects, decorations;
726 kernel objects: directionals, circles, text; options; algorithms: directions,
727 edges, connections; Xy-pic loaded)
728 (/usr/share/texmf-texlive/tex/generic/xypic/xyall.tex
729 Xy-pic option: All features v.3.3
730 (/usr/share/texmf-texlive/tex/generic/xypic/xycurve.tex
731 Xy-pic option: Curve and Spline extension v.3.7 curve, circles, loaded)
732 (/usr/share/texmf-texlive/tex/generic/xypic/xyframe.tex
733 Xy-pic option: Frame and Bracket extension v.3.7 loaded)
734 (/usr/share/texmf-texlive/tex/generic/xypic/xycmtip.tex
735 Xy-pic option: Computer Modern tip extension v.3.3
736 (/usr/share/texmf-texlive/tex/generic/xypic/xytips.tex
737 Xy-pic option: More Tips extension v.3.3 loaded) loaded)
738 (/usr/share/texmf-texlive/tex/generic/xypic/xyline.tex
739 Xy-pic option: Line styles extension v.3.6 loaded)
740 (/usr/share/texmf-texlive/tex/generic/xypic/xyrotate.tex
741 Xy-pic option: Rotate and Scale extension v.3.3 loaded)
742 (/usr/share/texmf-texlive/tex/generic/xypic/xycolor.tex
743 Xy-pic option: Colour extension v.3.3 loaded)
744 (/usr/share/texmf-texlive/tex/generic/xypic/xymatrix.tex
745 Xy-pic option: Matrix feature v.3.4 loaded)
746 (/usr/share/texmf-texlive/tex/generic/xypic/xyarrow.tex
747 Xy-pic option: Arrow and Path feature v.3.5 path, \ar, loaded)
748 (/usr/share/texmf-texlive/tex/generic/xypic/xygraph.tex
749 Xy-pic option: Graph feature v.3.7 loaded) loaded))
750 (/usr/share/texmf-texlive/tex/latex/fancyvrb/fancyvrb.sty
751 Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix
752 <2008/02/07> (tvz)) (/usr/share/texmf-texlive/tex/latex/moreverb/moreverb.sty
753 (/usr/share/texmf-texlive/tex/latex/tools/verbatim.sty))
754 (/usr/share/texmf-texlive/tex/latex/base/alltt.sty)
755 (/usr/share/texmf-texlive/tex/latex/ltxmisc/boxedminipage.sty)
756 (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty)
757 (/usr/share/texmf-texlive/tex/latex/ltxmisc/endnotes.sty)
758 (/usr/share/texmf-texlive/tex/latex/multirow/multirow.sty)
759 (/usr/share/texmf-texlive/tex/latex/listings/listings.sty
760 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)
761 (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg))
762 (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
763 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty)
764 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty)
765 (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty)
766 (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
767 (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty))
768 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def)
769 (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
770 (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty))
771 (/etc/texmf/tex/latex/config/hyperref.cfg)
772 (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
773 (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty))
774 Implicit mode ON; LaTeX internals redefined
775 (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
776 (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
777 (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty)
778 (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
779 (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty
780 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty)
781 (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty))))
782 (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty))
783 *hyperref using default driver hpdftex*
784 (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def)
785 (/usr/share/texmf-texlive/tex/latex/graphics/color.sty
786 (/etc/texmf/tex/latex/config/color.cfg)
787 (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def))
788 (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex
789 (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty)
790 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty))
791 (./macros_grammar.tex) (./macros.tex) (./main.aux)
792 (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd)
793 (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
794 [Loading MPS to PDF converter (version 2006.09.02).]
795 ) (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
796 (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty)) (./main.out)
797 (./main.out) (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd)
798 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fonts/m
799 ap/pdftex/updmap/pdftex.map}] (./main.toc
800 (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd)pdfTeX warning (ext4): dest
801 ination with the same identifier (name{page.1}) has been already used, duplicat
802 e ignored
803 <to be read again>
804 \relax
805 l.33 ...berline {9.9}Expressions}{30}{section.9.9}
806 [1]) [2]
807 (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd)
808 Underfull \hbox (badness 10000) in paragraph at lines 135--138
809
810 [3] [4] (./introduction.tex
811 Chapter 1.
812 ) (./installing.tex [5]
813 Chapter 2.
814 ) (./tutorial.tex [6]
815 Chapter 3.
816 ) [7]
817 Chapter 4.
818 (./examples.tex
819 Underfull \hbox (badness 10000) in paragraph at lines 11--16
820
821
822 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73
823 [][]
824 [8]
825 Underfull \hbox (badness 10000) in paragraph at lines 77--83
826
827 [9]
828 Underfull \hbox (badness 10000) in paragraph at lines 142--146
829
830
831 Underfull \hbox (badness 10000) in paragraph at lines 147--153
832
833
834 Underfull \hbox (badness 10000) in paragraph at lines 154--175
835
836
837 Underfull \hbox (badness 10000) in paragraph at lines 178--194
838
839 [10]
840 Underfull \hbox (badness 10000) in paragraph at lines 205--212
841
842
843 Underfull \hbox (badness 10000) in paragraph at lines 213--238
844
845 [11]
846 Underfull \hbox (badness 10000) in paragraph at lines 262--265
847
848 [12]
849 Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381
850 [][]
851 [13]
852 Underfull \hbox (badness 10000) in paragraph at lines 385--394
853
854
855 Underfull \hbox (badness 10000) in paragraph at lines 411--422
856
857 [14]
858 Underfull \hbox (badness 10000) in paragraph at lines 436--487
859
860 ) (./tips.tex
861 Overfull \hbox (6.12321pt too wide) in paragraph at lines 14--18
862 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/
863 n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r
864 eadb((foo))
865 [15]) (./isomorphisms.tex [16]
866 Chapter 5.
867 ) (./parsing.tex [17]
868 Chapter 6.
869 ) (./workflow.tex [18]
870 Chapter 7.
871 ) (./advanced.tex [19]
872 Chapter 8.
873 ) [20] [21]
874 Chapter 9.
875 (./cocci_syntax.tex (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd)
876 Overfull \hbox (6.40387pt too wide) in paragraph at lines 75--109
877 []
878 [22] [23] [24] [25]pdfTeX warning (ext4): destination with the same identifier
879 (name{script\\protect\040\\T1\\textunderscore\040metadecl}) has been already us
880 ed, duplicate ignored
881 <to be read again>
882 \relax
883 l.296 ...},\T{id}) <{}< \T{rulename\_id}.\T{id} ;}
884 [26] [27] [28]
885 Overfull \hbox (2.84467pt too wide) in paragraph at lines 709--751
886 []
887 [29] [30] [31]) [32]
888 Chapter 10.
889 (./spatch_options.tex
890 Overfull \hbox (40.85385pt too wide) in paragraph at lines 39--42
891 []\T1/pcr/m/n/10 spatch -sp_file foo.cocci -dir foodir -include_headers\T1/ptm/
892 m/n/10 : Ap-ply the se-man-tic patch \T1/pcr/m/n/10 foo.cocci
893 (/usr/share/texmf-texlive/tex/latex/ifsym/uifgeo.fd) [33] [34]
894 Overfull \hbox (53.96228pt too wide) in paragraph at lines 175--176
895 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us
896 -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex_cocci.sh\T1/ptm
897 /m/n/10 .
898 [35] [36] [37] [38] [39]
899 Overfull \hbox (4.86494pt too wide) in paragraph at lines 490--491
900 \T1/pcr/m/n/10 foo.cocci -dir /var/linuxes/linux-next/drivers -patch /var/linux
901 es/linux-next\T1/ptm/m/n/10 . A
902 [40]) [41] [42] (./license.txt [43] [44] [45] [46])
903 No file main.bbl.
904 [47] (./main.aux)
905
906 LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
907
908 )
909 (see the transcript file for additional information) </home/jll/.texmf-var/font
910 s/pk/ljfour/public/ifsym/ifgeob10.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/
911 public/ifsym/ifgeo10.600pk>{/usr/share/texmf-texlive/fonts/enc/dvips/base/8r.en
912 c}</usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/sha
913 re/texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi7.pfb></usr/share/texmf-tex
914 live/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texmf-texlive/fonts/t
915 ype1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-texlive/fonts/type1/public/a
916 msfonts/cm/cmsy10.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/
917 cmsy7.pfb></usr/share/texmf-texlive/fonts/type1/urw/courier/ucrb8a.pfb></usr/sh
918 are/texmf-texlive/fonts/type1/urw/courier/ucrr8a.pfb></usr/share/texmf-texlive/
919 fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/t
920 imes/utmb8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/times/utmr8a.pfb></us
921 r/share/texmf-texlive/fonts/type1/urw/times/utmri8a.pfb>
922 Output written on main.pdf (48 pages, 439141 bytes).
923 Transcript written on main.log.
924 mv main.pdf manual.pdf
925 pdflatex main_grammar.tex
926 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
927 restricted \write18 enabled.
928 entering extended mode
929 (./main_grammar.tex
930 LaTeX2e <2009/09/24>
931 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
932 yphenation, loaded.
933 (/usr/share/texmf-texlive/tex/latex/base/article.cls
934 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
935 (/usr/share/texmf-texlive/tex/latex/base/size10.clo))
936 (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty)
937 (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
938 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
939 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
940 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu)
941 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu)
942 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu)))
943 (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
944 (/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
945 (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (./hevea.sty
946 (/usr/share/texmf-texlive/tex/latex/comment/comment.sty
947 Excluding comment 'comment') Excluding comment 'rawhtml'
948 Excluding comment 'htmlonly')
949 (/usr/share/texmf-texlive/tex/latex/base/alltt.sty)
950 (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty)
951 (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
952 (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty)
953 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty)
954 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty)
955 (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty)
956 (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
957 (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty))
958 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def)
959 (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
960 (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty))
961 (/etc/texmf/tex/latex/config/hyperref.cfg)
962 (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
963 (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty))
964 Implicit mode ON; LaTeX internals redefined
965 (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
966 (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
967 (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty)
968 (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
969 (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty
970 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty)
971 (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty))))
972 (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty))
973 *hyperref using default driver hpdftex*
974 (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def)
975 (/usr/share/texmf-texlive/tex/latex/listings/listings.sty
976 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)
977 (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg))
978 (/usr/share/texmf-texlive/tex/latex/graphics/color.sty
979 (/etc/texmf/tex/latex/config/color.cfg)
980 (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def)
981 (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def))
982 (/usr/share/texmf-texlive/tex/latex/multirow/multirow.sty)
983 (./macros_listing_cocci.tex
984 (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty)
985 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty))
986 (./macros_grammar.tex) (./macros_common.tex) (./macros.tex)
987 No file main_grammar.aux.
988 (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd)
989 (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
990 (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty))
991 (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
992 [Loading MPS to PDF converter (version 2006.09.02).]
993 ) (./cocci_syntax.tex (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd)
994 (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd)
995 Overfull \hbox (6.40143pt too wide) in paragraph at lines 75--109
996 []
997 [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
998 (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd) [2] [3]
999
1000 LaTeX Warning: Reference `types' on page 4 undefined on input line 242.
1001
1002 [4]pdfTeX warning (ext4): destination with the same identifier (name{script\\pr
1003 otect\040\\T1\\textunderscore\040metadecl}) has been already used, duplicate ig
1004 nored
1005 <to be read again>
1006 \relax
1007 l.296 ...},\T{id}) <{}< \T{rulename\_id}.\T{id} ;}
1008 [5] [6] [7]
1009 Overfull \hbox (2.84222pt too wide) in paragraph at lines 709--751
1010 []
1011 [8] [9] [10]) [11] (./examples.tex
1012 Underfull \hbox (badness 10000) in paragraph at lines 11--16
1013
1014
1015 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73
1016 [][]
1017 [12]
1018 Underfull \hbox (badness 10000) in paragraph at lines 77--83
1019
1020 [13]
1021 Underfull \hbox (badness 10000) in paragraph at lines 142--146
1022
1023
1024 Underfull \hbox (badness 10000) in paragraph at lines 147--153
1025
1026
1027 Underfull \hbox (badness 10000) in paragraph at lines 154--175
1028
1029
1030 Underfull \hbox (badness 10000) in paragraph at lines 178--194
1031
1032 [14]
1033 Underfull \hbox (badness 10000) in paragraph at lines 205--212
1034
1035
1036 Underfull \hbox (badness 10000) in paragraph at lines 213--238
1037
1038 [15]
1039 Underfull \hbox (badness 10000) in paragraph at lines 262--265
1040
1041 [16]
1042 Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381
1043 [][]
1044 [17]
1045 Underfull \hbox (badness 10000) in paragraph at lines 385--394
1046
1047
1048 Underfull \hbox (badness 10000) in paragraph at lines 411--422
1049
1050 [18]
1051 Underfull \hbox (badness 10000) in paragraph at lines 436--487
1052
1053 ) [19] (./tips.tex
1054 Overfull \hbox (6.12321pt too wide) in paragraph at lines 14--18
1055 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/
1056 n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r
1057 eadb((foo))
1058 ) [20] (./main_grammar.aux (./examples.aux) (./tips.aux))
1059
1060 LaTeX Warning: There were undefined references.
1061
1062
1063 LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
1064
1065 )
1066 (see the transcript file for additional information){/usr/share/texmf-texlive/f
1067 onts/enc/dvips/base/8r.enc}</usr/share/texmf-texlive/fonts/type1/public/amsfont
1068 s/cm/cmmi10.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi7.
1069 pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/sh
1070 are/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-tex
1071 live/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-texlive/fonts/
1072 type1/public/amsfonts/cm/cmsy7.pfb></usr/share/texmf-texlive/fonts/type1/urw/co
1073 urier/ucrb8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/courier/ucrr8a.pfb><
1074 /usr/share/texmf-texlive/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texmf-
1075 texlive/fonts/type1/urw/times/utmb8a.pfb></usr/share/texmf-texlive/fonts/type1/
1076 urw/times/utmr8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/times/utmri8a.pf
1077 b>
1078 Output written on main_grammar.pdf (20 pages, 330431 bytes).
1079 Transcript written on main_grammar.log.
1080 pdflatex main_grammar.tex
1081 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
1082 restricted \write18 enabled.
1083 entering extended mode
1084 (./main_grammar.tex
1085 LaTeX2e <2009/09/24>
1086 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
1087 yphenation, loaded.
1088 (/usr/share/texmf-texlive/tex/latex/base/article.cls
1089 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
1090 (/usr/share/texmf-texlive/tex/latex/base/size10.clo))
1091 (/usr/share/texmf-texlive/tex/latex/psnfss/times.sty)
1092 (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
1093 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
1094 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
1095 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu)
1096 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu)
1097 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu)))
1098 (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
1099 (/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
1100 (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty) (./hevea.sty
1101 (/usr/share/texmf-texlive/tex/latex/comment/comment.sty
1102 Excluding comment 'comment') Excluding comment 'rawhtml'
1103 Excluding comment 'htmlonly')
1104 (/usr/share/texmf-texlive/tex/latex/base/alltt.sty)
1105 (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty)
1106 (/usr/share/texmf-texlive/tex/latex/hyperref/hyperref.sty
1107 (/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty)
1108 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifpdf.sty)
1109 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifvtex.sty)
1110 (/usr/share/texmf-texlive/tex/generic/ifxetex/ifxetex.sty)
1111 (/usr/share/texmf-texlive/tex/latex/oberdiek/hycolor.sty
1112 (/usr/share/texmf-texlive/tex/latex/oberdiek/xcolor-patch.sty))
1113 (/usr/share/texmf-texlive/tex/latex/hyperref/pd1enc.def)
1114 (/usr/share/texmf-texlive/tex/generic/oberdiek/etexcmds.sty
1115 (/usr/share/texmf-texlive/tex/generic/oberdiek/infwarerr.sty))
1116 (/etc/texmf/tex/latex/config/hyperref.cfg)
1117 (/usr/share/texmf-texlive/tex/latex/oberdiek/kvoptions.sty
1118 (/usr/share/texmf-texlive/tex/generic/oberdiek/kvsetkeys.sty))
1119 Implicit mode ON; LaTeX internals redefined
1120 (/usr/share/texmf-texlive/tex/latex/ltxmisc/url.sty)
1121 (/usr/share/texmf-texlive/tex/generic/oberdiek/bitset.sty
1122 (/usr/share/texmf-texlive/tex/generic/oberdiek/intcalc.sty)
1123 (/usr/share/texmf-texlive/tex/generic/oberdiek/bigintcalc.sty
1124 (/usr/share/texmf-texlive/tex/generic/oberdiek/pdftexcmds.sty
1125 (/usr/share/texmf-texlive/tex/generic/oberdiek/ifluatex.sty)
1126 (/usr/share/texmf-texlive/tex/generic/oberdiek/ltxcmds.sty))))
1127 (/usr/share/texmf-texlive/tex/generic/oberdiek/atbegshi.sty))
1128 *hyperref using default driver hpdftex*
1129 (/usr/share/texmf-texlive/tex/latex/hyperref/hpdftex.def)
1130 (/usr/share/texmf-texlive/tex/latex/listings/listings.sty
1131 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty)
1132 (/usr/share/texmf-texlive/tex/latex/listings/listings.cfg))
1133 (/usr/share/texmf-texlive/tex/latex/graphics/color.sty
1134 (/etc/texmf/tex/latex/config/color.cfg)
1135 (/usr/share/texmf-texlive/tex/latex/pdftex-def/pdftex.def)
1136 (/usr/share/texmf-texlive/tex/latex/graphics/dvipsnam.def))
1137 (/usr/share/texmf-texlive/tex/latex/multirow/multirow.sty)
1138 (./macros_listing_cocci.tex
1139 (/usr/share/texmf-texlive/tex/latex/listings/lstlang1.sty)
1140 (/usr/share/texmf-texlive/tex/latex/listings/lstmisc.sty))
1141 (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (./main_grammar.aux
1142 (./examples.aux) (./tips.aux))
1143 (/usr/share/texmf-texlive/tex/latex/psnfss/t1ptm.fd)
1144 (/usr/share/texmf-texlive/tex/latex/hyperref/nameref.sty
1145 (/usr/share/texmf-texlive/tex/latex/oberdiek/refcount.sty)) (./main_grammar.out
1146 ) (./main_grammar.out) (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
1147
1148 [Loading MPS to PDF converter (version 2006.09.02).]
1149 ) (./cocci_syntax.tex (/usr/share/texmf-texlive/tex/latex/psnfss/t1phv.fd)
1150 (/usr/share/texmf-texlive/tex/latex/psnfss/t1pcr.fd)
1151 Overfull \hbox (6.40143pt too wide) in paragraph at lines 75--109
1152 []
1153 [1{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
1154 (/usr/share/texmf-texlive/tex/latex/psnfss/omsptm.fd) [2] [3] [4]pdfTeX warning
1155 (ext4): destination with the same identifier (name{script\\protect\040\\T1\\te
1156 xtunderscore\040metadecl}) has been already used, duplicate ignored
1157 <to be read again>
1158 \relax
1159 l.296 ...},\T{id}) <{}< \T{rulename\_id}.\T{id} ;}
1160 [5] [6] [7]
1161 Overfull \hbox (2.84222pt too wide) in paragraph at lines 709--751
1162 []
1163 [8] [9] [10]) [11] (./examples.tex
1164 Underfull \hbox (badness 10000) in paragraph at lines 11--16
1165
1166
1167 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73
1168 [][]
1169 [12]
1170 Underfull \hbox (badness 10000) in paragraph at lines 77--83
1171
1172 [13]
1173 Underfull \hbox (badness 10000) in paragraph at lines 142--146
1174
1175
1176 Underfull \hbox (badness 10000) in paragraph at lines 147--153
1177
1178
1179 Underfull \hbox (badness 10000) in paragraph at lines 154--175
1180
1181
1182 Underfull \hbox (badness 10000) in paragraph at lines 178--194
1183
1184 [14]
1185 Underfull \hbox (badness 10000) in paragraph at lines 205--212
1186
1187
1188 Underfull \hbox (badness 10000) in paragraph at lines 213--238
1189
1190 [15]
1191 Underfull \hbox (badness 10000) in paragraph at lines 262--265
1192
1193 [16]
1194 Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381
1195 [][]
1196 [17]
1197 Underfull \hbox (badness 10000) in paragraph at lines 385--394
1198
1199
1200 Underfull \hbox (badness 10000) in paragraph at lines 411--422
1201
1202 [18]
1203 Underfull \hbox (badness 10000) in paragraph at lines 436--487
1204
1205 ) [19] (./tips.tex
1206 Overfull \hbox (6.12321pt too wide) in paragraph at lines 14--18
1207 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/
1208 n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r
1209 eadb((foo))
1210 ) [20] (./main_grammar.aux (./examples.aux) (./tips.aux)) )
1211 (see the transcript file for additional information){/usr/share/texmf-texlive/f
1212 onts/enc/dvips/base/8r.enc}</usr/share/texmf-texlive/fonts/type1/public/amsfont
1213 s/cm/cmmi10.pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi7.
1214 pfb></usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/sh
1215 are/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texmf-tex
1216 live/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texmf-texlive/fonts/
1217 type1/public/amsfonts/cm/cmsy7.pfb></usr/share/texmf-texlive/fonts/type1/urw/co
1218 urier/ucrb8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/courier/ucrr8a.pfb><
1219 /usr/share/texmf-texlive/fonts/type1/urw/helvetic/uhvr8a.pfb></usr/share/texmf-
1220 texlive/fonts/type1/urw/times/utmb8a.pfb></usr/share/texmf-texlive/fonts/type1/
1221 urw/times/utmr8a.pfb></usr/share/texmf-texlive/fonts/type1/urw/times/utmri8a.pf
1222 b>
1223 Output written on main_grammar.pdf (20 pages, 335600 bytes).
1224 Transcript written on main_grammar.log.
1225 pdflatex main_options.tex
1226 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
1227 restricted \write18 enabled.
1228 entering extended mode
1229 (./main_options.tex
1230 LaTeX2e <2009/09/24>
1231 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
1232 yphenation, loaded.
1233 (/usr/share/texmf-texlive/tex/latex/base/article.cls
1234 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
1235 (/usr/share/texmf-texlive/tex/latex/base/size10.clo))
1236 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
1237 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
1238 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu)
1239 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu)
1240 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu)))
1241 (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
1242 (/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
1243 (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty)
1244 (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
1245 (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
1246 For additional information on amsmath, use the `?' option.
1247 (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
1248 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
1249 (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty)
1250 (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty))
1251 (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
1252 (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty))
1253 (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty)
1254 (/usr/share/texmf-texlive/tex/latex/ifsym/ifsym.sty
1255 (/usr/share/texmf-texlive/tex/latex/tools/calc.sty)) (./macros_options.tex)
1256 (./macros.tex)
1257 No file main_options.aux.
1258 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd)
1259 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd)
1260
1261 LaTeX Warning: No \author given.
1262
1263 (./spatch_options.tex (/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd)
1264 (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd)
1265 Overfull \hbox (4.27425pt too wide) in paragraph at lines 39--42
1266 []\T1/cmtt/m/n/10 spatch -sp_file foo.cocci -dir foodir -include_headers\T1/cmr
1267 /m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci
1268 (/usr/share/texmf-texlive/tex/latex/ifsym/uifgeo.fd) [1{/var/lib/texmf/fonts/ma
1269 p/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6]
1270 (/usr/share/texmf-texlive/tex/latex/base/t1cmss.fd) [7] [8]) [9]
1271 (./main_options.aux) )
1272 (see the transcript file for additional information) </home/jll/.texmf-var/font
1273 s/pk/ljfour/jknappen/ec/ecss1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/j
1274 knappen/ec/ecti1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/ec
1275 bx1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk
1276 > </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1200.600pk> </home/jll/
1277 .texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk> </home/jll/.texmf-var/fo
1278 nts/pk/ljfour/jknappen/ec/ectt1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour
1279 /jknappen/ec/ecrm1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/
1280 ecbx1440.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1200.600p
1281 k> </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk></usr/share
1282 /texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-texl
1283 ive/fonts/type1/public/amsfonts/cm/cmsy10.pfb>
1284 Output written on main_options.pdf (9 pages, 136077 bytes).
1285 Transcript written on main_options.log.
1286 pdflatex main_options.tex
1287 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
1288 restricted \write18 enabled.
1289 entering extended mode
1290 (./main_options.tex
1291 LaTeX2e <2009/09/24>
1292 Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
1293 yphenation, loaded.
1294 (/usr/share/texmf-texlive/tex/latex/base/article.cls
1295 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
1296 (/usr/share/texmf-texlive/tex/latex/base/size10.clo))
1297 (/usr/share/texmf-texlive/tex/latex/base/inputenc.sty
1298 (/usr/share/texmf-texlive/tex/latex/base/utf8.def
1299 (/usr/share/texmf-texlive/tex/latex/base/t1enc.dfu)
1300 (/usr/share/texmf-texlive/tex/latex/base/ot1enc.dfu)
1301 (/usr/share/texmf-texlive/tex/latex/base/omsenc.dfu)))
1302 (/usr/share/texmf-texlive/tex/latex/base/fontenc.sty
1303 (/usr/share/texmf-texlive/tex/latex/base/t1enc.def))
1304 (/usr/share/texmf-texlive/tex/latex/base/ifthen.sty)
1305 (/usr/share/texmf-texlive/tex/latex/preprint/fullpage.sty)
1306 (/usr/share/texmf-texlive/tex/latex/amsmath/amsmath.sty
1307 For additional information on amsmath, use the `?' option.
1308 (/usr/share/texmf-texlive/tex/latex/amsmath/amstext.sty
1309 (/usr/share/texmf-texlive/tex/latex/amsmath/amsgen.sty))
1310 (/usr/share/texmf-texlive/tex/latex/amsmath/amsbsy.sty)
1311 (/usr/share/texmf-texlive/tex/latex/amsmath/amsopn.sty))
1312 (/usr/share/texmf-texlive/tex/latex/amsfonts/amssymb.sty
1313 (/usr/share/texmf-texlive/tex/latex/amsfonts/amsfonts.sty))
1314 (/usr/share/texmf-texlive/tex/latex/tools/xspace.sty)
1315 (/usr/share/texmf-texlive/tex/latex/ifsym/ifsym.sty
1316 (/usr/share/texmf-texlive/tex/latex/tools/calc.sty)) (./macros_options.tex)
1317 (./macros.tex) (./main_options.aux)
1318 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsa.fd)
1319 (/usr/share/texmf-texlive/tex/latex/amsfonts/umsb.fd)
1320
1321 LaTeX Warning: No \author given.
1322
1323 (./spatch_options.tex (/usr/share/texmf-texlive/tex/latex/base/t1cmtt.fd)
1324 (/usr/share/texmf-texlive/tex/latex/base/omscmr.fd)
1325 Overfull \hbox (4.27425pt too wide) in paragraph at lines 39--42
1326 []\T1/cmtt/m/n/10 spatch -sp_file foo.cocci -dir foodir -include_headers\T1/cmr
1327 /m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci
1328 (/usr/share/texmf-texlive/tex/latex/ifsym/uifgeo.fd) [1{/var/lib/texmf/fonts/ma
1329 p/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6]
1330 (/usr/share/texmf-texlive/tex/latex/base/t1cmss.fd) [7] [8]) [9]
1331 (./main_options.aux) )
1332 (see the transcript file for additional information) </home/jll/.texmf-var/font
1333 s/pk/ljfour/jknappen/ec/ecss1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/j
1334 knappen/ec/ecti1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/ec
1335 bx1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk
1336 > </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecbx1200.600pk> </home/jll/
1337 .texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk> </home/jll/.texmf-var/fo
1338 nts/pk/ljfour/jknappen/ec/ectt1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour
1339 /jknappen/ec/ecrm1000.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/
1340 ecbx1440.600pk> </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1200.600p
1341 k> </home/jll/.texmf-var/fonts/pk/ljfour/jknappen/ec/ecrm1728.600pk></usr/share
1342 /texmf-texlive/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texmf-texl
1343 ive/fonts/type1/public/amsfonts/cm/cmsy10.pfb>
1344 Output written on main_options.pdf (9 pages, 136077 bytes).
1345 Transcript written on main_options.log.
1346 mv main_options.pdf options.pdf
1347 make[5]: Leaving directory `/home/jll/coccinelle-release/docs/manual'
1348 make[4]: Leaving directory `/home/jll/coccinelle-release/docs'
1349 make[3]: Leaving directory `/home/jll/coccinelle-release'
1350 make clean
1351 make[3]: Entering directory `/home/jll/coccinelle-release'
1352 Makefile.config is missing. Have you run ./configure?
1353 set -e; for i in pycaml ocamlsexp commons globals menhirlib ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do make -C $i clean; done
1354 make[4]: Entering directory `/home/jll/coccinelle-release/pycaml'
1355 rm -f pycaml.customtop
1356 rm -f *.cm[aiox] *.a
1357 rm -f pycaml pycaml.top pycaml.cmi pycaml.cmo pycaml.cmx pycaml.asm pycaml.s pycaml.o pycaml_ml.o pycaml.cma pycaml.cmxa pycaml.a pycaml.cmi pycaml.cmo pycaml.cmi pycaml.cmx pycaml.o libpycaml_stubs.a pycaml.annot .cmi .cmo .cmx .o dllpycaml_stubs.so
1358 rm -rf ._bcdi ._ncdi ._d
1359 make[4]: Leaving directory `/home/jll/coccinelle-release/pycaml'
1360 make[4]: Entering directory `/home/jll/coccinelle-release/ocamlsexp'
1361 rm -f sexplib.top
1362 rm -f lexer.ml
1363 rm -f parser.ml parser.mli parser.output
1364 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
1365 rm -f *~ .*~ gmon.out #*#
1366 make[4]: Leaving directory `/home/jll/coccinelle-release/ocamlsexp'
1367 make[4]: Entering directory `/home/jll/coccinelle-release/commons'
1368 rm -f commons.top
1369 rm -f dllcommons_backtrace.so
1370 rm -f gmon.out
1371 rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot
1372 rm -f *~ .*~ #*#
1373 for i in ocamlextra ocollection; do (cd $i; \
1374 rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot *~ .*~ ; \
1375 cd ..; ) \
1376 done
1377 make[4]: Leaving directory `/home/jll/coccinelle-release/commons'
1378 make[4]: Entering directory `/home/jll/coccinelle-release/globals'
1379 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
1380 rm -f *~ .*~ gmon.out #*#
1381 make[4]: Leaving directory `/home/jll/coccinelle-release/globals'
1382 make[4]: Entering directory `/home/jll/coccinelle-release/menhirlib'
1383 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
1384 rm -f *~ .*~ gmon.out #*#
1385 make[4]: Leaving directory `/home/jll/coccinelle-release/menhirlib'
1386 make[4]: Entering directory `/home/jll/coccinelle-release/ctl'
1387 ocamldep.opt -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend
1388 make[4]: Leaving directory `/home/jll/coccinelle-release/ctl'
1389 make[4]: Entering directory `/home/jll/coccinelle-release/ctl'
1390 rm -f ctl.cma ctl.cmxa ctl.a ctl.top
1391 rm -f *.cm[iox] *.o *.annot
1392 rm -f *~ .*~ #*#
1393 make[4]: Leaving directory `/home/jll/coccinelle-release/ctl'
1394 make[4]: Entering directory `/home/jll/coccinelle-release/parsing_cocci'
1395 ocamldep.opt -I ../commons -I ../commons/ocamlextra -I ../globals -I *.mli *.ml > .depend
1396 Bad -I option: adjacency.mli: Not a directory
1397 rm -f cocci_parser.cma
1398 rm -f cocci_parser.cmxa cocci_parser.a
1399 rm -f cocci_parser
1400 rm -f *.cm[iox] *.o *.annot
1401 rm -f *~ .*~ #*#
1402 make[4]: Leaving directory `/home/jll/coccinelle-release/parsing_cocci'
1403 make[4]: Entering directory `/home/jll/coccinelle-release/parsing_c'
1404 rm -f parsing_c.top
1405 rm -f lexer_c.ml
1406 rm -f parser_c.ml parser_c.mli parser_c.output
1407 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
1408 rm -f *~ .*~ gmon.out #*#
1409 make[4]: Leaving directory `/home/jll/coccinelle-release/parsing_c'
1410 make[4]: Entering directory `/home/jll/coccinelle-release/engine'
1411 rm -f cocciengine.top
1412 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
1413 rm -f *~ .*~ gmon.out #*#
1414 make[4]: Leaving directory `/home/jll/coccinelle-release/engine'
1415 make[4]: Entering directory `/home/jll/coccinelle-release/popl09'
1416 ocamldep.opt -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend
1417 make[4]: Leaving directory `/home/jll/coccinelle-release/popl09'
1418 make[4]: Entering directory `/home/jll/coccinelle-release/popl09'
1419 rm -f popl.cma popl.top
1420 rm -f popl.cmxa popl.a
1421 rm -f *.cm[iox] *.o *.annot
1422 rm -f *~ .*~ #*#
1423 make[4]: Leaving directory `/home/jll/coccinelle-release/popl09'
1424 make[4]: Entering directory `/home/jll/coccinelle-release/extra'
1425 rm -f extra.byte extra.opt rm -f extra.top
1426 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
1427 rm -f *~ .*~ gmon.out #*#
1428 make[4]: Leaving directory `/home/jll/coccinelle-release/extra'
1429 make[4]: Entering directory `/home/jll/coccinelle-release/python'
1430 ocamldep.opt -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci *.mli *.ml > .depend
1431 make[4]: Leaving directory `/home/jll/coccinelle-release/python'
1432 make[4]: Entering directory `/home/jll/coccinelle-release/python'
1433 rm -f coccipython.cma
1434 rm -f coccipython.cmxa coccipython.a
1435 rm -f coccipython
1436 rm -f coccipython.byte
1437 rm -f
1438 rm -f *.cm[iox] *.o *.annot
1439 rm -f *~ .*~ #*#
1440 make[4]: Leaving directory `/home/jll/coccinelle-release/python'
1441 make[4]: Entering directory `/home/jll/coccinelle-release/ocaml'
1442 rm -f cocciocaml.top
1443 rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot
1444 rm -f *~ .*~ gmon.out #*#
1445 make[4]: Leaving directory `/home/jll/coccinelle-release/ocaml'
1446 make -C demos/spp clean
1447 make[4]: Entering directory `/home/jll/coccinelle-release/demos/spp'
1448 rm -f test.o test.c.i test2.o test2.c.i
1449 make[4]: Leaving directory `/home/jll/coccinelle-release/demos/spp'
1450 rm -f spatch spatch.opt spatch.top
1451 make -C docs clean
1452 make[4]: Entering directory `/home/jll/coccinelle-release/docs'
1453 rm -f spatch.1
1454 make -C manual clean
1455 make[5]: Entering directory `/home/jll/coccinelle-release/docs/manual'
1456 rm -f *.aux *.dvi *.haux *.htoc *.log *.out *~
1457 rm -f main-diff.*
1458 rm -f *.aux \
1459 *.bbl \
1460 *.blg \
1461 *.dvi \
1462 *.log \
1463 *.out \
1464 *.toc
1465 make[5]: Leaving directory `/home/jll/coccinelle-release/docs/manual'
1466 make[4]: Leaving directory `/home/jll/coccinelle-release/docs'
1467 rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt
1468 rm -f gmon.out
1469 rm -f *.cm[iox] *.o *.annot
1470 rm -f *~ .*~ *.exe #*#
1471 make[3]: Leaving directory `/home/jll/coccinelle-release'
1472 cp -a . /tmp/coccinelle-0.2.5-rc2
1473 cp: `.' and `/tmp/coccinelle-0.2.5-rc2/.' are the same file
1474 make[2]: *** [srctar] Error 1
1475 make[2]: Leaving directory `/home/jll/coccinelle-release'
1476 make[1]: *** [package-src] Error 2
1477 make[1]: Leaving directory `/home/jll/coccinelle-release'
1478 make: *** [package] Error 2
1479 \e[1;31mhadrien:\e[1;34m~/coccinelle-release:\e[0m ^D\b\bexit
1480
1481 Script done on 2011-01-09T21:02:47 CET