Mock Version: 1.2.18 Mock Version: 1.2.18 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/coccinelle.spec'], gid=425shell=Falseenv={'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'HOME': '/builddir', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOSTNAME': 'mock', 'SHELL': '/bin/bash'}printOutput=FalsechrootPath='/var/lib/mock/f25-build-6057537-620721/root'user='mockbuild'timeout=172800uid=1000logger=) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/coccinelle.spec'] with env {'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'HOME': '/builddir', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOSTNAME': 'mock', 'SHELL': '/bin/bash'} and shell False warning: Could not canonicalize hostname: buildvm-09.phx2.fedoraproject.org Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/coccinelle-1.0.5-1.fc25.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/coccinelle.spec'], gid=425shell=Falseenv={'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'HOME': '/builddir', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOSTNAME': 'mock', 'SHELL': '/bin/bash'}printOutput=FalsechrootPath='/var/lib/mock/f25-build-6057537-620721/root'private_network=Trueuser='mockbuild'timeout=172800uid=1000logger=) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/coccinelle.spec'] with env {'TERM': 'vt100', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'HOME': '/builddir', 'LANG': 'en_US.UTF-8', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'HOSTNAME': 'mock', 'SHELL': '/bin/bash'} and shell False Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.sl67nN + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf coccinelle-1.0.5 + /usr/bin/gzip -dc /builddir/build/SOURCES/coccinelle-1.0.5.tgz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd coccinelle-1.0.5 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i '1s_^#!/usr/bin/env python$_#!/usr/bin/python3_' tools/pycocci + find -name .cvsignore -delete + for f in demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.c + mv demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.res.orig + iconv -f iso-8859-1 -t utf-8 + rm demos/demo_rule9/sym53c8xx.res.orig + for f in demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.c + mv demos/demo_rule9/sym53c8xx.c demos/demo_rule9/sym53c8xx.c.orig + iconv -f iso-8859-1 -t utf-8 + rm demos/demo_rule9/sym53c8xx.c.orig + xargs -I '{}' sh -exc 'expand -t8 {} > tempfile && mv tempfile {}' + find . -iname '*.py' + expand -t8 ./python/coccilib/report.py + mv tempfile ./python/coccilib/report.py + expand -t8 ./python/coccilib/xml_firehose.py + mv tempfile ./python/coccilib/xml_firehose.py + expand -t8 ./python/coccilib/org.py + mv tempfile ./python/coccilib/org.py + expand -t8 ./python/coccilib/__init__.py + mv tempfile ./python/coccilib/__init__.py + expand -t8 ./python/coccilib/output.py + mv tempfile ./python/coccilib/output.py + expand -t8 ./python/coccilib/trac.py + mv tempfile ./python/coccilib/trac.py + expand -t8 ./python/coccilib/coccigui/vimeditor.py + mv tempfile ./python/coccilib/coccigui/vimeditor.py + expand -t8 ./python/coccilib/coccigui/__init__.py + mv tempfile ./python/coccilib/coccigui/__init__.py + expand -t8 ./python/coccilib/coccigui/vimcom.py + mv tempfile ./python/coccilib/coccigui/vimcom.py + expand -t8 ./python/coccilib/coccigui/vim.py + mv tempfile ./python/coccilib/coccigui/vim.py + expand -t8 ./python/coccilib/coccigui/vimembed.py + mv tempfile ./python/coccilib/coccigui/vimembed.py + expand -t8 ./python/coccilib/coccigui/coccigui.py + mv tempfile ./python/coccilib/coccigui/coccigui.py + expand -t8 ./python/coccilib/coccigui/pycoccimodel.py + mv tempfile ./python/coccilib/coccigui/pycoccimodel.py + expand -t8 ./python/coccilib/elems.py + mv tempfile ./python/coccilib/elems.py + expand -t8 ./python/coccilib/iteration.py + mv tempfile ./python/coccilib/iteration.py + rm parsing_cocci/parser_cocci_menhir.ml parsing_cocci/parser_cocci_menhir.mli + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.tMoQFq + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.5 + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=generic' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=generic' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=generic -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=generic -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' +++ dirname ./configure ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' x-specs=/usr/lib/rpm/redhat/redhat-hardened-ld ']' ++ find . -name ltmain.sh + ./configure --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-release=yes --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir configure: WARNING: unrecognized options: --enable-release configure: configuring coccinelle 1.0.5 in /builddir/build/BUILD/coccinelle-1.0.5 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes configure: determining version suffix checking for x86_64-redhat-linux-gnu-date... no checking for date... /usr/bin/date configure: version suffix set to Tue, 19 Jul 2016 11:09:44 +0000 configure: this configure program uses pkg-config m4 macros configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4) configure: this configure program uses custom m4 macros (see setup/cocci.m4) configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*) configure: verifying basic tools checking for style of include used by make... GNU checking for x86_64-redhat-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for bash... /bin/sh checking for tar... /usr/bin/tar checking for patch... /usr/bin/patch checking for echo... /usr/bin/echo checking for patchelf... no checking for x86_64-redhat-linux-gnu-pkg-config... /usr/bin/x86_64-redhat-linux-gnu-pkg-config checking pkg-config is at least version 0.9.0... yes checking for x86_64-redhat-linux-gnu-ocamlc... no checking for ocamlc... /usr/bin/ocamlc OCaml version is 4.02.3 OCaml library path is /usr/lib64/ocaml checking for x86_64-redhat-linux-gnu-ocamlopt... no checking for ocamlopt... /usr/bin/ocamlopt checking for x86_64-redhat-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for x86_64-redhat-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for x86_64-redhat-linux-gnu-ocaml... no checking for ocaml... /usr/bin/ocaml checking for x86_64-redhat-linux-gnu-ocamldep... no checking for ocamldep... /usr/bin/ocamldep checking for x86_64-redhat-linux-gnu-ocamlmktop... no checking for ocamlmktop... /usr/bin/ocamlmktop checking for x86_64-redhat-linux-gnu-ocamlmklib... no checking for ocamlmklib... /usr/bin/ocamlmklib checking for x86_64-redhat-linux-gnu-ocamldoc... no checking for ocamldoc... /usr/bin/ocamldoc checking that the OCaml version is at least 3.12... yes checking that the OCaml version is at least 4.02... yes checking for x86_64-redhat-linux-gnu-ocamllex... no checking for ocamllex... /usr/bin/ocamllex checking for x86_64-redhat-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for x86_64-redhat-linux-gnu-ocamlyacc... no checking for ocamlyacc... /usr/bin/ocamlyacc checking for x86_64-redhat-linux-gnu-ocamlfind... no checking for ocamlfind... /usr/bin/ocamlfind checking for x86_64-redhat-linux-gnu-ocamlprof... no checking for ocamlprof... /usr/bin/ocamlprof configure: verifying basic ocaml modules configure: coccinelle may use external ocaml libraries in /builddir/build/BUILD/coccinelle-1.0.5/bundles configure: the following OCaml packages should be provided by your ocaml installation checking for OCaml findlib package unix... found checking for OCaml findlib package bigarray... found checking for OCaml findlib package num... found checking for OCaml findlib package str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package menhirLib checking for OCaml findlib package menhirLib... found configure: configuring package parmap checking for OCaml findlib package parmap... not found configure: OCaml package parmap is not available checking for a bundled substitute of parmap... yes configure: using bundled substitute for parmap in /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ configure: verifying optional features checking for x86_64-redhat-linux-gnu-menhir... /usr/bin/menhir configure: system menhir will be used checking for x86_64-redhat-linux-gnu-python... /usr/bin/python3 checking python version... 3.5 found configure: python major version: 3 configure: looking for the corresponding python library checking for PYTHON... yes configure: support for python scripts is enabled configure: configuring package pycaml checking for a bundled substitute of pycaml... yes configure: using bundled substitute for pycaml in /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ checking for x86_64-redhat-linux-gnu-camlp4... no checking for camlp4... /usr/bin/camlp4 checking for x86_64-redhat-linux-gnu-camlp4boot... no checking for camlp4boot... /usr/bin/camlp4boot checking for x86_64-redhat-linux-gnu-camlp4o... no checking for camlp4o... /usr/bin/camlp4o checking for x86_64-redhat-linux-gnu-camlp4of... no checking for camlp4of... /usr/bin/camlp4of checking for x86_64-redhat-linux-gnu-camlp4oof... no checking for camlp4oof... /usr/bin/camlp4oof checking for x86_64-redhat-linux-gnu-camlp4orf... no checking for camlp4orf... /usr/bin/camlp4orf checking for x86_64-redhat-linux-gnu-camlp4prof... no checking for camlp4prof... /usr/bin/camlp4prof checking for x86_64-redhat-linux-gnu-camlp4r... no checking for camlp4r... /usr/bin/camlp4r checking for x86_64-redhat-linux-gnu-camlp4rf... no checking for camlp4rf... /usr/bin/camlp4rf configure: configuring package camlp4 checking for OCaml findlib package camlp4... found checking for PCRE... yes configure: configuring package pcre checking for OCaml findlib package pcre... found configure: support for pcre syntax is enabled checking for x86_64-redhat-linux-gnu-pdflatex... no checking for pdflatex... /usr/bin/pdflatex checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile.config config.status: creating version.ml config.status: creating commons/commands.ml config.status: creating globals/config.ml config.status: creating globals/regexp.ml config.status: creating python/pycocci.ml config.status: creating ocaml/prepare_ocamlcocci.ml config.status: creating scripts/spatch.sh config.status: creating tools/spgen/scripts/spgen.sh config.status: creating docs/spatch.1 config.status: creating setup/Makefile config.status: executing depfiles commands configure: configuration completed configure: WARNING: unrecognized options: --enable-release ------------------------------------------------------------------------------ Summary configure flags: --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --enable-release=yes --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir findlib: /usr/bin/ocamlfind (an actual version is strongly recommended) menhir: /usr/bin/menhir (should be an optional tool) menhirLib module: yes (for local package use --disable-menhirLib) ocaml scripting: yes (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pycaml module: local (for local package use --disable-pycaml) pcre regexes: yes (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the dev version of libpcre) optimized spatch: yes (overridable with --disable-opt) ------------------------------------------------------------------------------ Coccinelle can now be compiled and installed. If you compile coccinelle again after source code changes or configuration changes, you may need to run first: $ make clean To compile coccinelle, run: $ make To install coccinelle, run: $ make install Then, to test coccinelle, run for example: $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c Or when coccinelle is not installed yet: $ COCCINELLE_HOME=/builddir/build/BUILD/coccinelle-1.0.5 ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ------------------------------------------------------------------------------ You may need to set some environment variables so that the python libraries are found. The frontend 'spatch' sets the following variables: $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib $ export PYTHONPATH=$PYTHONPATH:/usr/lib64/coccinelle/python ------------------------------------------------------------------------------ + /usr/bin/sed -i -e 's,LIBDIR=.*,LIBDIR=/usr/lib64,' -e 's,MANDIR=.*,MANDIR=/usr/share/man,' -e 's,SHAREDIR=.*,SHAREDIR=/usr/lib64/coccinelle,' -e 's,DYNLINKDIR=.*,DYNLINKDIR=/usr/lib64/ocaml,' Makefile.config + target=world + unset MAKEFLAGS ++ ocamlc -where + make world EXTLIBDIR=/usr/lib64/ocaml/extlib make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' Constructing '.depend' set -e; for i in /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ commons globals ctl parsing_cocci parsing_c ocaml engine popl09 extra python tools/spgen; do echo $i; make -C $i depend; done /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' /usr/bin/tar xfz chemoelectric-pycaml-8614105.tar.gz touch chemoelectric-pycaml-8614105/.marker rm -f "chemoelectric-pycaml-8614105/pycaml.mli" gcc -E -w -D PYMAJOR3 -xc pycaml.pp.ml >chemoelectric-pycaml-8614105/pycaml.ml cp pycaml_stubs.c chemoelectric-pycaml-8614105/pycaml_stubs.c touch .prepare /usr/bin/ocamldep -I chemoelectric-pycaml-8614105 chemoelectric-pycaml-8614105/*.ml >.depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' /usr/bin/tar xfz parmap.1.0-rc7.1+opam.tar.gz touch parmap.1.0-rc7.1/.marker cd parmap.1.0-rc7.1 && ./configure checking for ocamlc... /usr/bin/ocamlc.opt OCaml version is 4.02.3 OCAMLLIB previously set; preserving it. OCaml library path is /usr/lib64/ocaml checking for ocamlopt... /usr/bin/ocamlopt.opt checking for ocamlc.opt... ocamlc.opt checking for ocamlopt.opt... ocamlopt.opt checking for dynlink.cmxa... yes checking for ocaml... ocaml checking for ocamldep... /usr/bin/ocamldep checking for ocamlmktop... /usr/bin/ocamlmktop checking for ocamlmklib... /usr/bin/ocamlmklib checking for ocamldoc... /usr/bin/ocamldoc checking for ocamlbuild... ocamlbuild checking for ocamlfind... /usr/bin/ocamlfind checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking sched.h usability... yes checking sched.h presence... yes checking for sched.h... yes checking whether sched_setaffinity is declared... yes checking mach/thread_policy.h usability... no checking mach/thread_policy.h presence... no checking for mach/thread_policy.h... no checking whether thread_policy_set is declared... no ocaml version 4.02.3. Use standard Makefile configure: creating ./config.status config.status: creating Makefile config.status: creating config.h touch .prepare /usr/bin/ocamldep -I parmap.1.0-rc7.1 parmap.1.0-rc7.1/*.ml >.depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' commons make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' /usr/bin/ocamldep -I ocamlextra common.mli objet.mli ocollection.mli ograph_extended.mli ograph_simple.mli commands.ml common.ml ograph_simple.ml ograph_extended.ml > .depend for i in ocamlextra; do /usr/bin/ocamldep -I ocamlextra $i/*.ml $i/*.mli >> .depend; done /usr/bin/ocamldep -I ocamlextra common.mli objet.mli ocollection.mli ograph_extended.mli ograph_simple.mli commands.ml common.ml ograph_simple.ml ograph_extended.ml > .depend for i in ocamlextra; do /usr/bin/ocamldep -I ocamlextra $i/*.ml $i/*.mli >> .depend; done make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' globals make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' /usr/bin/ocamldep -I ../commons -I /usr/lib64/ocaml/pcre *.mli *.ml > .depend /usr/bin/ocamldep -I ../commons -I /usr/lib64/ocaml/pcre *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' ctl make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' parsing_cocci make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' /usr/bin/menhir --ocamlc "/usr/bin/ocamlc.opt" --ocamldep "/usr/bin/ocamldep" --table --base parser_cocci_menhir parser_cocci_menhir.mly Warning: you are using the standard library and/or the %inline keyword. We recommend switching on --infer in order to avoid obscure type error messages. /usr/bin/ocamldep *.mli *.ml > .depend /usr/bin/ocamldep *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' parsing_c make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' /usr/bin/ocamllex.opt lexer_c.mll 549 states, 26116 transitions, table size 107758 bytes 15973 additional bytes used for bindings /usr/bin/ocamlyacc -v parser_c.mly /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci *.mli *.ml > .depend /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' ocaml make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' engine make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml *.mli *.ml > .depend /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' popl09 make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' /usr/bin/ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend /usr/bin/ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' extra make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' /usr/bin/ocamldep -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend /usr/bin/ocamldep -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' python make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/python' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml *.mli *.ml > .depend /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml *.mli *.ml > .depend make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/python' tools/spgen make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' make -C source depend make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' /usr/bin/ocamllex.opt spgen_lexer.mll 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' /usr/bin/ocamldep -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I ocaml -I engine -I popl09 -I extra -I python -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ cocci.mli testing.mli flag_cocci.ml cocci.ml testing.ml read_options.ml main.ml > .depend make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' Building both versions of spatch make .depend make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[1]: '.depend' is up to date. make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make byte make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[2]: '.depend' is up to date. make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' /usr/bin/ocamlc.opt -I chemoelectric-pycaml-8614105 -custom -cclib -lpycaml_stubs -ccopt -I/usr/include/python3.5m -cclib -lpython3.5m -c chemoelectric-pycaml-8614105/pycaml.ml -o chemoelectric-pycaml-8614105/pycaml.cmo /usr/bin/ocamlc.opt -I chemoelectric-pycaml-8614105 -custom -cclib -lpycaml_stubs -ccopt -I/usr/include/python3.5m -cclib -lpython3.5m -a chemoelectric-pycaml-8614105/pycaml.cmo -o chemoelectric-pycaml-8614105/pycaml.cma /usr/bin/ocamlc.opt -I chemoelectric-pycaml-8614105 -custom -cclib -lpycaml_stubs -ccopt -I/usr/include/python3.5m -cclib -lpython3.5m -ccopt -fPIC chemoelectric-pycaml-8614105/pycaml_stubs.c -o chemoelectric-pycaml-8614105/pycaml_stubs.o mv pycaml_stubs.o chemoelectric-pycaml-8614105/pycaml_stubs.o /usr/bin/ocamlmklib -linkall -ldopt -lpython3.5m -o chemoelectric-pycaml-8614105/pycaml_stubs chemoelectric-pycaml-8614105/pycaml_stubs.o cp chemoelectric-pycaml-8614105/pycaml.cma chemoelectric-pycaml-8614105/pycaml.cmi chemoelectric-pycaml-8614105/libpycaml_stubs.a . if [ -n "pycaml" ]; then \ cp chemoelectric-pycaml-8614105/dllpycaml_stubs.so .; \ fi make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -c parmap.1.0-rc7.1/bytearray.mli -o parmap.1.0-rc7.1/bytearray.cmi /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -c parmap.1.0-rc7.1/bytearray.ml -o parmap.1.0-rc7.1/bytearray.cmo File "parmap.1.0-rc7.1/bytearray.ml", line 47, characters 10-23: Warning 3: deprecated: String.create Use Bytes.create instead. File "parmap.1.0-rc7.1/bytearray.ml", line 69, characters 12-25: Warning 3: deprecated: String.create Use Bytes.create instead. /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -c parmap.1.0-rc7.1/parmap_utils.mli -o parmap.1.0-rc7.1/parmap_utils.cmi /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -c parmap.1.0-rc7.1/parmap_utils.ml -o parmap.1.0-rc7.1/parmap_utils.cmo /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -c parmap.1.0-rc7.1/setcore.ml -o parmap.1.0-rc7.1/setcore.cmo /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -c parmap.1.0-rc7.1/parmap.mli -o parmap.1.0-rc7.1/parmap.cmi /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -c parmap.1.0-rc7.1/parmap.ml -o parmap.1.0-rc7.1/parmap.cmo File "parmap.1.0-rc7.1/parmap.ml", line 540, characters 12-24: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -a parmap.1.0-rc7.1/bytearray.cmo parmap.1.0-rc7.1/parmap_utils.cmo parmap.1.0-rc7.1/setcore.cmo parmap.1.0-rc7.1/parmap.cmo -o parmap.1.0-rc7.1/parmap.cma /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -ccopt -D_GNU_SOURCE -ccopt -fPIC parmap.1.0-rc7.1/bytearray_stubs.c -o parmap.1.0-rc7.1/bytearray_stubs.o mv bytearray_stubs.o parmap.1.0-rc7.1/bytearray_stubs.o /usr/bin/ocamlc.opt -I parmap.1.0-rc7.1 -custom -cclib -lparmap_stubs -ccopt -D_GNU_SOURCE -ccopt -fPIC parmap.1.0-rc7.1/setcore_stubs.c -o parmap.1.0-rc7.1/setcore_stubs.o mv setcore_stubs.o parmap.1.0-rc7.1/setcore_stubs.o /usr/bin/ocamlmklib -linkall -o parmap.1.0-rc7.1/parmap_stubs parmap.1.0-rc7.1/bytearray_stubs.o parmap.1.0-rc7.1/setcore_stubs.o cp parmap.1.0-rc7.1/parmap.cma parmap.1.0-rc7.1/bytearray.cmi parmap.1.0-rc7.1/parmap_utils.cmi parmap.1.0-rc7.1/setcore.cmi parmap.1.0-rc7.1/parmap.cmi parmap.1.0-rc7.1/libparmap_stubs.a . if [ -n "parmap" ]; then \ cp parmap.1.0-rc7.1/dllparmap_stubs.so .; \ fi make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c ocamlextra/dumper.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c ocamlextra/dumper.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c commands.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c common.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c common.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c ograph_simple.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c ograph_simple.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c ograph_extended.mli /usr/bin/ocamlc.opt -unsafe -I ocamlextra -c ograph_extended.ml /usr/bin/ocamlc.opt -unsafe -I ocamlextra -a -o commons.cma ocamlextra/dumper.cmo commands.cmo common.cmo ograph_simple.cmo ograph_extended.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c config.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c flag.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c iteration.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c iteration.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c regexp_pcre.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c regexp.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -a -o globals.cma config.cmo flag.cmo iteration.cmo regexp_pcre.cmo regexp.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c flag_ctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ast_ctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -a -o ctl.cma flag_ctl.cmo ast_ctl.cmo pretty_print_ctl.cmo ctl_engine.cmo wrapper_ctl.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c flag_parsing_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast0_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast0_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c pretty_print_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c pretty_print_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c visitor_ast0_types.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c visitor_ast.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c visitor_ast.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c visitor_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c visitor_ast0.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast0toast.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast0toast.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unparse_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unparse_ast0.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unify_ast.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unify_ast.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c compute_lines.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c compute_lines.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c comm_assoc.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c comm_assoc.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c iso_pattern.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c iso_pattern.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c iso_compile.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c iso_compile.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c single_statement.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c single_statement.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c simple_assignments.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c simple_assignments.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c get_metas.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c get_metas.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c stmtlist.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c stmtlist.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c check_meta.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c check_meta.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c top_level.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c top_level.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c type_infer.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c type_infer.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c test_exps.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c test_exps.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unitary_ast0.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unitary_ast0.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c arity.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c arity.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c index.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c index.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c context_neg.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c context_neg.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c adjust_pragmas.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c adjust_pragmas.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c insert_plus.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c insert_plus.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c function_prototypes.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c function_prototypes.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c semantic_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c data.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c data.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c free_vars.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c free_vars.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c safe_for_multi_decls.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c safe_for_multi_decls.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parse_printf.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parse_printf.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parse_aux.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c disjdistr.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c disjdistr.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c lexer_cocci.ml File "lexer_cocci.ml", line 2679, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c lexer_cli.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c lexer_script.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c cocci_grep.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c cocci_grep.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c dpll.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c dpll.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c get_constants2.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c get_constants2.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c id_utils.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c id_utils.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c git_grep.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c git_grep.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c adjacency.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c adjacency.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c commas_on_lists.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c commas_on_lists.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parse_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parse_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c command_line.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c command_line.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/menhirLib -a -o cocci_parser.cma menhirLib.cmo flag_parsing_cocci.cmo ast_cocci.cmo ast0_cocci.cmo pretty_print_cocci.cmo visitor_ast0_types.cmo visitor_ast.cmo visitor_ast0.cmo ast0toast.cmo unparse_ast0.cmo unify_ast.cmo compute_lines.cmo comm_assoc.cmo iso_pattern.cmo iso_compile.cmo single_statement.cmo simple_assignments.cmo get_metas.cmo stmtlist.cmo check_meta.cmo top_level.cmo type_infer.cmo test_exps.cmo unitary_ast0.cmo arity.cmo index.cmo context_neg.cmo adjust_pragmas.cmo insert_plus.cmo function_prototypes.cmo semantic_cocci.cmo data.cmo free_vars.cmo safe_for_multi_decls.cmo parse_printf.cmo parse_aux.cmo disjdistr.cmo lexer_cocci.cmo parser_cocci_menhir.cmo lexer_cli.cmo lexer_script.cmo cocci_grep.cmo dpll.cmo get_constants2.cmo id_utils.cmo git_grep.cmo adjacency.cmo commas_on_lists.cmo parse_cocci.cmo command_line.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_annot.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_annot.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c flag_parsing_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_stat.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c ast_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c includes.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c includes.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c control_flow_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c control_flow_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c visitor_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c visitor_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c lib_parsing_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c control_flow_c_build.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c control_flow_c_build.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c pretty_print_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c pretty_print_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c semantic_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c lexer_parser.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c lexer_parser.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parser_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parser_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c lexer_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parse_string_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parse_string_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_helpers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_helpers.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_views_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_views_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_token_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_token_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_hacks.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_hacks.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_analysis_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_analysis_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_cocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_cocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parse_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_c.ml File "unparse_c.ml", line 2337, characters 6-18: Warning 3: deprecated: String.unsafe_set /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_hrule.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_hrule.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_recovery_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_recovery_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_consistency_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_consistency_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c danger.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c danger.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parse_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c type_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c type_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_ast_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_ast_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c type_annoter_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c type_annoter_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c comment_annotater_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c compare_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c compare_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c test_parsing_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c test_parsing_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -a -o parsing_c.cma token_annot.cmo flag_parsing_c.cmo parsing_stat.cmo includes.cmo token_c.cmo ast_c.cmo control_flow_c.cmo visitor_c.cmo lib_parsing_c.cmo control_flow_c_build.cmo pretty_print_c.cmo semantic_c.cmo lexer_parser.cmo parser_c.cmo lexer_c.cmo parse_string_c.cmo token_helpers.cmo token_views_c.cmo cpp_token_c.cmo parsing_hacks.cmo cpp_analysis_c.cmo unparse_cocci.cmo unparse_c.cmo unparse_hrule.cmo parsing_recovery_c.cmo parsing_consistency_c.cmo danger.cmo parse_c.cmo type_c.cmo cpp_ast_c.cmo type_annoter_c.cmo comment_annotater_c.cmo compare_c.cmo test_parsing_c.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c externalanalysis.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c externalanalysis.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c exposed_modules.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c coccilib.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c yes_prepare_ocamlcocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c prepare_ocamlcocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c prepare_ocamlcocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o cocciocaml.cma externalanalysis.cmo exposed_modules.cmo coccilib.cmo ocamlcocci_aux.cmo yes_prepare_ocamlcocci.cmo prepare_ocamlcocci.cmo run_ocamlcocci.cmo for i in `grep " (\*" exposed_modules.ml | sed "s/^.*(\* //" | sed "s/\..* \*)$//"`; do cp ../$i.cmi .; done make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c flag_matcher.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c lib_engine.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c pretty_print_engine.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c pretty_print_engine.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c check_exhaustive_pattern.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c check_reachability.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c check_reachability.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c c_vs_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c c_vs_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c isomorphisms_c_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c cocci_vs_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c cocci_vs_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c pattern_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c pattern_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c transformation_c.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c transformation_c.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c asttomember.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c asttomember.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c asttoctl2.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c asttoctl2.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c ctltotex.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c ctltotex.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c postprocess_transinfo.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c postprocess_transinfo.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c ctlcocci_integration.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c ctlcocci_integration.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -a -o cocciengine.cma flag_matcher.cmo lib_engine.cmo pretty_print_engine.cmo check_exhaustive_pattern.cmo check_reachability.cmo c_vs_c.cmo isomorphisms_c_c.cmo cocci_vs_c.cmo pattern_c.cmo transformation_c.cmo asttomember.cmo asttoctl2.cmo ctltotex.cmo postprocess_transinfo.cmo ctlcocci_integration.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c ast_popl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c flag_popl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o popl.cma ast_popl.cmo asttopopl.cmo insert_quantifiers.cmo pretty_print_popl.cmo flag_popl.cmo popltoctl.cmo popl.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -a -o extra.cma classic_patch.cmo kbuild.cmo maintainers.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/python' /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -c pycocci_aux.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -c pycocci_aux.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -c yes_pycocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -c pycocci.mli /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -c pycocci.ml /usr/bin/ocamlc.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -a -o coccipython.cma pycocci_aux.cmo yes_pycocci.cmo pycocci.cmo make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' Compiling spgen ... make -C source all make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' /usr/bin/ocamlc.opt -unsafe -I ../../../commons -I ../../../commons/ocamlextra -I ../../../globals -I ../../../parsing_cocci -I ../../../parsing_c -I /usr/lib64/ocaml/pcre -custom -o spgen str.cma unix.cma bigarray.cma nums.cma /usr/lib64/ocaml/pcre/pcre.cma /usr/lib64/ocaml/dynlink.cma ../../../commons/commons.cma ../../../globals/globals.cma ../../../parsing_cocci/cocci_parser.cma ../../../parsing_c/parsing_c.cma -ccopt -lpcre -cclib -L/usr/lib64/ocaml/pcre -dllib -lpcre_stubs -cclib -lpcre_stubs spgen_lexer.ml globals.mli ast_tostring.mli detect_patch.mli meta_variable.mli snapshot.mli user_input.mli position_generator.mli disj_generator.mli rule_body.mli rule_header.mli context_rule.mli script_rule.mli file_transform.mli spgen_interactive.mli spgen_config.mli spgen.mli spgen_test.mli globals.ml ast_tostring.ml detect_patch.ml meta_variable.ml snapshot.ml user_input.ml position_generator.ml disj_generator.ml rule_body.ml rule_header.ml context_rule.ml script_rule.ml file_transform.ml spgen_interactive.ml spgen_config.ml spgen.ml spgen_test.ml main.ml make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' spgen can now be installed via 'make install'. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' cp chemoelectric-pycaml-8614105/pycaml.cma chemoelectric-pycaml-8614105/pycaml.cmi chemoelectric-pycaml-8614105/libpycaml_stubs.a . if [ -n "pycaml" ]; then \ cp chemoelectric-pycaml-8614105/dllpycaml_stubs.so .; \ fi make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' cp parmap.1.0-rc7.1/parmap.cma parmap.1.0-rc7.1/bytearray.cmi parmap.1.0-rc7.1/parmap_utils.cmi parmap.1.0-rc7.1/setcore.cmi parmap.1.0-rc7.1/parmap.cmi parmap.1.0-rc7.1/libparmap_stubs.a . if [ -n "parmap" ]; then \ cp parmap.1.0-rc7.1/dllparmap_stubs.so .; \ fi make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' Compiling spgen ... make -C source all make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' make[4]: Nothing to be done for 'all'. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' spgen can now be installed via 'make install'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c flag_cocci.ml /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c cocci.mli /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c cocci.ml /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c testing.mli /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c testing.ml /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c read_options.mli /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c read_options.ml /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c main.ml /usr/bin/ocamlc.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -custom -unsafe -dllib -lpycaml_stubs -cclib -lpycaml_stubs -cclib -lpython3.5m -ccopt -lpcre -cclib -L/usr/lib64/ocaml/pcre -dllib -lpcre_stubs -cclib -lpcre_stubs -ccopt -lpcre -cclib -L/usr/lib64/ocaml/pcre -dllib -lpcre_stubs -cclib -lpcre_stubs -cclib -lparmap_stubs -o spatch str.cma unix.cma bigarray.cma nums.cma /usr/lib64/ocaml/dynlink.cma /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml//pycaml.cma /usr/lib64/ocaml/pcre/pcre.cma /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap//parmap.cma commons/commons.cma globals/globals.cma ctl/ctl.cma parsing_cocci/cocci_parser.cma parsing_c/parsing_c.cma ocaml/cocciocaml.cma engine/cocciengine.cma popl09/popl.cma extra/extra.cma python/coccipython.cma flag_cocci.cmo cocci.cmo testing.cmo read_options.cmo main.cmo make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' The compilation of spatch finished. spatch can be installed or used. make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make opt-compil make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make .depend make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[2]: '.depend' is up to date. make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make subdirs.opt BUILD_OPT=yes make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' /usr/bin/ocamlopt.opt -I chemoelectric-pycaml-8614105 -cclib -lpycaml_stubs -ccopt -I/usr/include/python3.5m -cclib -lpython3.5m -c chemoelectric-pycaml-8614105/pycaml.ml -o chemoelectric-pycaml-8614105/pycaml.cmx /usr/bin/ocamlopt.opt -I chemoelectric-pycaml-8614105 -cclib -lpycaml_stubs -ccopt -I/usr/include/python3.5m -cclib -lpython3.5m -a chemoelectric-pycaml-8614105/pycaml.cmx -o chemoelectric-pycaml-8614105/pycaml.cmxa cp chemoelectric-pycaml-8614105/pycaml.cmxa chemoelectric-pycaml-8614105/pycaml.a chemoelectric-pycaml-8614105/pycaml.cmi chemoelectric-pycaml-8614105/libpycaml_stubs.a . if [ -n "pycaml" ]; then \ cp chemoelectric-pycaml-8614105/dllpycaml_stubs.so .; \ fi make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' /usr/bin/ocamlopt.opt -I parmap.1.0-rc7.1 -cclib -lparmap_stubs -c parmap.1.0-rc7.1/bytearray.ml -o parmap.1.0-rc7.1/bytearray.cmx File "parmap.1.0-rc7.1/bytearray.ml", line 47, characters 10-23: Warning 3: deprecated: String.create Use Bytes.create instead. File "parmap.1.0-rc7.1/bytearray.ml", line 69, characters 12-25: Warning 3: deprecated: String.create Use Bytes.create instead. /usr/bin/ocamlopt.opt -I parmap.1.0-rc7.1 -cclib -lparmap_stubs -c parmap.1.0-rc7.1/parmap_utils.ml -o parmap.1.0-rc7.1/parmap_utils.cmx /usr/bin/ocamlopt.opt -I parmap.1.0-rc7.1 -cclib -lparmap_stubs -c parmap.1.0-rc7.1/setcore.ml -o parmap.1.0-rc7.1/setcore.cmx /usr/bin/ocamlopt.opt -I parmap.1.0-rc7.1 -cclib -lparmap_stubs -c parmap.1.0-rc7.1/parmap.ml -o parmap.1.0-rc7.1/parmap.cmx File "parmap.1.0-rc7.1/parmap.ml", line 540, characters 12-24: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -I parmap.1.0-rc7.1 -cclib -lparmap_stubs -a parmap.1.0-rc7.1/bytearray.cmx parmap.1.0-rc7.1/parmap_utils.cmx parmap.1.0-rc7.1/setcore.cmx parmap.1.0-rc7.1/parmap.cmx -o parmap.1.0-rc7.1/parmap.cmxa cp parmap.1.0-rc7.1/parmap.cmxa parmap.1.0-rc7.1/bytearray.cmx parmap.1.0-rc7.1/parmap_utils.cmx parmap.1.0-rc7.1/setcore.cmx parmap.1.0-rc7.1/parmap.cmx parmap.1.0-rc7.1/parmap.a parmap.1.0-rc7.1/bytearray.cmi parmap.1.0-rc7.1/parmap_utils.cmi parmap.1.0-rc7.1/setcore.cmi parmap.1.0-rc7.1/parmap.cmi parmap.1.0-rc7.1/libparmap_stubs.a . if [ -n "parmap" ]; then \ cp parmap.1.0-rc7.1/dllparmap_stubs.so .; \ fi make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -c ocamlextra/dumper.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -c commands.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -c common.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -c ograph_simple.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -c ograph_extended.ml /usr/bin/ocamlopt.opt -unsafe -I ocamlextra -a -o commons.cmxa ocamlextra/dumper.cmx commands.cmx common.cmx ograph_simple.cmx ograph_extended.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c config.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c flag.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c iteration.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c regexp_pcre.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c regexp.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -a -o globals.cmxa config.cmx flag.cmx iteration.cmx regexp_pcre.cmx regexp.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c flag_ctl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ast_ctl.ml skipped building ast_ctl.cmo in optimizing mode: ast_ctl.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -a -o ctl.cmxa flag_ctl.cmx ast_ctl.cmx pretty_print_ctl.cmx ctl_engine.cmx wrapper_ctl.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c flag_parsing_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast0_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c pretty_print_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c visitor_ast0_types.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c visitor_ast.ml skipped building visitor_ast0_types.cmo in optimizing mode: visitor_ast0_types.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c visitor_ast0.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c ast0toast.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unparse_ast0.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unify_ast.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c compute_lines.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c comm_assoc.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c iso_pattern.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c iso_compile.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c single_statement.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c simple_assignments.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c get_metas.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c stmtlist.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c check_meta.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c top_level.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c type_infer.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c test_exps.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c unitary_ast0.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c arity.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c index.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c context_neg.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c adjust_pragmas.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c insert_plus.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c function_prototypes.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c semantic_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c data.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c free_vars.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c safe_for_multi_decls.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parse_printf.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parse_aux.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c disjdistr.ml skipped building semantic_cocci.cmo in optimizing mode: semantic_cocci.cmx will be built instead. skipped building flag_parsing_cocci.cmo in optimizing mode: flag_parsing_cocci.cmx will be built instead. skipped building parse_aux.cmo in optimizing mode: parse_aux.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parser_cocci_menhir.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c lexer_cocci.ml File "lexer_cocci.ml", line 2679, characters 27-39: Warning 3: deprecated: Array.create Use Array.make instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c lexer_cli.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c lexer_script.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c cocci_grep.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c dpll.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c get_constants2.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c id_utils.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c git_grep.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c adjacency.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c commas_on_lists.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c parse_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -c command_line.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/menhirLib -a -o cocci_parser.cmxa menhirLib.cmx flag_parsing_cocci.cmx ast_cocci.cmx ast0_cocci.cmx pretty_print_cocci.cmx visitor_ast0_types.cmx visitor_ast.cmx visitor_ast0.cmx ast0toast.cmx unparse_ast0.cmx unify_ast.cmx compute_lines.cmx comm_assoc.cmx iso_pattern.cmx iso_compile.cmx single_statement.cmx simple_assignments.cmx get_metas.cmx stmtlist.cmx check_meta.cmx top_level.cmx type_infer.cmx test_exps.cmx unitary_ast0.cmx arity.cmx index.cmx context_neg.cmx adjust_pragmas.cmx insert_plus.cmx function_prototypes.cmx semantic_cocci.cmx data.cmx free_vars.cmx safe_for_multi_decls.cmx parse_printf.cmx parse_aux.cmx disjdistr.cmx lexer_cocci.cmx parser_cocci_menhir.cmx lexer_cli.cmx lexer_script.cmx cocci_grep.cmx dpll.cmx get_constants2.cmx id_utils.cmx git_grep.cmx adjacency.cmx commas_on_lists.cmx parse_cocci.cmx command_line.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_annot.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c flag_parsing_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_stat.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c ast_c.ml skipped building token_c.cmo in optimizing mode: token_c.cmx will be built instead. skipped building ast_c.cmo in optimizing mode: ast_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c includes.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c control_flow_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c visitor_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c lib_parsing_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c control_flow_c_build.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c pretty_print_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c semantic_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c lexer_parser.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parser_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c lexer_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parse_string_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_helpers.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c token_views_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_token_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_hacks.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_analysis_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_cocci.ml skipped building parsing_stat.cmo in optimizing mode: parsing_stat.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_c.ml File "unparse_c.ml", line 2337, characters 6-18: Warning 3: deprecated: String.unsafe_set /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c unparse_hrule.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_recovery_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parsing_consistency_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c danger.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c parse_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c type_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c cpp_ast_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c type_annoter_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c comment_annotater_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c compare_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -c test_parsing_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -a -o parsing_c.cmxa token_annot.cmx flag_parsing_c.cmx parsing_stat.cmx includes.cmx token_c.cmx ast_c.cmx control_flow_c.cmx visitor_c.cmx lib_parsing_c.cmx control_flow_c_build.cmx pretty_print_c.cmx semantic_c.cmx lexer_parser.cmx parser_c.cmx lexer_c.cmx parse_string_c.cmx token_helpers.cmx token_views_c.cmx cpp_token_c.cmx parsing_hacks.cmx cpp_analysis_c.cmx unparse_cocci.cmx unparse_c.cmx unparse_hrule.cmx parsing_recovery_c.cmx parsing_consistency_c.cmx danger.cmx parse_c.cmx type_c.cmx cpp_ast_c.cmx type_annoter_c.cmx comment_annotater_c.cmx compare_c.cmx test_parsing_c.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c externalanalysis.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c exposed_modules.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c coccilib.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c yes_prepare_ocamlcocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c prepare_ocamlcocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o cocciocaml.cmxa externalanalysis.cmx exposed_modules.cmx coccilib.cmx ocamlcocci_aux.cmx yes_prepare_ocamlcocci.cmx prepare_ocamlcocci.cmx run_ocamlcocci.cmx for i in `grep " (\*" exposed_modules.ml | sed "s/^.*(\* //" | sed "s/\..* \*)$//"`; do cp ../$i.cmi .; done make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c flag_matcher.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c lib_engine.ml skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. skipped building lib_engine.cmo in optimizing mode: lib_engine.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c pretty_print_engine.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c check_exhaustive_pattern.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c check_reachability.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c c_vs_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c isomorphisms_c_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c cocci_vs_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c pattern_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c transformation_c.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c asttomember.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c asttoctl2.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c ctltotex.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c postprocess_transinfo.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -c ctlcocci_integration.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -a -o cocciengine.cmxa flag_matcher.cmx lib_engine.cmx pretty_print_engine.cmx check_exhaustive_pattern.cmx check_reachability.cmx c_vs_c.cmx isomorphisms_c_c.cmx cocci_vs_c.cmx pattern_c.cmx transformation_c.cmx asttomember.cmx asttoctl2.cmx ctltotex.cmx postprocess_transinfo.cmx ctlcocci_integration.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c ast_popl.ml skipped building ast_popl.cmo in optimizing mode: ast_popl.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c flag_popl.ml skipped building ../engine/lib_engine.cmo in optimizing mode: ../engine/lib_engine.cmx will be built instead. skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o popl.cmxa ast_popl.cmx asttopopl.cmx insert_quantifiers.cmx pretty_print_popl.cmx flag_popl.cmx popltoctl.cmx popl.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -a -o extra.cmxa classic_patch.cmx kbuild.cmx maintainers.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/python' skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -c pycocci_aux.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -c yes_pycocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -c pycocci.ml /usr/bin/ocamlopt.opt -unsafe -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -a -o coccipython.cmxa pycocci_aux.cmx yes_pycocci.cmx pycocci.cmx make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' Compiling spgen in native code... make -C source all.opt make[5]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' /usr/bin/ocamlopt.opt -g -I ../../../commons -I ../../../commons/ocamlextra -I ../../../globals -I ../../../parsing_cocci -I ../../../parsing_c -I /usr/lib64/ocaml/pcre -o spgen.opt str.cmxa unix.cmxa bigarray.cmxa nums.cmxa /usr/lib64/ocaml/pcre/pcre.cmxa /usr/lib64/ocaml/dynlink.cmxa ../../../commons/commons.cmxa ../../../globals/globals.cmxa ../../../parsing_cocci/cocci_parser.cmxa ../../../parsing_c/parsing_c.cmxa spgen_lexer.ml globals.mli ast_tostring.mli detect_patch.mli meta_variable.mli snapshot.mli user_input.mli position_generator.mli disj_generator.mli rule_body.mli rule_header.mli context_rule.mli script_rule.mli file_transform.mli spgen_interactive.mli spgen_config.mli spgen.mli spgen_test.mli globals.ml ast_tostring.ml detect_patch.ml meta_variable.ml snapshot.ml user_input.ml position_generator.ml disj_generator.ml rule_body.ml rule_header.ml context_rule.ml script_rule.ml file_transform.ml spgen_interactive.ml spgen_config.ml spgen.ml spgen_test.ml main.ml make[5]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' The native code version of spgen can now be installed via 'make install'. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make spatch.opt BUILD_OPT=yes make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' cp chemoelectric-pycaml-8614105/pycaml.cmxa chemoelectric-pycaml-8614105/pycaml.a chemoelectric-pycaml-8614105/pycaml.cmi chemoelectric-pycaml-8614105/libpycaml_stubs.a . if [ -n "pycaml" ]; then \ cp chemoelectric-pycaml-8614105/dllpycaml_stubs.so .; \ fi make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' cp parmap.1.0-rc7.1/parmap.cmxa parmap.1.0-rc7.1/bytearray.cmx parmap.1.0-rc7.1/parmap_utils.cmx parmap.1.0-rc7.1/setcore.cmx parmap.1.0-rc7.1/parmap.cmx parmap.1.0-rc7.1/parmap.a parmap.1.0-rc7.1/bytearray.cmi parmap.1.0-rc7.1/parmap_utils.cmi parmap.1.0-rc7.1/setcore.cmi parmap.1.0-rc7.1/parmap.cmi parmap.1.0-rc7.1/libparmap_stubs.a . if [ -n "parmap" ]; then \ cp parmap.1.0-rc7.1/dllparmap_stubs.so .; \ fi make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[4]: 'commons.cmxa' is up to date. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/commons' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[4]: 'globals.cmxa' is up to date. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/globals' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' skipped building ast_ctl.cmo in optimizing mode: ast_ctl.cmx will be built instead. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ctl' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' skipped building visitor_ast0_types.cmo in optimizing mode: visitor_ast0_types.cmx will be built instead. skipped building semantic_cocci.cmo in optimizing mode: semantic_cocci.cmx will be built instead. skipped building flag_parsing_cocci.cmo in optimizing mode: flag_parsing_cocci.cmx will be built instead. skipped building parse_aux.cmo in optimizing mode: parse_aux.cmx will be built instead. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_cocci' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' skipped building token_c.cmo in optimizing mode: token_c.cmx will be built instead. skipped building ast_c.cmo in optimizing mode: ast_c.cmx will be built instead. skipped building parsing_stat.cmo in optimizing mode: parsing_stat.cmx will be built instead. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/parsing_c' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. skipped building lib_engine.cmo in optimizing mode: lib_engine.cmx will be built instead. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/engine' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' skipped building ast_popl.cmo in optimizing mode: ast_popl.cmx will be built instead. skipped building ../engine/lib_engine.cmo in optimizing mode: ../engine/lib_engine.cmx will be built instead. skipped building ../ctl/ast_ctl.cmo in optimizing mode: ../ctl/ast_ctl.cmx will be built instead. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/popl09' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[4]: 'extra.cmxa' is up to date. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/extra' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/python' skipped building ../parsing_c/ast_c.cmo in optimizing mode: ../parsing_c/ast_c.cmx will be built instead. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/python' make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' Compiling spgen in native code... make -C source all.opt make[4]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' make[4]: Nothing to be done for 'all.opt'. make[4]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' The native code version of spgen can now be installed via 'make install'. make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' /usr/bin/ocamlopt.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c flag_cocci.ml /usr/bin/ocamlopt.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c cocci.ml /usr/bin/ocamlopt.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c testing.ml /usr/bin/ocamlopt.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c read_options.ml /usr/bin/ocamlopt.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c main.ml /usr/bin/ocamlopt.opt -unsafe -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap/ -I /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml/ -I /usr/lib64/ocaml -I /usr/lib64/ocaml/menhirLib -I /usr/lib64/ocaml/pcre -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -cclib -lpycaml_stubs -cclib -lpython3.5m -ccopt -lpcre -cclib -L/usr/lib64/ocaml/pcre -cclib -lpcre_stubs -cclib -lparmap_stubs -o spatch.opt str.cmxa unix.cmxa bigarray.cmxa nums.cmxa /usr/lib64/ocaml/dynlink.cmxa /builddir/build/BUILD/coccinelle-1.0.5/bundles/pycaml//pycaml.cmxa /usr/lib64/ocaml/pcre/pcre.cmxa /builddir/build/BUILD/coccinelle-1.0.5/bundles/parmap//parmap.cmxa commons/commons.cmxa globals/globals.cmxa ctl/ctl.cmxa parsing_cocci/cocci_parser.cmxa parsing_c/parsing_c.cmxa ocaml/cocciocaml.cmxa engine/cocciengine.cmxa popl09/popl.cmxa extra/extra.cmxa python/coccipython.cmxa flag_cocci.cmx cocci.cmx testing.cmx read_options.cmx main.cmx make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' The compilation of spatch.opt finished. spatch.opt can be installed or used. make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make preinstall make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make -C docs spatch.1 make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/docs' make[2]: Nothing to be done for 'spatch.1'. make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/docs' cp scripts/spatch.sh scripts/spatch chmod +x scripts/spatch cp scripts/spatch.sh scripts/spatch.opt chmod +x scripts/spatch.opt cp scripts/spatch.sh scripts/spatch.byte chmod +x scripts/spatch.byte make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make docs make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/docs' make -C manual all make[3]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/docs/manual' /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (preloaded format=pdflatex) restricted \write18 enabled. kpathsea: Running mktexfmt pdflatex.fmt mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2015/texmf-config/web2c/fmtutil.cnf mktexfmt [WARNING]: double mention of tex/tex in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: running `pdftex -ini -jobname=pdflatex -progname=pdflatex -translate-file=cp227.tcx *pdflatex.ini' ... This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (INITEX) restricted \write18 enabled. (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) entering extended mode (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/pdflatex.ini (/usr/share/texlive/texmf-dist/tex/generic/config/pdftexconfig.tex) (/usr/share/texlive/texmf-dist/tex/latex/base/latex.ltx (/usr/share/texlive/texmf-dist/tex/latex/base/texsys.cfg) ./texsys.aux found \@currdir set to: ./. Assuming \openin and \input have the same search path. Defining UNIX/DOS style filename parser. catcodes, registers, compatibility for TeX 2, parameters, LaTeX2e <2015/01/01> patch level 2 hacks, control, par, spacing, files, font encodings, lengths, ==================================== Local config file fonttext.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fonttext.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.def) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmss.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1cmtt.fd))) ==================================== Local config file fontmath.cfg used ==================================== (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/fontmath.ltx === Don't modify this file, use a .cfg file instead === (/usr/share/texlive/texmf-dist/tex/latex/base/omlcmm.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmsy.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omxcmex.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/ucmr.fd))) ==================================== Local config file preload.cfg used ===================================== (/usr/share/texlive/texmf-dist/tex/latex/base/preload.cfg (/usr/share/texlive/texmf-dist/tex/latex/base/preload.ltx)) page nos., x-ref, environments, center, verbatim, math definitions, boxes, title, sectioning, contents, floats, footnotes, index, bibliography, output, =========================================== Local configuration file hyphen.cfg used =========================================== (/usr/share/texlive/texmf-dist/tex/generic/babel/hyphen.cfg (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/hyphen.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/dumyhyph.tex) (/usr/share/texlive/texmf-dist/tex/generic/hyphen/zerohyph.tex)) ) ) Beginning to dump on file pdflatex.fmt (preloaded format=pdflatex 2016.7.19) 4997 strings of total length 68595 44063 memory locations dumped; current usage is 144&43469 3343 multiletter control sequences \font\nullfont=nullfont \font\OMX/cmex/m/n/10=cmex10 \font\tenln=line10 \font\tenlnw=linew10 \font\tencirc=lcircle10 \font\tencircw=lcirclew10 \font\OT1/cmr/m/n/5=cmr5 \font\OT1/cmr/m/n/7=cmr7 \font\OT1/cmr/m/n/10=cmr10 \font\OML/cmm/m/it/5=cmmi5 \font\OML/cmm/m/it/7=cmmi7 \font\OML/cmm/m/it/10=cmmi10 \font\OMS/cmsy/m/n/5=cmsy5 \font\OMS/cmsy/m/n/7=cmsy7 \font\OMS/cmsy/m/n/10=cmsy10 3633 words of font info for 14 preloaded fonts 14 hyphenation exceptions Hyphenation trie of length 6081 has 183 ops out of 35111 2 for language 1 181 for language 0 0 words of pdfTeX memory 0 indirect objects No pages of output. Transcript written on pdflatex.log. mktexfmt [INFO]: /builddir/.texlive2015/texmf-var/web2c/pdftex/pdflatex.fmt installed. mktexfmt [INFO]: Disabled formats: 41 mktexfmt [INFO]: Successfully rebuild formats: 1 mktexfmt [INFO]: Not selected formats: 13 entering extended mode (./manual.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9m> and hyphenation patterns for 2 languages loaded. (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.sty (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrecat.tex ) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.8.9 <2013/10/06> Copyright (c) 1991-2013 by Kristoffer H. Rose and others Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, direction, utility macros; pictures: \xy, positions, objects, decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.8 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.14 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.7 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.11 loaded) loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.10 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.8 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.11 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.14 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.11 loaded) loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf.tex Xy-pic option: PDF driver v.1.7 Xy-pic pdf driver: `color' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-co.tex loaded) Xy-pic pdf driver: `curve' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-cu.tex loaded) Xy-pic pdf driver: `frame' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-fr.tex loaded) Xy-pic pdf driver: `line' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-li.tex loaded) Xy-pic pdf driver: `rotate' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-ro.tex loaded) loaded)) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix <2008/02/07> (tvz)) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) No file manual.aux. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd) (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (../../version) [1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex .map}]pdfTeX warning (ext4): destination with the same identifier (name{page.1} ) has been already used, duplicate ignored \relax l.116 \chapter *{Foreword} [1] (../../version) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsptm.fd) LaTeX Warning: Reference `part:usermanual' on page 2 undefined on input line 12 1. LaTeX Warning: Reference `part:refmanual' on page 2 undefined on input line 122 . (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Underfull \hbox (badness 10000) in paragraph at lines 136--139 [2] [3] (./introduction.tex Chapter 1. ) (./installing.tex [4] Chapter 2. ) (./tutorial.tex [5] Chapter 3. ) [6] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [7] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [8] Underfull \hbox (badness 10000) in paragraph at lines 142--146 Underfull \hbox (badness 10000) in paragraph at lines 147--153 Underfull \hbox (badness 10000) in paragraph at lines 154--175 Underfull \hbox (badness 10000) in paragraph at lines 178--194 [9] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [10] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [11] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [12] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [13] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) (./tips.tex [14] Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/ n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r eadb((foo)) ) (./isomorphisms.tex [15] Chapter 5. ) (./parsing.tex [16] Chapter 6. ) (./workflow.tex [17] Chapter 7. ) (./advanced.tex [18] Chapter 8. ) [19] [20] Chapter 9. (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) Overfull \hbox (1.84148pt too wide) in paragraph at lines 28--31 []\T1/ptm/m/n/10 A HTML ver-sion of this doc-u-men-ta-tion is avail-able on-lin e at []$\T1/pcr/m/n/10 http : / / coccinelle . lip6 . fr / docs / main _ Overfull \hbox (6.40387pt too wide) in paragraph at lines 82--115 [] [21] [22] Overfull \hbox (37.94264pt too wide) in paragraph at lines 186--247 [] [23] [24] [25] LaTeX Warning: Reference `types' on page 26 undefined on input line 410. [26] [27] [28] [29] [30] [31] [32] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1100--1102 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [33] [34] [35] Overfull \hbox (2.84467pt too wide) in paragraph at lines 1294--1338 [] [36] [37] [38] [39]) [40] Chapter 10. (./spatch_options.tex Overfull \hbox (2.95383pt too wide) in paragraph at lines 40--43 []\T1/pcr/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/p tm/m/n/10 : Ap-ply the se-man-tic patch (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [41] [42] [43] Overfull \hbox (53.96228pt too wide) in paragraph at lines 194--195 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex-cocci.sh\T1/ptm /m/n/10 . Overfull \hbox (23.08131pt too wide) in paragraph at lines 208--208 \T1/ptm/m/n/10 vant. This op-tion re-quires that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us-ing the script \T1/pcr/m/n/10 coccinelle/scripts/ [44] Overfull \hbox (31.46255pt too wide) in paragraph at lines 302--303 \T1/ptm/m/n/10 on which the er-ror oc-curs. This func-tyion should then be pass ed to the fuc-tion \T1/pcr/m/n/10 Parse_c.set_parse_error_function\T1/ptm/m/n/1 0 . [45] [46] [47] [48] [49] Overfull \hbox (6.74498pt too wide) in paragraph at lines 639--640 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [50]) [51] [52] (./license.txt [53] [54] [55] [56]) No file manual.bbl. [57] (./manual.aux) Package rerunfilecheck Warning: File `manual.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) ) (see the transcript file for additional information)pdfTeX warning (dest): name {unary\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pos\\protect\040\\T1\\textunderscore\040constraint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040cst} has been referenced but does not exist, replace d by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040meta} has been referenced but does not exist, replac ed by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040contraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040contra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq\\prot ect\040\\T1\\textunderscore\040mid} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040ceq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040virt\\protect\040\\T1\\textu kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeob10 kpathsea: Running mktexfmt mf.base mktexfmt: mktexfmt is using the following fmtutil.cnf files (in precedence order): mktexfmt: /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: mktexfmt is using the following fmtutil.cnf file for writing changes: mktexfmt: /builddir/.texlive2015/texmf-config/web2c/fmtutil.cnf mktexfmt [WARNING]: double mention of tex/tex in /usr/share/texlive/texmf-dist/web2c/fmtutil.cnf mktexfmt: running `mf-nowin -ini -jobname=mf -progname=mf -translate-file=cp227.tcx mf.ini' ... This is METAFONT, Version 2.7182818 (TeX Live 2016/dev) (INIMF) (/usr/share/texlive/texmf-dist/web2c/cp227.tcx) (/usr/share/texlive/texmf-dist/metafont/config/mf.ini (/usr/share/texlive/texmf-dist/metafont/base/plain.mf Preloading the plain base, version 2.71: preliminaries, basic constants and mathematical macros, macros for converting from device-independent units to pixels, macros and tables for various modes of operation, macros for drawing and filling, macros for proof labels and rules, macros for character and font administration, and a few last-minute items.) (/usr/share/texlive/texmf-dist/metafont/misc/modes.mf) ) Beginning to dump on file mf.base (preloaded base=mf 2016.7.19) 2226 strings of total length 30025 11855 memory locations dumped; current usage is 3651&7844 1004 symbolic tokens Transcript written on mf.log. mktexfmt [INFO]: /builddir/.texlive2015/texmf-var/web2c/metafont/mf.base installed. mktexfmt [INFO]: Disabled formats: 41 mktexfmt [INFO]: Successfully rebuild formats: 1 mktexfmt [INFO]: Not selected formats: 13 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeob10 This is METAFONT, Version 2.7182818 (TeX Live 2016/dev) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeob10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeob10.tfm. Output written on ifgeob10.600gf (67 characters, 15036 bytes). Transcript written on ifgeob10.log. mktexpk: /builddir/.texlive2015/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeob10.600pk: successfully generated. nderscore\040or\\pro tect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040regexp} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one kpathsea: Running mktexpk --mfmode / --bdpi 600 --mag 1+0/600 --dpi 600 ifgeo10 mktexpk: Running mf-nowin -progname=mf \mode:=ljfour; mag:=1+0/600; nonstopmode; input ifgeo10 This is METAFONT, Version 2.7182818 (TeX Live 2016/dev) (preloaded base=mf) (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo10.mf (/usr/share/texlive/texmf-dist/fonts/source/public/ifsym/ifgeo.gen [32] [48] [64] [80] [96] [112] [0] [1] [2] [3] [4] [33] [49] [65] [81] [97] [113] [34] [50] [66] [82] [98] [114] [35] [51] [67] [83] [99] [115] [36] [52] [68] [84] [100] [116] [37] [53] [69] [85] [101] [117] [38] [54] [70] [86] [102] [118] [47] [63] [79] [95] [111] [127] [5] [6] [7] [8] [9] [13] [14] [15] [26] [27] [28] [29] [30] [31] ) ) Font metrics written on ifgeo10.tfm. Output written on ifgeo10.600gf (67 characters, 15684 bytes). Transcript written on ifgeo10.log. mktexpk: /builddir/.texlive2015/texmf-var/fonts/pk/ljfour/public/ifsym/ifgeo10.600pk: successfully generated. { /usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (58 pages, 290462 bytes). Transcript written on manual.log. /usr/bin/pdflatex -halt-on-error manual.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9m> and hyphenation patterns for 2 languages loaded. (./main.tex (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg) (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty))) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty) (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty **************************************** * Local config file subfigure.cfg used * **************************************** (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.sty (/usr/share/texlive/texmf-dist/tex/generic/xypic/xy.tex Bootstrap'ing: catcodes, docmode, (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrecat.tex ) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyidioms.tex) Xy-pic version 3.8.9 <2013/10/06> Copyright (c) 1991-2013 by Kristoffer H. Rose and others Xy-pic is free software: see the User's Guide for details. Loading kernel: messages; fonts; allocations: state, direction, utility macros; pictures: \xy, positions, objects, decorations; kernel objects: directionals, circles, text; options; algorithms: directions, edges, connections; Xy-pic loaded) (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyall.tex Xy-pic option: All features v.3.8 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycurve.tex Xy-pic option: Curve and Spline extension v.3.12 curve, circles, loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyframe.tex Xy-pic option: Frame and Bracket extension v.3.14 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycmtip.tex Xy-pic option: Computer Modern tip extension v.3.7 (/usr/share/texlive/texmf-dist/tex/generic/xypic/xytips.tex Xy-pic option: More Tips extension v.3.11 loaded) loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyline.tex Xy-pic option: Line styles extension v.3.10 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyrotate.tex Xy-pic option: Rotate and Scale extension v.3.8 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xycolor.tex Xy-pic option: Colour extension v.3.11 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xymatrix.tex Xy-pic option: Matrix feature v.3.14 loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xyarrow.tex Xy-pic option: Arrow and Path feature v.3.9 path, \ar, loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xygraph.tex Xy-pic option: Graph feature v.3.11 loaded) loaded) (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf.tex Xy-pic option: PDF driver v.1.7 Xy-pic pdf driver: `color' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-co.tex loaded) Xy-pic pdf driver: `curve' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-cu.tex loaded) Xy-pic pdf driver: `frame' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-fr.tex loaded) Xy-pic pdf driver: `line' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-li.tex loaded) Xy-pic pdf driver: `rotate' extension support (/usr/share/texlive/texmf-dist/tex/generic/xypic/xypdf-ro.tex loaded) loaded)) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty Style option: `fancyvrb' v2.7a, with DG/SPQR fixes, and firstline=lastline fix <2008/02/07> (tvz)) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/boxedminipage/boxedminipage.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/endnotes/endnotes.sty) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (./macros_common.tex) (./macros_options.tex) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros.tex) (./manual.aux) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd) (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./manual.out) (./manual.out) (../../version) [1{/usr/share/texlive/texmf-dist/ fonts/map/pdftex/updmap/pdftex.map}] (./manual.toc (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd)pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, dup licate ignored \relax l.33 ...}{\numberline {9.6}Types}{34}{section.9.6} [1]) [2] (../../version) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsptm.fd) Underfull \hbox (badness 10000) in paragraph at lines 136--139 [3] [4] (./introduction.tex Chapter 1. ) (./installing.tex [5] Chapter 2. ) (./tutorial.tex [6] Chapter 3. ) [7] Chapter 4. (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [8] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [9] Underfull \hbox (badness 10000) in paragraph at lines 142--146 Underfull \hbox (badness 10000) in paragraph at lines 147--153 Underfull \hbox (badness 10000) in paragraph at lines 154--175 Underfull \hbox (badness 10000) in paragraph at lines 178--194 [10] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [11] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [12] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [13] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [14] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) (./tips.tex [15] Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/ n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r eadb((foo)) ) (./isomorphisms.tex [16] Chapter 5. ) (./parsing.tex [17] Chapter 6. ) (./workflow.tex [18] Chapter 7. ) (./advanced.tex [19] Chapter 8. ) [20] [21] Chapter 9. (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) Overfull \hbox (1.84148pt too wide) in paragraph at lines 28--31 []\T1/ptm/m/n/10 A HTML ver-sion of this doc-u-men-ta-tion is avail-able on-lin e at []$\T1/pcr/m/n/10 http : / / coccinelle . lip6 . fr / docs / main _ Overfull \hbox (6.40387pt too wide) in paragraph at lines 82--115 [] [22] [23] Overfull \hbox (37.94264pt too wide) in paragraph at lines 186--247 [] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1100--1102 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [34] [35] [36] Overfull \hbox (2.84467pt too wide) in paragraph at lines 1294--1338 [] [37] [38] [39] [40]) [41] Chapter 10. (./spatch_options.tex Overfull \hbox (2.95383pt too wide) in paragraph at lines 40--43 []\T1/pcr/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/p tm/m/n/10 : Ap-ply the se-man-tic patch (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [42] [43] [44] Overfull \hbox (53.96228pt too wide) in paragraph at lines 194--195 \T1/ptm/m/n/10 that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us -ing the script \T1/pcr/m/n/10 coccinelle/scripts/ glimpseindex-cocci.sh\T1/ptm /m/n/10 . Overfull \hbox (23.08131pt too wide) in paragraph at lines 208--208 \T1/ptm/m/n/10 vant. This op-tion re-quires that a di-rec-tory is spec-i-fied. The in-dex may be cre-ated us-ing the script \T1/pcr/m/n/10 coccinelle/scripts/ [45] Overfull \hbox (31.46255pt too wide) in paragraph at lines 302--303 \T1/ptm/m/n/10 on which the er-ror oc-curs. This func-tyion should then be pass ed to the fuc-tion \T1/pcr/m/n/10 Parse_c.set_parse_error_function\T1/ptm/m/n/1 0 . [46] [47] [48] [49] [50] Overfull \hbox (6.74498pt too wide) in paragraph at lines 639--640 \T1/pcr/m/n/10 foo.cocci --dir /var/linuxes/linux-next/drivers --patch /var/lin uxes/linux-next\T1/ptm/m/n/10 . [51]) [52] [53] (./license.txt [54] [55] [56] [57]) No file manual.bbl. [58] (./manual.aux) LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) ) (see the transcript file for additional information)pdfTeX warning (dest): name {unary\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pos\\protect\040\\T1\\textunderscore\040constraint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040cst} has been referenced but does not exist, replace d by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040meta} has been referenced but does not exist, replac ed by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040contraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040contra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq\\prot ect\040\\T1\\textunderscore\040mid} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040ceq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040virt\\protect\040\\T1\\textunderscore\040or\\pro tect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040regexp} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one { /usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (59 pages, 299290 bytes). Transcript written on manual.log. #spatch --control-flow-to-file flow1.c #spatch --control-flow-to-file flow2.c #dot -Gsize="0.5,0.5" -Tpdf flow1:main.dot > flow1.pdf #dot -Gsize="0.5,0.5" -Tpdf flow2:main.dot > flow2.pdf /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9m> and hyphenation patterns for 2 languages loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) No file main_grammar.aux. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (1.84148pt too wide) in paragraph at lines 28--31 []\T1/ptm/m/n/10 A HTML ver-sion of this doc-u-men-ta-tion is avail-able on-lin e at []$\T1/pcr/m/n/10 http : / / coccinelle . lip6 . fr / docs / main _ Overfull \hbox (6.40143pt too wide) in paragraph at lines 82--115 [] [1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsptm.fd) [2] Overfull \hbox (37.9402pt too wide) in paragraph at lines 186--247 [] [3] [4] [5] LaTeX Warning: Reference `types' on page 6 undefined on input line 410. [6] [7] [8] [9] [10] [11] [12] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1100--1102 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [13] [14] [15] Overfull \hbox (2.84222pt too wide) in paragraph at lines 1294--1338 [] [16] [17] [18] [19]) [20] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [21] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [22] Underfull \hbox (badness 10000) in paragraph at lines 142--146 Underfull \hbox (badness 10000) in paragraph at lines 147--153 Underfull \hbox (badness 10000) in paragraph at lines 154--175 Underfull \hbox (badness 10000) in paragraph at lines 178--194 [23] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [24] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [25] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [26] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [27] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) [28] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/ n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r eadb((foo)) ) [29] (./main_grammar.aux (./examples.aux) (./tips.aux)) Package rerunfilecheck Warning: File `main_grammar.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information)pdfTeX warning (dest): name {unary\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pos\\protect\040\\T1\\textunderscore\040constraint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040cst} has been referenced but does not exist, replace d by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040meta} has been referenced but does not exist, replac ed by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040contraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040contra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq\\prot ect\040\\T1\\textunderscore\040mid} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040ceq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040virt\\protect\040\\T1\\textunderscore\040or\\pro tect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040regexp} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on main_grammar.pdf (29 pages, 226465 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error main_grammar.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main_grammar.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9m> and hyphenation patterns for 2 languages loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (./hevea.sty (/usr/share/texlive/texmf-dist/tex/latex/comment/comment.sty Excluding comment 'comment') Excluding comment 'rawhtml' Excluding comment 'htmlonly') (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def) (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvipsnam.def)) (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty) (./macros_listing_cocci.tex (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty)) (./macros_grammar.tex) (./macros_common.tex) (./macros.tex) (./main_grammar.aux (./examples.aux) (./tips.aux)) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./main_grammar.out) (./main_grammar.out) (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (../../version) (./cocci_syntax.tex (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd) Overfull \hbox (1.84148pt too wide) in paragraph at lines 28--31 []\T1/ptm/m/n/10 A HTML ver-sion of this doc-u-men-ta-tion is avail-able on-lin e at []$\T1/pcr/m/n/10 http : / / coccinelle . lip6 . fr / docs / main _ Overfull \hbox (6.40143pt too wide) in paragraph at lines 82--115 [] [1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] (/usr/share/texlive/texmf-dist/tex/latex/psnfss/omsptm.fd) [2] Overfull \hbox (37.9402pt too wide) in paragraph at lines 186--247 [] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] Overfull \hbox (47.81136pt too wide) in paragraph at lines 1100--1102 []\T1/ptm/m/n/10 Some kinds of terms can only ap-pear in + code. These in-clude com-ments, ifdefs, and at-tributes (\T1/pcr/m/n/10 __attribute__((...))\T1/ptm /m/n/10 ). [13] [14] [15] Overfull \hbox (2.84222pt too wide) in paragraph at lines 1294--1338 [] [16] [17] [18] [19]) [20] (./examples.tex Underfull \hbox (badness 10000) in paragraph at lines 11--16 Overfull \hbox (4.02878pt too wide) in paragraph at lines 17--73 [][] [21] Underfull \hbox (badness 10000) in paragraph at lines 77--83 [22] Underfull \hbox (badness 10000) in paragraph at lines 142--146 Underfull \hbox (badness 10000) in paragraph at lines 147--153 Underfull \hbox (badness 10000) in paragraph at lines 154--175 Underfull \hbox (badness 10000) in paragraph at lines 178--194 [23] Underfull \hbox (badness 10000) in paragraph at lines 205--212 Underfull \hbox (badness 10000) in paragraph at lines 213--238 [24] Underfull \hbox (badness 10000) in paragraph at lines 262--265 [25] Overfull \hbox (565.25523pt too wide) in paragraph at lines 341--381 [][] [26] Underfull \hbox (badness 10000) in paragraph at lines 385--394 Underfull \hbox (badness 10000) in paragraph at lines 411--422 [27] Underfull \hbox (badness 10000) in paragraph at lines 436--487 ) [28] (./tips.tex Overfull \hbox (6.12321pt too wide) in paragraph at lines 16--20 []\T1/ptm/m/n/10 However, if for some rea-son your code looks like []\T1/pcr/m/ n/10 bar = *(foo)\T1/ptm/m/n/10 , you will end up with []\T1/pcr/m/n/10 bar = r eadb((foo)) ) [29] (./main_grammar.aux (./examples.aux) (./tips.aux)) ) (see the transcript file for additional information)pdfTeX warning (dest): name {unary\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{nest\\protect\040\\T1\\textunderscore\040expr} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040n} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040d} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040o} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040var} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{case\\protect\040\\T1\\textunderscore\040line} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{iter\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{single\\protect\040\\T1\\textunderscore\040stmt} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{init\\protect\040\\T1\\textunderscore\040list\\prot ect\040\\T1\\textunderscore\040elem} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{typedef\\protect\040\\T1\\textunderscore\040ident} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{common\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{gram\\protect\040\\T1\\textunderscore\040p} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{stmt\\protect\040\\T1\\textunderscore\040seq} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{name\\protect\040\\T1\\textunderscore\040opt\\prote ct\040\\T1\\textunderscore\040decl} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{fn\\protect\040\\T1\\textunderscore\040ctype} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{d\\protect\040\\T1\\textunderscore\040ident} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{continue\\protect\040\\T1\\textunderscore\040struct \\protect\040\\T1\\textunderscore\040decl\\protect\040\\T1\\textunderscore\040l ist} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list\\protect\040\\T1\\textunderscore\040start } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{struct\\protect\040\\T1\\textunderscore\040decl\\pr otect\040\\T1\\textunderscore\040list} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{exp\\protect\040\\T1\\textunderscore\040whencode} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{dot\\protect\040\\T1\\textunderscore\040expr} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ctype\\protect\040\\T1\\textunderscore\040qualif} h as been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{generic\\protect\040\\T1\\textunderscore\040ctype} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{const\\protect\040\\T1\\textunderscore\040vol} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{grammar\\protect\040\\T1\\textunderscore\040ds} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040ds} has be en referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{one\\protect\040\\T1\\textunderscore\040decl} has b een referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{any\\protect\040\\T1\\textunderscore\040strict} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{rule\\protect\040\\T1\\textunderscore\040elem\\prot ect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, re placed by a fixed one pdfTeX warning (dest): name{when\\protect\040\\T1\\textunderscore\040code} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{decl\\protect\040\\T1\\textunderscore\040stmt} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040virt\\pr otect\040\\T1\\textunderscore\040metadecl} has been referenced but does not exi st, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metadecl } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pos\\protect\040\\T1\\textunderscore\040constraint} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{ANDAND\\protect\040\\T1\\textunderscore\040LIST} ha s been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040cst} has been referenced but does not exist, replace d by a fixed one pdfTeX warning (dest): name{id\\protect\040\\T1\\textunderscore\040or\\protect\ 040\\T1\\textunderscore\040meta} has been referenced but does not exist, replac ed by a fixed one pdfTeX warning (dest): name{binop\\protect\040\\T1\\textunderscore\040contraint } has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assign\\protect\040\\T1\\textunderscore\040op} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{assignop\\protect\040\\T1\\textunderscore\040contra int} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq\\prot ect\040\\T1\\textunderscore\040mid} has been referenced but does not exist, rep laced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040ceq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040virt\\protect\040\\T1\\textunderscore\040or\\pro tect\040\\T1\\textunderscore\040not\\protect\040\\T1\\textunderscore\040eq} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{pmid\\protect\040\\T1\\textunderscore\040with\\prot ect\040\\T1\\textunderscore\040regexp} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{bin\\protect\040\\T1\\textunderscore\040op} has bee n referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{COMMA\\protect\040\\T1\\textunderscore\040LIST} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{script\\protect\040\\T1\\textunderscore\040metavari ables} has been referenced but does not exist, replaced by a fixed one pdfTeX warning (dest): name{include\\protect\040\\T1\\textunderscore\040cocci} has been referenced but does not exist, replaced by a fixed one {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on main_grammar.pdf (29 pages, 228313 bytes). Transcript written on main_grammar.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9m> and hyphenation patterns for 2 languages loaded. (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) No file options.aux. (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 40--43 []\T1/cmtt/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/ cmr/m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/usr/share/texlive /texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6] [7] [8] Overfull \hbox (2.05338pt too wide) in paragraph at lines 549--550 [] \T1/cmr/bx/n/10 --pyoutput coc-cilib.output.Gtk, --pyoutput coc-cilib.outpu t.Console \T1/cmr/m/n/10 This con-trols whether Python (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10]) [11] (./options.aux) ) ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc} Output written on options.pdf (11 pages, 214234 bytes). Transcript written on options.log. /usr/bin/pdflatex -halt-on-error options.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./options.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9m> and hyphenation patterns for 2 languages loaded. (./main_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty) (/usr/share/texlive/texmf-dist/tex/latex/preprint/fullpage.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/ifsym/ifsym.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty)) (./macros_options.tex ) (./macros.tex) (./options.aux) (../../version) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd) LaTeX Warning: No \author given. (./spatch_options.tex (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd) Overfull \hbox (20.0204pt too wide) in paragraph at lines 40--43 []\T1/cmtt/m/n/10 spatch --sp-file foo.cocci --dir foodir --include-headers\T1/ cmr/m/n/10 : Ap-ply the se-man-tic patch \T1/cmtt/m/n/10 foo.cocci (/usr/share/texlive/texmf-dist/tex/latex/ifsym/uifgeo.fd) [1{/usr/share/texlive /texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6] [7] [8] Overfull \hbox (2.05338pt too wide) in paragraph at lines 549--550 [] \T1/cmr/bx/n/10 --pyoutput coc-cilib.output.Gtk, --pyoutput coc-cilib.outpu t.Console \T1/cmr/m/n/10 This con-trols whether Python (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmss.fd) [9] [10]) [11] (./options.aux) ) ) (see the transcript file for additional information){/usr/share/texlive/texmf-d ist/fonts/enc/dvips/cm-super/cm-super-t1.enc} Output written on options.pdf (11 pages, 214234 bytes). Transcript written on options.log. hevea -exec /usr/share/hevea/xxdate.exe main_grammar.tex Exclude comment 'comment' /usr/share/hevea/hyperref.hva:65: Warning: Ignoring option: 'pdfborder=0 0 0' ./main_grammar.aux:14: Giving up command: \addtokens ./main_grammar.aux:4: Giving up command: \AtBeginDocument ./main_grammar.aux:4: Giving up command: \HyperFirstAtBeginDocument ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Giving up command: \@readaux ./main_grammar.tex:37: Warning: Failure while reading .aux, reading .haux ./examples.tex:19: Warning: minipage, output may be poor ./examples.tex:40: Warning: minipage, output may be poor ./examples.tex:52: Warning: minipage, output may be poor ./examples.tex:342: Warning: keyval, unknown key: 'breaklines' ./examples.tex:399: Warning: Command not found: \lstdd@ ./examples.tex:399: Warning: Command not found: \lstlang@@ ./examples.tex:399: Warning: keyval, unknown key: 'breaklines' HeVeA Warning: Label(s) may have changed. Rerun me to get cross-references right. hevea -exec /usr/share/hevea/xxdate.exe main_grammar.tex Exclude comment 'comment' /usr/share/hevea/hyperref.hva:65: Warning: Ignoring option: 'pdfborder=0 0 0' ./main_grammar.aux:14: Giving up command: \addtokens ./main_grammar.aux:4: Giving up command: \AtBeginDocument ./main_grammar.aux:4: Giving up command: \HyperFirstAtBeginDocument ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Giving up command: \@readaux ./main_grammar.tex:37: Warning: Failure while reading .aux, reading .haux ./main_grammar.haux:10: Giving up command: \ifx ./main_grammar.haux:10: Giving up command: \@fst ./main_grammar.haux:10: Giving up command: \@funcall ./main_grammar.haux:10: Giving up command: \@newlabel ./main_grammar.haux:10: Giving up command: \newlabel ./main_grammar.tex:37: Giving up command: \input ./main_grammar.tex:37: Warning: Failure while reading .haux ./examples.tex:19: Warning: minipage, output may be poor ./examples.tex:40: Warning: minipage, output may be poor ./examples.tex:52: Warning: minipage, output may be poor ./examples.tex:342: Warning: keyval, unknown key: 'breaklines' ./examples.tex:399: Warning: Command not found: \lstdd@ ./examples.tex:399: Warning: Command not found: \lstlang@@ ./examples.tex:399: Warning: keyval, unknown key: 'breaklines' hacha -o index.html main_grammar.html make[3]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/docs/manual' make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/docs' make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/documentation' /usr/bin/pdflatex -halt-on-error documentation.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./documentation.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9m> and hyphenation patterns for 2 languages loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def))) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) No file documentation.aux. (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) [1{/usr/share/texlive/ texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] (./about.tex) [2] (./usage.tex LaTeX Warning: Reference `sudo' on page 3 undefined on input line 10. [3] LaTeX Warning: Reference `config' on page 4 undefined on input line 35. [4]) [5] (./implementation.tex) [6] (./knownissues.tex [7]) [8] (./future.tex) [9] (./documentation.aux) Package rerunfilecheck Warning: File `documentation.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ){/usr/share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr /share/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on documentation.pdf (9 pages, 304865 bytes). Transcript written on documentation.log. /usr/bin/pdflatex -halt-on-error documentation.tex This is pdfTeX, Version 3.14159265-2.6-1.40.16 (TeX Live 2016/dev) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./documentation.tex LaTeX2e <2015/01/01> patch level 2 Babel <3.9m> and hyphenation patterns for 2 languages loaded. (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2014/09/29 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def))) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu) (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu))) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def)) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty)) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty)) Package hyperref Message: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty)) (./documentation.aux) (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty)) (./documentation.out) (./documentation.out) (/usr/share/texlive/texmf-dist/tex/latex/base/t1cmtt.fd) (./documentation.toc) [1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] (./about.tex) [2] (./usage.tex [3] [4]) [5] (./implementation.tex) [6] (./knownissues.tex [7]) [8] (./future.tex) [9] (./documentation.aux) ){/usr/sha re/texlive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/usr/share/texl ive/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on documentation.pdf (9 pages, 314857 bytes). Transcript written on documentation.log. make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/documentation' make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' /usr/bin/mkdir -p ../docs/html /usr/bin/ocamldoc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -hide Pervasives -hide Exposed_modules \ -html -all-params -colorize-code -d ../docs/html ../parsing_c/ast_c.ml coccilib.ml Warning: Module or module type Exposed_modules not found /usr/bin/mkdir -p ../docs/man /usr/bin/ocamldoc -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -hide Pervasives -hide Exposed_modules \ -man -man-mini -d ../docs/man ../parsing_c/ast_c.ml coccilib.ml Warning: Module or module type Exposed_modules not found make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/ocaml' Finished building manuals make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' coccinelle can now be installed via 'make install' + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.rjLvAx + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64 ++ dirname /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64 + cd coccinelle-1.0.5 + make DESTDIR=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64 install /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/ocaml /usr/bin/install -c -m 644 standard.h /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 /usr/bin/install -c -m 644 standard.iso /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 /usr/bin/install -c -m 644 ocaml/*.cmi /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/ocaml/ Installing manuals in: /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/man /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/man/man1 /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/man/man3 /usr/bin/install -c -m 644 docs/spatch.1 /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/man/man1/ /usr/bin/install -c -m 644 docs/pycocci.1 /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/man/man1/ /usr/bin/install -c -m 644 docs/spgen.1 /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/man/man1/ /usr/bin/install -c -m 644 docs/Coccilib.3cocci /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/man/man3/ /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 './bundles/pycaml/dllpycaml_stubs.so' -> '/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/dllpycaml_stubs.so' Installing python support in: /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/python /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/*.py \ /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/python/coccilib /usr/bin/install -c -m 644 python/coccilib/coccigui/*.py \ /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/coccigui/pygui.glade \ /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/coccigui/pygui.gladep \ /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/python/coccilib/coccigui rm -f /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/spatch rm -f /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/spatch.opt rm -f /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/pycocci make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' make -C source install make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' # legacy cleanup, from when the tool was called sgen rm -f /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/sgen ../scripts/sgen.sh rm -rf /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/sgen rm -f /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spgen /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/spgen if [ -x spgen ]; then /usr/bin/install -c -m 755 spgen /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/spgen/spgen; fi if [ -x spgen.opt ]; then /usr/bin/install -c -m 755 spgen.opt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/spgen/spgen.opt; fi /usr/bin/install -c -m 755 ../scripts/spgen.sh /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spgen make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen/source' spgen installed: DONE!!! make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5/tools/spgen' /usr/bin/install -c -m 755 tools/pycocci /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' /usr/bin/install -c -m 755 scripts/spatch /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spatch make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' /usr/bin/install -c -m 755 spatch /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 /usr/bin/install -c -m 755 scripts/spatch.byte /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spatch.byte make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.5' /usr/bin/install -c -m 755 spatch.opt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 /usr/bin/install -c -m 755 scripts/spatch.opt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spatch.opt make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.5' You can also install spatch by copying the program spatch (available in this directory) anywhere you want and give it the right options to find its configuration files. + rm -f /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spatch.byte + rm -f /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spatch.opt ~/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 ~/build/BUILD/coccinelle-1.0.5 + pushd /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 + mkdir coccinelle + for f in standard.h standard.iso spatch spatch.byte spatch.opt + '[' -f standard.h ']' + mv standard.h coccinelle/standard.h + for f in standard.h standard.iso spatch spatch.byte spatch.opt + '[' -f standard.iso ']' + mv standard.iso coccinelle/standard.iso + for f in standard.h standard.iso spatch spatch.byte spatch.opt + '[' -f spatch ']' + mv spatch coccinelle/spatch + for f in standard.h standard.iso spatch spatch.byte spatch.opt + '[' -f spatch.byte ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt + '[' -f spatch.opt ']' + mv spatch.opt coccinelle/spatch.opt ~/build/BUILD/coccinelle-1.0.5 + popd + mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib/python3.5/site-packages + mv /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/python/coccilib /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib/python3.5/site-packages + rmdir /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/python ~/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 ~/build/BUILD/coccinelle-1.0.5 + pushd /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64 + rm ocaml/ast0_cocci.cmi ocaml/ast_c.cmi ocaml/ast_cocci.cmi ocaml/coccilib.cmi ocaml/common.cmi ocaml/config.cmi ocaml/exposed_modules.cmi ocaml/externalanalysis.cmi ocaml/flag.cmi ocaml/iteration.cmi ocaml/lexer_c.cmi ocaml/lib_parsing_c.cmi ocaml/ocamlcocci_aux.cmi ocaml/parse_c.cmi ocaml/parser_c.cmi ocaml/prepare_ocamlcocci.cmi ocaml/pretty_print_c.cmi ocaml/regexp.cmi ocaml/run_ocamlcocci.cmi ocaml/visitor_c.cmi ocaml/yes_prepare_ocamlcocci.cmi + mkdir ocaml/stublibs + mv dllpycaml_stubs.so ocaml/stublibs ~/build/BUILD/coccinelle-1.0.5 + popd + rm /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spgen + rm /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/spgen/spgen + rm /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/spgen/spgen.opt + /usr/lib/rpm/find-debuginfo.sh --strict-build-id -m --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 /builddir/build/BUILD/coccinelle-1.0.5 extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/coccinelle/spatch.opt extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/coccinelle/spatch extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/ocaml/stublibs/dllpycaml_stubs.so /usr/lib/rpm/sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match. cpio: menhir-20160526/src/_stage2: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/Convert.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/Engine.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/General.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/InfiniteArray.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/InspectionTableInterpreter.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/LinearizedArray.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/PackedIntArray.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/Printers.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/RowDisplacement.ml: Cannot stat: No such file or directory cpio: menhir-20160526/src/_stage2/TableInterpreter.ml: Cannot stat: No such file or directory cpio: ocaml-4.02.3/stdlib: Cannot stat: No such file or directory cpio: ocaml-4.02.3/stdlib/std_exit.ml: Cannot stat: No such file or directory 151 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 Bytecompiling .py files below /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib/python3.5 using /usr/bin/python3.5 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.mBDhTK + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.5 + export COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/coccinelle + COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/coccinelle + export LD_LIBRARY_PATH=. + LD_LIBRARY_PATH=. + /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spatch --help Usage: spatch.opt --sp-file [-o ] [--iso-file ] [options] Options are: main options ----------------------------------------------------------------------- --sp-file the semantic patch file -o the output file --in-place do the modification on the file directly --backup-suffix suffix to use when making a backup for inplace --out-place store modifications in a .cocci_res file --reverse invert the semantic patch before applying it -U set number of diff context lines --partial-match report partial matches of the SP on the C file --iso-file (default=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/coccinelle/standard.iso) --macro-file --macro-file-builtins (default=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/coccinelle/standard.h) --recursive-includes causes all available include files, both those included in the C file(s) and those included in header files, to be used --all-includes causes all available include files included in the C file(s) to be used --no-includes causes not even local include files to be used --local-includes causes local include files to be used --include-headers-for-types use only type information from header files --ignore-unknown-options For integration in a toolchain (must be set before the first unknown option) --include-headers process header files independently -I containing the header files --include file to consider as being included --preprocess run the C preprocessor before applying the semantic match -c gcc/cpp compatibility mode --dir process all files in directory recursively --file-groups process the file groups listed in the file --no-scanner no indexing --use-gitgrep works with -dir, works on git tree subdirectories --use-glimpse works with -dir, use info generated by glimpseindex --use-idutils find relevant files using id-utils --use-coccigrep find relevant files using cocci grep --patch path name with respect to which a patch should be created "" for a file in the current directory --kbuild-info improve -dir by grouping related c files --pyoutput Sets output routine: Standard values: --parse-handler Loads the file containing the OCaml code in charge of parse errors reporting --print-options-only print selected options and exit --version print version and build info --date guess what --shorthelp see short list of options --longhelp see all the available options in different categories aliases and obsolete options ----------------------------------------------------------------------- --sp command line semantic patch --iso short option of --iso-file --cocci-file the semantic patch file most useful show options ----------------------------------------------------------------------- --show-diff --no-show-diff --force-diffshow diff even if only spacing changes --show-flow --ctl-inline-let --ctl-show-mcodekind --show-bindings --show-transinfo --show-misc --show-trying show the name of each function being processed --show-dependencies show the dependencies related to each rule verbose subsystems options ----------------------------------------------------------------------- --verbose-ctl-engine --verbose-match --verbose-engine --graphical-trace generate a pdf file representing the matching process --gt-without-label remove graph label (requires option -graphical-trace) --parse-error-msg --verbose-parsing --type-error-msg other show options ----------------------------------------------------------------------- --show-c --show-cocci --show-before-fixed-flow --show-ctl-tex --show-ctl-text --show-SP debug C parsing/unparsing ----------------------------------------------------------------------- --debug-cpp --debug-lexer --debug-etdt --debug-typedef --filter-msg filter some cpp message when the macro is a "known" cpp construct --filter-define-error --filter-msg-define-error filter the error msg --filter-passed-level --debug-unparsing --debug-parse-cocci shortcut for enabling/disabling a set of debugging options at once ----------------------------------------------------------------------- --quiet --very-quiet --debug --pad bench options ----------------------------------------------------------------------- --profile gather timing information about the main coccinelle functions --bench for profiling the CTL engine --timeout timeout in seconds, 0 for no timeout --steps max number of model checking steps per code unit --iso-limit max depth of iso application --no-iso-limit disable limit on max depth of iso application --track-iso gather information about isomorphism usage --disable-iso disable a specific isomorphism --profile-iso gather information about the cost of isomorphism usage change of algorithm options ----------------------------------------------------------------------- --keep-comments keep comments around removed code --loop --no-loops drop all back edges derived from looping constructs - unsafe --no-gotos drop all jumps derived from gotos - unsafe --no-saved-typedefs drop all inferred typedefs from one parse of some code to the next --ocaml-regexps use OCaml Str regular expressions for constraints --l1 --ifdef-to-if convert ifdef to if (experimental) --no-ifdef-to-if convert ifdef to if (experimental) --disable-multi-pass --noif0-passing --itu Experimental extensions for handling #ifdef developed at ITU.dk --defined treat cpp symbol as defined in #ifdef --undefined treat cpp symbol as undefined in #ifdef --noadd-typedef-root --disallow-nested-exps disallow an expresion pattern from matching a term and its subterm --disable-worth-trying-opt run the semantic patch even if the C file contains no relevant tokens --selected-only only show selected files --only-return-is-error-exit if this flag is not set, then break and continue are also error exits --allow-inconsistent-paths if this flag is set don't check for inconsistent paths; dangerous --no-safe-expressions make an expression disjunction not prioritise the topmost disjunct --int-bits the number of bits in an unsigned int --long-bits the number of bits in an unsigned long --linux-spacing spacing of + code follows the conventions of Linux --smpl-spacing spacing of + code follows the semantic patch --indent default indent, in spaces (no tabs) -D indicate that a virtual rule should be considered to be matched --c++ make a small attempt to parse C++ files --ibm make a small attempt to parse IBM C files misc options ----------------------------------------------------------------------- --debugger option to set if launch spatch in ocamldebug --disable-once to print more messages --show-trace-profile show trace --save-tmp-files --external-analysis-file import results from an external analysis concurrency ----------------------------------------------------------------------- --index the processor to use for this run of spatch --max the number of processors available --mod-distrib use mod to distribute files among the processors --jobs the number of cores to be used by parmap -j the number of cores to be used --chunksize the size of work chunks for parallelism --tmp-dir prefix of temporary directories for parallelism pad options ----------------------------------------------------------------------- --use-cache use .ast_raw pre-parsed cached C file --cache-prefix directory of cached ASTs, sets --use-cache --cache-limit maximum number of cached ASTs, sets --use-cache test mode and test options (works with tests/ or .ok files) ----------------------------------------------------------------------- The test options don't work with the --sp-file and so on. --test launch spatch on tests/file.[c,cocci] --testall launch spatch on all files in tests/ having a .res --test-spacing check that the result matches the .res file exactly --test-okfailed generates .{ok,failed,spatch_ok} files using .res files --test-regression-okfailed process the .{ok,failed,spatch_ok} files in current dir --compare-with-expected use also file.res --expected-score-file which score file to compare with in --testall --expected-spacing-score-file which score file to compare with in --test-spacing --no-update-score-file do not update the score file when -testall succeeds --relax-include-path action mode ----------------------------------------------------------------------- The action options don't work with the --sp-file and so on. It's for the other (internal) uses of the spatch program. --tokens-c --parse-c --parse-h --parse-ch --parse-i --parse-c++ --parse --show-flow --control-flow --control-flow-to-file --test-cfg-ifdef --parse-unparse --type-c --compare-c --comment-annotater-c --compare-c-hardcoded --test-attributes --test-cpp --extract-macros --extract-macros-select --xxx <> --parse-cocci --rule-dependencies --compare-c + /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/bin/spatch -sp_file demos/simple.cocci demos/simple.c init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/lib64/coccinelle/standard.h HANDLING: demos/simple.c diff = --- demos/simple.c +++ /tmp/cocci-output-15241-4d6811-simple.c @@ -1,4 +1,4 @@ int main(int i) { - f("ca va"); - f(g("ca va pas")); + f("ca va", 3); + f(g("ca va pas"), 3); } + exit 0 Processing files: coccinelle-1.0.5-1.fc25.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.T6yPqY + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.5 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle + cp -pr authors.txt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle + cp -pr bugs.txt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle + cp -pr changes.txt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle + cp -pr credits.txt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle + cp -pr install.txt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle + cp -pr readme.txt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.mkxE0b + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.5 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/licenses/coccinelle + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/licenses/coccinelle + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/licenses/coccinelle + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/licenses/coccinelle + exit 0 Provides: bundled(ocaml-parmap) bundled(ocaml-pycaml) coccinelle = 1.0.5-1.fc25 coccinelle(x86-64) = 1.0.5-1.fc25 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/sh /usr/bin/python3 libc.so.6()(64bit) libc.so.6(GLIBC_2.11)(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.15)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.4)(64bit) libc.so.6(GLIBC_2.7)(64bit) libdl.so.2()(64bit) libdl.so.2(GLIBC_2.2.5)(64bit) libm.so.6()(64bit) libm.so.6(GLIBC_2.2.5)(64bit) libpcre.so.1()(64bit) libpthread.so.0()(64bit) libpthread.so.0(GLIBC_2.2.5)(64bit) libpython3.5m.so.1.0()(64bit) python(abi) = 3.5 rtld(GNU_HASH) Processing files: coccinelle-doc-1.0.5-1.fc25.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.WR7Seu + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.5 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle-doc + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle-doc + cp -pr docs /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle-doc + exit 0 Provides: coccinelle-doc = 1.0.5-1.fc25 coccinelle-doc(x86-64) = 1.0.5-1.fc25 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/sh Processing files: coccinelle-examples-1.0.5-1.fc25.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.dzX46M + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.5 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle-examples + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle-examples + cp -pr demos /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64/usr/share/doc/coccinelle-examples + exit 0 Provides: coccinelle-examples = 1.0.5-1.fc25 coccinelle-examples(x86-64) = 1.0.5-1.fc25 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/sh Processing files: coccinelle-debuginfo-1.0.5-1.fc25.x86_64 Provides: coccinelle-debuginfo = 1.0.5-1.fc25 coccinelle-debuginfo(x86-64) = 1.0.5-1.fc25 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64 Wrote: /builddir/build/RPMS/coccinelle-1.0.5-1.fc25.x86_64.rpm Wrote: /builddir/build/RPMS/coccinelle-doc-1.0.5-1.fc25.x86_64.rpm Wrote: /builddir/build/RPMS/coccinelle-examples-1.0.5-1.fc25.x86_64.rpm Wrote: /builddir/build/RPMS/coccinelle-debuginfo-1.0.5-1.fc25.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.hbeX6d + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.5 + /usr/bin/rm -rf /builddir/build/BUILDROOT/coccinelle-1.0.5-1.fc25.x86_64 + exit 0 Child return code was: 0