<86>Apr 27 11:00:57 userdel[784437]: delete user 'rooter' <86>Apr 27 11:00:57 userdel[784437]: removed group 'rooter' owned by 'rooter' <86>Apr 27 11:00:57 userdel[784437]: removed shadow group 'rooter' owned by 'rooter' <86>Apr 27 11:00:57 groupadd[784459]: group added to /etc/group: name=rooter, GID=1790 <86>Apr 27 11:00:57 groupadd[784459]: group added to /etc/gshadow: name=rooter <86>Apr 27 11:00:57 groupadd[784459]: new group: name=rooter, GID=1790 <86>Apr 27 11:00:57 useradd[784481]: new user: name=rooter, UID=1790, GID=1790, home=/root, shell=/bin/bash, from=none <86>Apr 27 11:00:57 userdel[784509]: delete user 'builder' <86>Apr 27 11:00:57 userdel[784509]: removed group 'builder' owned by 'builder' <86>Apr 27 11:00:57 userdel[784509]: removed shadow group 'builder' owned by 'builder' <86>Apr 27 11:00:57 groupadd[784528]: group added to /etc/group: name=builder, GID=1791 <86>Apr 27 11:00:57 groupadd[784528]: group added to /etc/gshadow: name=builder <86>Apr 27 11:00:57 groupadd[784528]: new group: name=builder, GID=1791 <86>Apr 27 11:00:57 useradd[784539]: new user: name=builder, UID=1791, GID=1791, home=/usr/src, shell=/bin/bash, from=none <13>Apr 27 11:01:00 rpmi: ocaml-runtime-4.14.1-alt1 sisyphus+333652.177.29.2 1701355789 installed <13>Apr 27 11:01:00 rpmi: libmpdec3-2.5.1-alt3 sisyphus+314490.500.5.1 1675432033 installed <13>Apr 27 11:01:00 rpmi: libgdbm-1.8.3-alt10 sisyphus+278100.1600.1.1 1626059138 installed <13>Apr 27 11:01:00 rpmi: libexpat-2.5.0-alt1 sisyphus+309227.100.1.1 1667075766 installed <13>Apr 27 11:01:00 rpmi: libb2-0.98.1-alt1_1 sisyphus+291614.100.1.1 1638962878 installed <13>Apr 27 11:01:00 rpmi: libp11-kit-1:0.25.3-alt2 sisyphus+336533.100.1.1 1702645575 installed <13>Apr 27 11:01:00 rpmi: libtasn1-4.19.0-alt3 sisyphus+327816.100.1.1 1692802618 installed <13>Apr 27 11:01:00 rpmi: rpm-macros-alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Apr 27 11:01:00 rpmi: alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Apr 27 11:01:00 rpmi: ca-certificates-2024.02.24-alt1 sisyphus+341362.100.1.1 1708791001 installed <13>Apr 27 11:01:00 rpmi: ca-trust-0.2.0-alt1 sisyphus+344843.100.1.1 1712743326 installed <13>Apr 27 11:01:00 rpmi: p11-kit-trust-1:0.25.3-alt2 sisyphus+336533.100.1.1 1702645575 installed <13>Apr 27 11:01:01 rpmi: libcrypto3-3.1.5-alt2 sisyphus+343320.140.3.1 1711982452 installed <13>Apr 27 11:01:01 rpmi: libssl3-3.1.5-alt2 sisyphus+343320.140.3.1 1711982452 installed <13>Apr 27 11:01:01 rpmi: python3-3.12.2-alt1 sisyphus+341702.200.1.1 1709232959 installed <13>Apr 27 11:01:01 rpmi: python3-base-3.12.2-alt1 sisyphus+341702.200.1.1 1709232959 installed <13>Apr 27 11:01:01 rpmi: python3-module-py3dephell-0.1.0-alt2 sisyphus+328191.600.5.1 1693609196 installed <13>Apr 27 11:01:01 rpmi: tests-for-installed-python3-pkgs-0.1.25-alt1 sisyphus+344685.100.1.1 1712595070 installed <13>Apr 27 11:01:01 rpmi: rpm-build-python3-0.1.25-alt1 sisyphus+344685.100.1.1 1712595070 installed <13>Apr 27 11:01:01 rpmi: rpm-build-ocaml-1.6.2-alt1 sisyphus+333652.74.29.2 1701355648 installed <13>Apr 27 11:01:10 rpmi: ocaml-4.14.1-alt1 sisyphus+333652.177.29.2 1701355789 installed <13>Apr 27 11:01:10 rpmi: libpcre3-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Apr 27 11:01:10 rpmi: ocaml-pcre-7.5.0-alt1 sisyphus+333652.2500.29.2 1701356733 installed <13>Apr 27 11:01:10 rpmi: ocaml-num-1.4-alt2 sisyphus+333652.7300.29.2 1701357994 installed <13>Apr 27 11:01:10 rpmi: ocaml-parmap-1.2.5-alt1 sisyphus+333652.14100.29.2 1701359364 installed <13>Apr 27 11:01:10 rpmi: ocaml-stdcompat-19-alt2 sisyphus+335662.100.1.1 1701670155 installed <13>Apr 27 11:01:10 rpmi: libpython3-3.12.2-alt1 sisyphus+341702.200.1.1 1709232959 installed <13>Apr 27 11:01:10 rpmi: libpcre16-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Apr 27 11:01:10 rpmi: libreadline7-7.0.3-alt5 sisyphus+328858.200.1.1 1694010663 installed <13>Apr 27 11:01:10 rpmi: pcretest-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Apr 27 11:01:10 rpmi: libpcre-devel-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Apr 27 11:01:10 rpmi: libncurses6-6.3.20220618-alt4 sisyphus+327286.4600.14.1 1711486782 installed <13>Apr 27 11:01:10 rpmi: libtinfo-devel-6.3.20220618-alt4 sisyphus+327286.4600.14.1 1711486782 installed <13>Apr 27 11:01:10 rpmi: libncurses-devel-6.3.20220618-alt4 sisyphus+327286.4600.14.1 1711486782 installed <13>Apr 27 11:01:11 rpmi: python3-dev-3.12.2-alt1 sisyphus+341702.200.1.1 1709232959 installed <13>Apr 27 11:01:11 rpmi: ocaml-pcre-devel-7.5.0-alt1 sisyphus+333652.2500.29.2 1701356733 installed <13>Apr 27 11:01:11 rpmi: ocaml-stdcompat-devel-19-alt2 sisyphus+335662.100.1.1 1701670155 installed <13>Apr 27 11:01:11 rpmi: ocaml-parmap-devel-1.2.5-alt1 sisyphus+333652.14100.29.2 1701359364 installed <13>Apr 27 11:01:11 rpmi: ocaml-num-devel-1.4-alt2 sisyphus+333652.7300.29.2 1701357994 installed <13>Apr 27 11:01:11 rpmi: ocaml-findlib-1.9.6-alt2 sisyphus+333652.2174.29.2 1701356590 installed <13>Apr 27 11:01:11 rpmi: ocaml-menhir-20230608-alt1 sisyphus+333652.13000.29.2 1701359020 installed <13>Apr 27 11:01:12 rpmi: ocaml-ocamldoc-4.14.1-alt1 sisyphus+333652.177.29.2 1701355789 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/coccinelle-1.2-alt1.nosrc.rpm (w1.gzdio) Installing coccinelle-1.2-alt1.src.rpm Building target platforms: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.93345 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf coccinelle-1.2 + echo 'Source #0 (coccinelle-1.2.tar):' Source #0 (coccinelle-1.2.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/coccinelle-1.2.tar + cd coccinelle-1.2 + /bin/chmod -c -Rf u+rwX,go-w . + sed -i '1s|^#!.*python.*|#!/usr/bin/python3|' tools/pycocci + find . -name Makefile + xargs sed -r -i 's/-custom\s/-output-complete-exe /g' + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.93345 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd coccinelle-1.2 + ./autogen + CFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' + export FCFLAGS + '[' -n '' ']' ++ printf %s '-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto -march=i586 -mtune=generic' ++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g' + ASFLAGS=' -march=i586 -mtune=generic' + export ASFLAGS + export lt_cv_deplibs_check_method=pass_all + lt_cv_deplibs_check_method=pass_all + readlink -e -- ./configure + xargs -ri dirname -- '{}' + xargs -ri find '{}' -type f '(' -name config.sub -or -name config.guess ')' -printf '%h/\n' + sort -u + xargs -rn1 install -pm755 -- /usr/share/gnu-config/config.sub /usr/share/gnu-config/config.guess + configure_runstatedir_flags= + grep -qF runstatedir=DIR ./configure + configure_runstatedir_flags=--runstatedir=/var/run + ./configure --build=i586-alt-linux --host=i586-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --disable-silent-rules --runstatedir=/var/run --without-included-gettext --with-python=/usr/bin/python3 configure: WARNING: unrecognized options: --without-included-gettext configure: configuring coccinelle 1.2 in /usr/src/RPM/BUILD/coccinelle-1.2 checking for a BSD-compatible install... /usr/bin/ginstall -c checking whether build environment is sane... yes checking for a race-free 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 i586-alt-linux-date... no checking for date... /usr/bin/date configure: version suffix set to Sat, 27 Apr 2024 11:01:17 +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 whether make supports the include directive... yes (GNU style) checking for i586-alt-linux-gcc... i586-alt-linux-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 the compiler supports GNU C... yes checking whether i586-alt-linux-gcc accepts -g... yes checking for i586-alt-linux-gcc option to enable C11 features... none needed checking whether i586-alt-linux-gcc understands -c and -o together... yes checking dependency style of i586-alt-linux-gcc... none checking how to run the C preprocessor... i586-alt-linux-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 i586-alt-linux-pkg-config... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for i586-alt-linux-ocamlc... no checking for ocamlc... /usr/bin/ocamlc OCaml version is 4.14.1 OCaml library path is /usr/lib/ocaml checking for i586-alt-linux-ocamlopt... no checking for ocamlopt... no configure: WARNING: Cannot find ocamlopt; bytecode compilation only. checking for i586-alt-linux-ocamlc.opt... no checking for ocamlc.opt... no checking for i586-alt-linux-ocaml... no checking for ocaml... /usr/bin/ocaml checking for i586-alt-linux-ocamldep... no checking for ocamldep... /usr/bin/ocamldep checking for i586-alt-linux-ocamlmktop... no checking for ocamlmktop... /usr/bin/ocamlmktop checking for i586-alt-linux-ocamlmklib... no checking for ocamlmklib... /usr/bin/ocamlmklib checking for i586-alt-linux-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 that the OCaml version is at least 4.03... yes checking that the OCaml version is at least 5.0... no checking for i586-alt-linux-ocamllex... no checking for ocamllex... /usr/bin/ocamllex checking for i586-alt-linux-ocamllex.opt... no checking for ocamllex.opt... no checking for i586-alt-linux-ocamlyacc... no checking for ocamlyacc... /usr/bin/ocamlyacc checking for i586-alt-linux-ocamlfind... no checking for ocamlfind... /usr/bin/ocamlfind checking for i586-alt-linux-ocamlprof... no checking for ocamlprof... /usr/bin/ocamlprof configure: verifying basic ocaml modules configure: coccinelle may use external ocaml libraries in /usr/src/RPM/BUILD/coccinelle-1.2/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 str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package parmap checking for OCaml findlib package parmap... found configure: configuring package stdcompat checking for OCaml findlib package stdcompat... found checking if installed stdcompat provides In_channel... yes configure: verifying optional features checking for i586-alt-linux-menhir... no checking for menhir... /usr/bin/menhir configure: system menhir will be used checking if menhir supports -O 1... yes configure: ocaml scripting has been disabled by default because the optimized version of dynlink is not available configure: configuring package pyml checking for OCaml findlib package pyml... not found configure: OCaml package pyml is not available checking for a bundled substitute of pyml... yes configure: using bundled substitute for pyml in /usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml checking for libpcre... yes configure: configuring package pcre checking for OCaml findlib package pcre... found checking if pcre depends on bytes... no configure: support for pcre syntax is enabled checking for i586-alt-linux-pdflatex... no checking for pdflatex... no configure: pdflatex not found. Trying substitute /usr/src/RPM/BUILD/coccinelle-1.2/setup/fake-pdflatex.sh pdflatex. checking for i586-alt-linux-pdflatex... /usr/src/RPM/BUILD/coccinelle-1.2/setup/fake-pdflatex.sh pdflatex configure: the optimized version of coccinelle will not be build because ocamlopt is not present 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: WARNING: unrecognized options: --without-included-gettext configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --build=i586-alt-linux --host=i586-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --disable-silent-rules --runstatedir=/var/run --without-included-gettext --with-python=/usr/bin/python3 findlib: /usr/bin/ocamlfind (an actual version is strongly recommended) menhir: /usr/bin/menhir (for local package use --without-menhir, install the menhir package otherwise) ocaml scripting: no (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pcre regexes: (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the libpcre-ocaml-dev package) optimized spatch: no (overridable with --disable-opt) bash-completion: ${prefix}/share/bash-completion/completions (overridable with --with-bash-completion) ------------------------------------------------------------------------------ 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=/usr/src/RPM/BUILD/coccinelle-1.2 ./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/lib/coccinelle/python ------------------------------------------------------------------------------ + make -j16 VERBOSE=1 make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/ocamlextra/dumper.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/commands.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/regexp.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/flag_parsing_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/regexp_pcre.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/flag.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/iteration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/ograph_simple.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/config.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/ograph_extended.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/visitor_ast0_types.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/comm_assoc.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/ast0_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/iso_compile.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/simple_assignments.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/get_metas.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/single_statement.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/ast_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/stmtlist.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/test_exps.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/unparse_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/unify_ast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/top_level.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/pretty_print_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/type_infer.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/unitary_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/ast0toast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/compute_lines.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/semantic_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/index.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/adjust_pragmas.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/parse_printf.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/data.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/safe_for_multi_decls.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/function_prototypes.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/visitor_ast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/cleanup_rules.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/cocci_grep.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/insert_plus.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/check_meta.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/dpll.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/visitor_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/free_vars.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/git_grep.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/id_utils.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/iso_pattern.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/adjacency.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/commas_on_lists.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/patch_diff.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/arity.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/common.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/context_neg.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/disjdistr.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/re_constraints.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/parse_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/cocci_args.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/token_annot.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/token_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/command_line.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/get_constants2.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/flag_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/includes.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parsing_stat.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/semantic_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/control_flow_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/lexer_parser.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/lib_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/includes_cache.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/ast_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parse_string_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/token_views_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parsing_recovery_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parsing_consistency_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/danger.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/cpp_token_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/cpp_analysis_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/token_helpers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/type_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/cpp_ast_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/comment_annotater_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/control_flow_c_build.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/flag_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/unparse_hrule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/ast_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/pretty_print_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/compare_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/pretty_print_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/visitor_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parse_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/test_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/exposed_modules.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/type_annoter_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/wrapper_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/ocamlcocci_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/coccilib.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/run_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/unparse_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/externalanalysis.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/no_prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP python/pycocci_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP python/pycocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/flag_matcher.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parsing_hacks.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/lib_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/isomorphisms_c_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/pretty_print_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/check_exhaustive_pattern.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/check_reachability.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP python/yes_pycocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/c_vs_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/pattern_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/ast_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/unparse_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/asttomember.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/ctltotex.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/parse_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/postprocess_transinfo.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/asttopopl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/flag_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/insert_quantifiers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP extra/classic_patch.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/ctl_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/pretty_print_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/transformation_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/ctlcocci_integration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/popltoctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP extra/kbuild.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP flag_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP main.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP read_options.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/globals.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/ast_tostring.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP extra/maintainers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/detect_patch.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/user_input.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/snapshot.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/rule_header.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/disj_generator.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP testing.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/context_rule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/rule_body.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/script_rule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/meta_variable.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/position_generator.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/file_transform.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen_interactive.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen_config.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLLEX parsing_cocci/lexer_script.mll 27 states, 322 transitions, table size 1450 bytes make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/main.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen_test.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/ocamlextra/dumper.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP enter.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/commands.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/ograph_simple.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/ograph_extended.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/asttoctl2.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/config.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLYACC parsing_c/parser_c.mly make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/iteration.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/regexp_pcre.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/regexp.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/flag_parsing_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP globals/flag.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/pretty_print_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/visitor_ast0_types.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/ast0toast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/unparse_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/visitor_ast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/unify_ast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/ast0_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/visitor_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/compute_lines.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/comm_assoc.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/iso_pattern.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/iso_compile.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/ast_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/single_statement.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/simple_assignments.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP commons/common.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/get_metas.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/stmtlist.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/top_level.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/type_infer.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/test_exps.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/unitary_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/arity.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/index.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/context_neg.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/adjust_pragmas.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/insert_plus.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLLEX tools/spgen/source/spgen_lexer.mll 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/function_prototypes.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/semantic_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/free_vars.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/data.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/check_meta.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/safe_for_multi_decls.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/parse_printf.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLLEX parsing_cocci/lexer_cocci.mll 403 states, 8820 transitions, table size 37698 bytes 4123 additional bytes used for bindings make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/cleanup_rules.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/disjdistr.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/dpll.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/id_utils.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/cocci_grep.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/get_constants2.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/git_grep.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/parse_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/patch_diff.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/adjacency.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/commas_on_lists.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/cocci_vs_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/re_constraints.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/command_line.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/cocci_args.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/parse_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/token_annot.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/flag_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/token_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parsing_stat.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/includes.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/control_flow_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/visitor_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/includes_cache.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/control_flow_c_build.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/semantic_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parse_string_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/pretty_print_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/lexer_parser.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/ast_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/lib_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/token_helpers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/token_views_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/cpp_token_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parsing_hacks.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/cpp_analysis_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parsing_recovery_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parsing_consistency_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/unparse_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/danger.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/unparse_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/unparse_hrule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/type_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parse_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/type_annoter_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/comment_annotater_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/compare_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/test_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/cpp_ast_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/flag_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/pretty_print_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/ast_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/ctl_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ctl/wrapper_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/externalanalysis.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/ocamlcocci_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/no_prepare_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/prepare_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/exposed_modules.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/run_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/flag_matcher.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP python/pycocci_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP python/pycocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP python/yes_pycocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/check_exhaustive_pattern.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/lib_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/pretty_print_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/check_reachability.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/c_vs_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/isomorphisms_c_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/transformation_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/pattern_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/asttomember.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/cocci_vs_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/asttoctl2.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/ctltotex.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/postprocess_transinfo.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP engine/ctlcocci_integration.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/ast_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/asttopopl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/pretty_print_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/flag_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/insert_quantifiers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/popltoctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP popl09/popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP extra/classic_patch.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP extra/kbuild.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP extra/maintainers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP flag_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP read_options.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP testing.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP enter.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP main.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/globals.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/ast_tostring.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/detect_patch.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/meta_variable.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/snapshot.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/position_generator.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/user_input.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/disj_generator.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/rule_body.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/rule_header.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/context_rule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/script_rule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/file_transform.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen_interactive.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen_config.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen_test.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/main.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLLEX parsing_c/lexer_c.mll 408 states, 16889 transitions, table size 70004 bytes 10655 additional bytes used for bindings make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/lexer_cli.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/lexer_script.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/lexer_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen_lexer.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/lexer_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parser_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/lexer_cli.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/lexer_script.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP tools/spgen/source/spgen_lexer.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP ocaml/coccilib.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/lexer_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/lexer_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_c/parser_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib/ocaml/pcre -I /usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml -I /usr/lib/ocaml/parmap -I /usr/lib/ocaml/stdcompat -ml-synonym .mll -ml-synonym .mly -mli-synonym .ml -mli-synonym .mll -mli-synonym .mly" --depend parsing_cocci/parser_cocci_menhir.mly >parsing_cocci/parser_cocci_menhir.mly.d || (rm parsing_cocci/parser_cocci_menhir.mly.d; false) make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/ocamlextra/dumper.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/commands.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/config.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/iteration.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/regexp_pcre.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/parse_printf.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/regexp.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/flag_parsing_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/semantic_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/lexer_cli.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/flag.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make -C bundles/pyml all make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/cocci_grep.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/dpll.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/git_grep.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/token_annot.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/patch_diff.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/cocci_args.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/command_line.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/flag_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/flag_matcher.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/flag_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp globals/regexp.cmi ocaml/regexp.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp globals/config.cmi ocaml/config.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp globals/flag.cmi ocaml/flag.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp globals/iteration.cmi ocaml/iteration.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp commons/commands.cmi ocaml/commands.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC flag_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC read_options.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/flag_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp /usr/lib/ocaml/parmap/parmap.cmi ocaml/parmap.cmi if test -f /usr/lib/ocaml/parmap/parmap.cmx; then \ cp /usr/lib/ocaml/parmap/parmap.cmx ocaml/parmap.cmx; \ fi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/ast_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make depend-rec make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC enter.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC main.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen_lexer.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/main.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen_test.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/commands.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/regexp.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/regexp_pcre.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/semantic_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/config.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/flag_parsing_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/ocamlextra/dumper.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/lexer_cli.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/flag.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/token_annot.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/flag_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/pretty_print_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp globals/regexp.cmo ocaml/regexp.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp globals/config.cmo ocaml/config.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/flag_matcher.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/flag_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp globals/flag.cmo ocaml/flag.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp commons/commands.cmo ocaml/commands.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pyutils.mli -o pyml-current/pyutils.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC flag_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/ast_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pytypes.mli -o pyml-current/pytypes.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/parse_printf.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pyml_arch.mli -o pyml-current/pyml_arch.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/cocci_args.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/main.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pyutils.ml -o pyml-current/pyutils.cmo make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen_lexer.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/common.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parsing_stat.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC globals/iteration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/dpll.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/git_grep.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/ograph_simple.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/token_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/cocci_grep.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/semantic_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/compare_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/token_c.cmi ocaml/token_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp commons/common.cmi ocaml/common.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/ograph_extended.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp globals/iteration.cmo ocaml/iteration.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/patch_diff.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/ast_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/test_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/flag_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/command_line.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o globals/globals.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC extra/kbuild.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC extra/classic_patch.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC extra/maintainers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/token_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/ctl_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC read_options.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/no_prepare_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/pretty_print_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/prepare_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/check_exhaustive_pattern.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/token_c.cmo ocaml/token_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/semantic_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/ast_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC extra/classic_patch.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/globals.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/ast_tostring.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/ograph_simple.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parsing_stat.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC extra/maintainers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/pretty_print_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/generate.ml -o pyml-current/generate.cmo make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/stmtlist.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC extra/kbuild.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/safe_for_multi_decls.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/cleanup_rules.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/disjdistr.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/get_constants2.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/visitor_ast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/re_constraints.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current stdcompat.cma unix.cma pyml-current/pyutils.cmo pyml-current/generate.cmo -o pyml-current/generate make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/wrapper_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o extra/extra.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/ograph_extended.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/ast_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/insert_quantifiers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/pretty_print_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' cd pyml-current && LD_LIBRARY_PATH=/usr/lib/ocaml/stdcompat: ./generate make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/asttopopl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/free_vars.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC testing.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/ast_tostring.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/globals.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/id_utils.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/stmtlist.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/ast_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/wrapper_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -i pyml-current/pywrappers.ml >pyml-current/pywrappers.mli make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/pretty_print_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/asttopopl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/no_prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/cleanup_rules.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/ast0_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/id_utils.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/insert_quantifiers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/safe_for_multi_decls.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/includes.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/lexer_parser.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parsing_consistency_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/includes_cache.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/control_flow_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/unparse_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parser_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/type_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/danger.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/ocamlcocci_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/externalanalysis.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/unparse_hrule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/type_annoter_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC python/pycocci_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC python/pycocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/run_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/check_reachability.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/c_vs_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/lib_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/ast_c.cmi ocaml/ast_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/meta_variable.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/parser_c.cmi ocaml/parser_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamldep -I pyml-current pyml-current/pyml_arch.mli pyml-current/pyutils.mli pyml-current/pytypes.mli pyml-current/py.mli pyml-current/pycaml.mli pyml-current/pyutils.ml pyml-current/pytypes.ml pyml-current/py.ml pyml-current/pycaml.ml pyml-current/pywrappers.ml pyml-current/pywrappers.mli >.depend make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/isomorphisms_c_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/ast_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/detect_patch.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/file_transform.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/get_constants2.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/unparse_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/cocci_vs_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' gcc -E pyml-current/pyml_arch.ml.c | sed '/^#/d' >pyml-current/pyml_arch.ml make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/compute_lines.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/unify_ast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pytypes.ml -o pyml-current/pytypes.cmo make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/comm_assoc.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/single_statement.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/ast0toast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/get_metas.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/simple_assignments.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/unitary_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/arity.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/top_level.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/type_infer.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/test_exps.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/adjust_pragmas.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/index.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/disjdistr.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/ast_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/insert_plus.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/context_neg.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pywrappers.mli -o pyml-current/pywrappers.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/function_prototypes.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/check_exhaustive_pattern.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/commas_on_lists.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/adjacency.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/check_meta.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/visitor_ast0_types.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/data.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/parse_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parse_string_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/lexer_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/visitor_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/pretty_print_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/lexer_parser.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parsing_recovery_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/control_flow_c_build.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/token_helpers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' cp pyml-current/pywrappers.cmi pywrappers.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/py.mli -o pyml-current/py.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/token_views_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/includes.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/comment_annotater_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pyml_arch.ml -o pyml-current/pyml_arch.cmo make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/free_vars.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/pretty_print_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/control_flow_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/ast0_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/lib_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/pattern_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/transformation_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC python/pycocci_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/ocamlcocci_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/check_reachability.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/externalanalysis.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/isomorphisms_c_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/asttomember.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/asttoctl2.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ctl/ctl_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC commons/common.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/ctltotex.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/postprocess_transinfo.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/ast_c.cmo ocaml/ast_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/user_input.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp commons/common.cmo ocaml/common.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' cp pyml-current/py.cmi py.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/rule_body.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/snapshot.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/ctlcocci_integration.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/rule_header.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/context_rule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o commons/commons.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/pretty_print_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/type_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pycaml.mli -o pyml-current/pycaml.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/iso_pattern.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pywrappers.ml -o pyml-current/pywrappers.cmo make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' cp pyml-current/pycaml.cmi pycaml.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen_test.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/visitor_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/top_level.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/parse_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/re_constraints.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parse_string_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/data.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/lib_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/cpp_token_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/pycaml.ml -o pyml-current/pycaml.cmo make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/token_views_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/visitor_ast0_types.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parsing_recovery_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/danger.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/index.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parsing_consistency_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parse_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o ctl/ctl.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/comment_annotater_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/lexer_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/pretty_print_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -c pyml-current/py.ml -o pyml-current/py.cmo make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -custom -cclib -lpyml_stubs -a pyml-current/pyml_arch.cmo pyml-current/pyutils.cmo pyml-current/pytypes.cmo pyml-current/pywrappers.cmo pyml-current/py.cmo pyml-current/pycaml.cmo -o pyml-current/pyml.cma make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' cp pyml-current/pyml.cma pyml.cma make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/unparse_hrule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/token_helpers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/c_vs_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/pattern_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/popltoctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/ctltotex.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/visitor_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/transformation_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC main.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/postprocess_transinfo.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/unparse_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/ctlcocci_integration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/disj_generator.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/position_generator.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/user_input.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/asttomember.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/script_rule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/detect_patch.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/snapshot.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/parse_c.cmi ocaml/parse_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen_interactive.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen_config.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/context_rule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/rule_header.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/iso_compile.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/file_transform.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/unify_ast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/comm_assoc.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/arity.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/get_metas.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/meta_variable.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/compute_lines.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/simple_assignments.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/test_exps.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/visitor_ast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/unparse_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/unitary_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/adjacency.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/function_prototypes.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/commas_on_lists.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/type_infer.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/includes_cache.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/lib_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlc -unsafe -w @42 -I /usr/lib/ocaml/stdcompat -I pyml-current -ccopt -I/usr/lib/ocaml/stdcompat -ccopt -fPIC pyml-current/pyml_stubs.c -o pyml-current/pyml_stubs.o mv pyml_stubs.o pyml-current/pyml_stubs.o make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/parse_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' /usr/bin/ocamlmklib -linkall -o pyml-current/pyml_stubs pyml-current/pyml_stubs.o make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/asttoctl2.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' cp pyml-current/libpyml_stubs.a libpyml_stubs.a make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' cp pyml-current/dllpyml_stubs.so dllpyml_stubs.so make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parsing_hacks.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/cpp_analysis_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/single_statement.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/unparse_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/cpp_ast_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/adjust_pragmas.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/cpp_token_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/compare_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC popl09/popltoctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/control_flow_c_build.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC testing.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/ast0toast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/insert_plus.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/exposed_modules.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/disj_generator.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/script_rule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/pretty_print_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/check_meta.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen_interactive.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen_config.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/type_annoter_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/rule_body.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/spgen.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/visitor_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/iso_compile.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o popl09/popl09.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/cpp_analysis_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/cpp_ast_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/test_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC enter.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parse_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/parse_c.cmo ocaml/parse_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/exposed_modules.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC tools/spgen/source/position_generator.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/context_neg.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parser_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' cp parsing_c/parser_c.cmo ocaml/parser_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/unparse_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/coccilib.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_c/parsing_hacks.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o parsing_c/parsing_c.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC python/yes_pycocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/run_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC engine/cocci_vs_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o engine/engine.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC python/pycocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC python/yes_pycocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o python/python.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/iso_pattern.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC ocaml/coccilib.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o ocaml/ocaml.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' MENHIR parsing_cocci/parser_cocci_menhir.mly make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/parser_cocci_menhir.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/parser_cocci_menhir.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/lexer_script.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/lexer_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/lexer_script.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/lexer_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/parse_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLDEP parsing_cocci/parser_cocci_menhir.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC parsing_cocci/parser_cocci_menhir.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o parsing_cocci/parsing_cocci.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o tools/spgen/source/spgen make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' OCAMLC -o spatch make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.95716 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/coccinelle-buildroot + : + /bin/rm -rf -- /usr/src/tmp/coccinelle-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games + cd coccinelle-1.2 + make DESTDIR=/usr/src/tmp/coccinelle-buildroot install make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.2' mkdir -p /usr/src/tmp/coccinelle-buildroot/usr/bin /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle mkdir -p /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/ocaml if test -f bundles/pyml/dllpyml_stubs.so; then \ /usr/bin/ginstall -c -m 755 bundles/pyml/dllpyml_stubs.so \ /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle; \ fi if test -f bundles/pcre/dllpcre_stubs.so; then \ /usr/bin/ginstall -c -m 755 bundles/pcre/dllpcre_stubs.so \ /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle; \ fi /usr/bin/ginstall -c -m 755 spatch /usr/src/tmp/coccinelle-buildroot/usr/bin/spatch /usr/bin/ginstall -c -m 644 standard.h /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle /usr/bin/ginstall -c -m 644 standard.iso /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle /usr/bin/ginstall -c -m 644 ocaml/*.cmi /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/ocaml/ if test -f ocaml/coccilib.cmx; then \ /usr/bin/ginstall -c -m 644 ocaml/*.cmx /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/ocaml/; \ fi /usr/bin/ginstall -c -m 755 tools/spgen/source/spgen \ /usr/src/tmp/coccinelle-buildroot/usr/bin/spgen mkdir -p /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/python/coccilib /usr/bin/ginstall -c -m 644 python/coccilib/*.py \ /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/python/coccilib if test "x/usr/share/bash-completion/completions" != "xno"; then \ mkdir -p /usr/src/tmp/coccinelle-buildroot/usr/share/bash-completion/completions; \ /usr/bin/ginstall -c -m 644 scripts/spatch.bash_completion \ /usr/src/tmp/coccinelle-buildroot/usr/share/bash-completion/completions/spatch; \ fi mkdir -p /usr/src/tmp/coccinelle-buildroot/usr/share/man/man1 mkdir -p /usr/src/tmp/coccinelle-buildroot/usr/share/man/man3 /usr/bin/ginstall -c -m 644 docs/spatch.1 /usr/src/tmp/coccinelle-buildroot/usr/share/man/man1/ /usr/bin/ginstall -c -m 644 docs/pycocci.1 /usr/src/tmp/coccinelle-buildroot/usr/share/man/man1/ /usr/bin/ginstall -c -m 644 docs/spgen.1 /usr/src/tmp/coccinelle-buildroot/usr/share/man/man1/ /usr/bin/ginstall -c -m 644 docs/Coccilib.3cocci /usr/src/tmp/coccinelle-buildroot/usr/share/man/man3/ make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' + install -d /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages + mv /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/python/coccilib /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/ + rm -rf /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/python + install ./tools/pycocci /usr/src/tmp/coccinelle-buildroot/usr/bin/pycocci + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/coccinelle-buildroot (auto) mode of './usr/lib/coccinelle/dllpyml_stubs.so' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/coccinelle-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/coccinelle-buildroot/ (default) Compressing files in /usr/src/tmp/coccinelle-buildroot (auto) Adjusting library links in /usr/src/tmp/coccinelle-buildroot ./usr/lib: (from :0) Verifying ELF objects in /usr/src/tmp/coccinelle-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=relaxed,unresolved=normal) verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: Caml_state verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_alloc_tuple verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_alloc_initialized_string verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_serialize_block_1 verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_deserialize_block_1 verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_register_global_root verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_callback2 verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_deserialize_uint_8 verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_copy_int64 verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_copy_double verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_serialize_int_8 verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_register_custom_operations verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_modify verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_copy_string verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_remove_global_root verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_alloc_custom verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_failwith verify-elf: WARNING: ./usr/lib/coccinelle/dllpyml_stubs.so: undefined symbol: caml_callback Splitting links to aliased files under /{,s}bin in /usr/src/tmp/coccinelle-buildroot Bytecompiling python3 modules in /usr/src/tmp/coccinelle-buildroot using /usr/bin/python3 compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/__init__.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/elems.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/iteration.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/org.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/output.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/report.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/trac.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/xml_firehose.py Bytecompiling python3 modules with optimization in /usr/src/tmp/coccinelle-buildroot using /usr/bin/python3 -O compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/__init__.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/elems.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/iteration.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/org.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/output.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/report.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/trac.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/xml_firehose.py Bytecompiling python3 modules with optimization-2 in /usr/src/tmp/coccinelle-buildroot using /usr/bin/python3 -OO compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/__init__.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/elems.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/iteration.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/org.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/output.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/report.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/trac.py compile /usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/xml_firehose.py Hardlinking identical .pyc and .opt-?.pyc files './usr/lib/python3/site-packages/coccilib/__pycache__/__init__.cpython-312.opt-1.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/__init__.cpython-312.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/__init__.cpython-312.opt-2.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/__init__.cpython-312.opt-1.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/elems.cpython-312.opt-1.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/elems.cpython-312.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/elems.cpython-312.opt-2.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/elems.cpython-312.opt-1.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/iteration.cpython-312.opt-1.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/iteration.cpython-312.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/iteration.cpython-312.opt-2.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/iteration.cpython-312.opt-1.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/org.cpython-312.opt-1.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/org.cpython-312.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/org.cpython-312.opt-2.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/org.cpython-312.opt-1.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/output.cpython-312.opt-1.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/output.cpython-312.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/report.cpython-312.opt-1.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/report.cpython-312.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/report.cpython-312.opt-2.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/report.cpython-312.opt-1.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/trac.cpython-312.opt-1.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/trac.cpython-312.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/trac.cpython-312.opt-2.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/trac.cpython-312.opt-1.pyc' './usr/lib/python3/site-packages/coccilib/__pycache__/xml_firehose.cpython-312.opt-1.pyc' => './usr/lib/python3/site-packages/coccilib/__pycache__/xml_firehose.cpython-312.pyc' Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.67404 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd coccinelle-1.2 + PATH=/usr/src/tmp/coccinelle-buildroot/usr/bin:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games + spatch --version spatch version 1.2 compiled with OCaml version 4.14.1 Flags passed to the configure script: --build=i586-alt-linux --host=i586-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --disable-silent-rules --runstatedir=/var/run --without-included-gettext --with-python=/usr/bin/python3 OCaml scripting support: no Python scripting support: yes Syntax of regular expressions: PCRE + spatch --version + grep -F 'spatch version 1.2 ' spatch version 1.2 compiled with OCaml version 4.14.1 + export COCCINELLE_HOME=/usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle + COCCINELLE_HOME=/usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle + export PYTHONPATH=/usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages + PYTHONPATH=/usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages + demos=(simple python_identifier) + for f in "${demos[@]}" + spatch -sp_file demos/simple.cocci demos/simple.c init_defs_builtins: /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/standard.h HANDLING: demos/simple.c diff = --- demos/simple.c +++ /tmp/cocci-output-1290865-8b2324-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); } + for f in "${demos[@]}" + spatch -sp_file demos/python_identifier.cocci demos/python_identifier.c init_defs_builtins: /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/standard.h HANDLING: demos/python_identifier.c diff = --- demos/python_identifier.c +++ /tmp/cocci-output-1290930-541227-python_identifier.c @@ -1,7 +1,7 @@ int main () { - one(12); - one_more(15); - another_one(20); + initial value: consider using coccinelle.varname(12); + initial value: consider using coccinelle.varname(15); + initial value: consider using coccinelle.varname(20); two(1,2); two_more(3,4); three(1,2,3); + yes + spatch -macro_file standard.h --iso-file standard.iso --testall + echo :: SCORE TEST SUCCESS :: SCORE TEST SUCCESS + tail log new test file appeared: zeroline.res -------------------------------- total score -------------------------------- good = 691/770 Current score is greater than expected :) (was expecting 539 but got 691) Generating new expected score file and saving old one mv tests/SCORE_expected.sexp tests/SCORE_expected.sexp.save [y/n] ? mv tests/SCORE_best_of_both.sexp tests/SCORE_expected.sexp [y/n] ? + exit 0 Processing files: coccinelle-1.2-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.79795 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd coccinelle-1.2 + DOCDIR=/usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + export DOCDIR + rm -rf /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + /bin/mkdir -p /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + cp -prL authors.txt bugs.txt changes.txt copyright.txt credits.txt /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + chmod -R go-w /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + chmod -R a+rX /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + cp -prL license.txt readme.txt /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + chmod -R go-w /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + chmod -R a+rX /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-1.2 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.bY5LI2 find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.YDXINE find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) py3prov: detected potential module:coccilib py3prov: detected potential module:coccilib :143: SyntaxWarning: invalid escape sequence '\d' :144: SyntaxWarning: invalid escape sequence '\d' :145: SyntaxWarning: invalid escape sequence '\w' :146: SyntaxWarning: invalid escape sequence '\d' :150: SyntaxWarning: invalid escape sequence '\d' :151: SyntaxWarning: invalid escape sequence '\d' :152: SyntaxWarning: invalid escape sequence '\w' :153: SyntaxWarning: invalid escape sequence '\d' py3req:/usr/src/tmp/coccinelle-buildroot/usr/bin/pycocci: skipping "sys" lines:[13] py3req:/usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/iteration.py: skipping "sys" lines:[2] py3req:/usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/output.py: "coccilib.org" lines:[[[31], [35], [39]]]: Ignore for REQ:slight py3req:/usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/xml_firehose.py: skipping "sys" lines:[3] py3req:/usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/xml_firehose.py: "firehose.model" lines:[[[[25]]]]: Ignore for REQ:slight py3req:/usr/src/tmp/coccinelle-buildroot/usr/lib/python3/site-packages/coccilib/xml_firehose.py: "os" lines:[[[[72]]]]: Ignore for REQ:slight ++ /bin/sed -e '/^python.*(coccinelle)/d' --- find-requires-deps 2024-04-27 11:03:40.346763920 +0000 +++ filter-requires-deps 2024-04-27 11:03:40.348763955 +0000 @@ -29,3 +29,2 @@ python3(argparse) < 0 -python3(coccinelle) < 0 python3(copy) < 0 Provides: spatch, ocaml-cmi(Coccilib) = 1.2-alt1, ocaml-cmx(Coccilib) = 1.2-alt1, python3(coccilib), python3(coccilib.elems), python3(coccilib.iteration), python3(coccilib.org), python3(coccilib.output), python3(coccilib.report), python3(coccilib.trac), python3(coccilib.xml_firehose) Requires: python3-dev, /lib/ld-linux.so.2, /usr/bin/python3, /usr/lib/python3/site-packages, libc.so.6(GLIBC_2.0), libc.so.6(GLIBC_2.1), libc.so.6(GLIBC_2.1.2), libc.so.6(GLIBC_2.1.3), libc.so.6(GLIBC_2.10), libc.so.6(GLIBC_2.11), libc.so.6(GLIBC_2.15), libc.so.6(GLIBC_2.16), libc.so.6(GLIBC_2.17), libc.so.6(GLIBC_2.2), libc.so.6(GLIBC_2.28), libc.so.6(GLIBC_2.3), libc.so.6(GLIBC_2.3.4), libc.so.6(GLIBC_2.33), libc.so.6(GLIBC_2.34), libc.so.6(GLIBC_2.38), libc.so.6(GLIBC_2.4), libc.so.6(GLIBC_2.7), libc.so.6(GLIBC_2.9), libm.so.6(GLIBC_2.0), libm.so.6(GLIBC_2.1), libm.so.6(GLIBC_2.29), libm.so.6(GLIBC_2.35), libpcre.so.3 >= set:ieEL9RiODtA0LXIJUZ49bAqz69DwNZg, python3(argparse) < 0, python3(copy) < 0, python3(multiprocessing) < 0, python3(os) < 0, python3(re) < 0, python3(shutil) < 0, python3(subprocess) < 0, python3(tempfile) < 0, python3(uuid) < 0, rtld(GNU_HASH) Requires(rpmlib): rpmlib(SetVersions) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.9ZNlPZ Creating coccinelle-debuginfo package Processing files: coccinelle-demos-1.2-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.18256 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd coccinelle-1.2 + DOCDIR=/usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-demos-1.2 + export DOCDIR + rm -rf /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-demos-1.2 + /bin/mkdir -p /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-demos-1.2 + cp -prL demos tests /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-demos-1.2 + chmod -R go-w /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-demos-1.2 + chmod -R a+rX /usr/src/tmp/coccinelle-buildroot/usr/share/doc/coccinelle-demos-1.2 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.mWgBUg find-provides: running scripts (alternatives,debuginfo,lib,ocaml,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Awynb3 find-requires: running scripts (cpp,debuginfo,files,lib,ocaml,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: coccinelle = 1.2-alt1 Processing files: coccinelle-checkinstall-1.2-alt1 warning: package with no files has %pre-script Finding Requires(pre) (using /usr/lib/rpm/find-scriptlet-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.o3W73z shebang.req: /usr/src/tmp/coccinelle-buildroot/.pre:coccinelle-checkinstall: /usr/sbin/sh-safely -> /usr/sbin/sh-safely (raw, not installed) Requires: coccinelle-demos = 1.2-alt1 Requires(interp): /usr/sbin/sh-safely Requires(pre): /usr/sbin/sh-safely Processing files: coccinelle-debuginfo-1.2-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.czh3vG find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DoId2U find-requires: running scripts (debuginfo) ++ /bin/sed -e '/^python.*(coccinelle)/d' Requires: coccinelle = 1.2-alt1, /usr/lib/debug/lib/ld-linux.so.2.debug, debug(libc.so.6), debug(libm.so.6), debug(libpcre.so.3) Adding to coccinelle-demos a strict dependency on coccinelle Adding to coccinelle-debuginfo a strict dependency on coccinelle Adding to coccinelle-checkinstall a strict dependency on coccinelle-demos Wrote: /usr/src/RPM/RPMS/i586/coccinelle-1.2-alt1.i586.rpm (w2T16.xzdio) Wrote: /usr/src/RPM/RPMS/noarch/coccinelle-demos-1.2-alt1.noarch.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/noarch/coccinelle-checkinstall-1.2-alt1.noarch.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/i586/coccinelle-debuginfo-1.2-alt1.i586.rpm (w2.lzdio) 237.08user 17.29system 2:35.31elapsed 163%CPU (0avgtext+0avgdata 406588maxresident)k 0inputs+0outputs (0major+2389819minor)pagefaults 0swaps 4.71user 2.95system 2:56.99elapsed 4%CPU (0avgtext+0avgdata 127172maxresident)k 191072inputs+0outputs (0major+289352minor)pagefaults 0swaps --- coccinelle-1.2-alt1.i586.rpm.repo 2024-03-31 08:53:16.000000000 +0000 +++ coccinelle-1.2-alt1.i586.rpm.hasher 2024-04-27 11:03:50.776944088 +0000 @@ -134,6 +134,6 @@ File: /usr/bin/pycocci 100755 root:root 9df74982b102303574f7d374b5092e27 -File: /usr/bin/spatch 100755 root:root b24a03835ff4018c8abdd7d00f66065a -File: /usr/bin/spgen 100755 root:root fccc99ed0a20318b3f5db51780dcc996 +File: /usr/bin/spatch 100755 root:root 8d8a854cf0b11d0c16514ce65415b94c +File: /usr/bin/spgen 100755 root:root 5d8fd7b3b784d47aee5f646c204c3fd5 File: /usr/lib/coccinelle 40755 root:root -File: /usr/lib/coccinelle/dllpyml_stubs.so 100644 root:root c1ee82c43e5cafa8d907cf1b389389d4 +File: /usr/lib/coccinelle/dllpyml_stubs.so 100644 root:root f90147252a361bf009c719ff436c193a File: /usr/lib/coccinelle/ocaml 40755 root:root @@ -214,2 +214,2 @@ File: /usr/share/man/man3/Coccilib.3cocci.xz 100644 root:root 1a9a7ed6554e04661f1fcc19ed42506f -RPMIdentity: 7f738ffd63df4101b5cd9f27c572f0e9fb17c3ed4cba1bdfcce1ee7822199b82c643ff026e7c99ff983d366a626ced1fee9ee85bde32a50e8fe44928c8b3f772 +RPMIdentity: dedebfe716a499790d39d0ab01fc05604382ce38ea722b06f020ca189d0b494c07412bed76fef96e4e6d122f75918d6774e718796600b49f32fc201713ad60da --- coccinelle-debuginfo-1.2-alt1.i586.rpm.repo 2024-03-31 08:53:15.000000000 +0000 +++ coccinelle-debuginfo-1.2-alt1.i586.rpm.hasher 2024-04-27 11:03:50.917946523 +0000 @@ -1,10 +1,10 @@ -/usr/lib/debug/.build-id/31 40755 root:root -/usr/lib/debug/.build-id/31/d544e7f1883f46cc02bce51c01d5b77f1a0c11 120777 root:root ../../../../bin/spatch -/usr/lib/debug/.build-id/31/d544e7f1883f46cc02bce51c01d5b77f1a0c11.debug 120777 root:root ../../usr/bin/spatch.debug -/usr/lib/debug/.build-id/89 40755 root:root -/usr/lib/debug/.build-id/89/a5aa5a22c5d586cd90f19f2efcd55f19b00c6e 120777 root:root ../../../../bin/spgen -/usr/lib/debug/.build-id/89/a5aa5a22c5d586cd90f19f2efcd55f19b00c6e.debug 120777 root:root ../../usr/bin/spgen.debug -/usr/lib/debug/.build-id/ba 40755 root:root -/usr/lib/debug/.build-id/ba/2ad78dbbd2aeb8cd5480286a8723a80f885e49 120777 root:root ../../../coccinelle/dllpyml_stubs.so -/usr/lib/debug/.build-id/ba/2ad78dbbd2aeb8cd5480286a8723a80f885e49.debug 120777 root:root ../../usr/lib/coccinelle/dllpyml_stubs.so.debug +/usr/lib/debug/.build-id/11 40755 root:root +/usr/lib/debug/.build-id/11/fcb8621ce942a501bc21595740f812153ae843 120777 root:root ../../../coccinelle/dllpyml_stubs.so +/usr/lib/debug/.build-id/11/fcb8621ce942a501bc21595740f812153ae843.debug 120777 root:root ../../usr/lib/coccinelle/dllpyml_stubs.so.debug +/usr/lib/debug/.build-id/44 40755 root:root +/usr/lib/debug/.build-id/44/7cb771cc61b12b82c312db273fd23debcdb7ac 120777 root:root ../../../../bin/spatch +/usr/lib/debug/.build-id/44/7cb771cc61b12b82c312db273fd23debcdb7ac.debug 120777 root:root ../../usr/bin/spatch.debug +/usr/lib/debug/.build-id/4b 40755 root:root +/usr/lib/debug/.build-id/4b/155c7782580870af13f80328673d1f70f8fb2b 120777 root:root ../../../../bin/spgen +/usr/lib/debug/.build-id/4b/155c7782580870af13f80328673d1f70f8fb2b.debug 120777 root:root ../../usr/bin/spgen.debug /usr/lib/debug/usr/bin/spatch.debug 100644 root:root @@ -29,15 +29,15 @@ Provides: coccinelle-debuginfo = 1.2-alt1:sisyphus+344041.400.4.1 -File: /usr/lib/debug/.build-id/31 40755 root:root -File: /usr/lib/debug/.build-id/31/d544e7f1883f46cc02bce51c01d5b77f1a0c11 120777 root:root ../../../../bin/spatch -File: /usr/lib/debug/.build-id/31/d544e7f1883f46cc02bce51c01d5b77f1a0c11.debug 120777 root:root ../../usr/bin/spatch.debug -File: /usr/lib/debug/.build-id/89 40755 root:root -File: /usr/lib/debug/.build-id/89/a5aa5a22c5d586cd90f19f2efcd55f19b00c6e 120777 root:root ../../../../bin/spgen -File: /usr/lib/debug/.build-id/89/a5aa5a22c5d586cd90f19f2efcd55f19b00c6e.debug 120777 root:root ../../usr/bin/spgen.debug -File: /usr/lib/debug/.build-id/ba 40755 root:root -File: /usr/lib/debug/.build-id/ba/2ad78dbbd2aeb8cd5480286a8723a80f885e49 120777 root:root ../../../coccinelle/dllpyml_stubs.so -File: /usr/lib/debug/.build-id/ba/2ad78dbbd2aeb8cd5480286a8723a80f885e49.debug 120777 root:root ../../usr/lib/coccinelle/dllpyml_stubs.so.debug -File: /usr/lib/debug/usr/bin/spatch.debug 100644 root:root c8714e174d8626e9f97ad607a294e355 -File: /usr/lib/debug/usr/bin/spgen.debug 100644 root:root dce428a4ce7fa594b6152f91e9f2b4c1 +File: /usr/lib/debug/.build-id/11 40755 root:root +File: /usr/lib/debug/.build-id/11/fcb8621ce942a501bc21595740f812153ae843 120777 root:root ../../../coccinelle/dllpyml_stubs.so +File: /usr/lib/debug/.build-id/11/fcb8621ce942a501bc21595740f812153ae843.debug 120777 root:root ../../usr/lib/coccinelle/dllpyml_stubs.so.debug +File: /usr/lib/debug/.build-id/44 40755 root:root +File: /usr/lib/debug/.build-id/44/7cb771cc61b12b82c312db273fd23debcdb7ac 120777 root:root ../../../../bin/spatch +File: /usr/lib/debug/.build-id/44/7cb771cc61b12b82c312db273fd23debcdb7ac.debug 120777 root:root ../../usr/bin/spatch.debug +File: /usr/lib/debug/.build-id/4b 40755 root:root +File: /usr/lib/debug/.build-id/4b/155c7782580870af13f80328673d1f70f8fb2b 120777 root:root ../../../../bin/spgen +File: /usr/lib/debug/.build-id/4b/155c7782580870af13f80328673d1f70f8fb2b.debug 120777 root:root ../../usr/bin/spgen.debug +File: /usr/lib/debug/usr/bin/spatch.debug 100644 root:root ecd97ca48e9a24024e964f6a5ebc69eb +File: /usr/lib/debug/usr/bin/spgen.debug 100644 root:root d4f9e3e144d4cde08bc7b51d560a2c4b File: /usr/lib/debug/usr/lib/coccinelle 40755 root:root -File: /usr/lib/debug/usr/lib/coccinelle/dllpyml_stubs.so.debug 100644 root:root 8f709a9beabdc491d7b7584d02250c5a +File: /usr/lib/debug/usr/lib/coccinelle/dllpyml_stubs.so.debug 100644 root:root 578a62fdc2ea9108fedeaebcfca0a613 File: /usr/src/debug/coccinelle-1.2 40755 root:root @@ -51,2 +51,2 @@ File: /usr/src/debug/coccinelle-1.2/bundles/pyml/pyml-current/pyml_wrappers.inc 100644 root:root 0470231b221569cf224f4621b838f33a -RPMIdentity: a7c77da73884ba46f72617bd3d52cbe3762e4869e417921cae63e6729e4c3a2bde4d79a6b01a9704cb2dbbe60183f51d1e3a519a76781d0d50a6efc0e6c7f632 +RPMIdentity: 6129fe2a4949d873a91c26af57ff00cb2257f463b961b15dc75d269e4b25c5f48af205826c6c2fe045f909619142a0512981fee399b72f33b8019f1580187cad --- coccinelle-demos-1.2-alt1.noarch.rpm.repo 2024-03-31 08:51:58.000000000 +0000 +++ coccinelle-demos-1.2-alt1.noarch.rpm.hasher 2024-04-27 11:03:51.031948492 +0000 @@ -3169,4 +3169,4 @@ File: /usr/share/doc/coccinelle-demos-1.2/tests/62.res 100644 root:root 1818f9e0cc76566ba7cfcfc53eb0b23c -File: /usr/share/doc/coccinelle-demos-1.2/tests/SCORE_actual.sexp 100644 root:root 5ccf7c49897ca420884c9623b77b47fc -File: /usr/share/doc/coccinelle-demos-1.2/tests/SCORE_expected.sexp 100644 root:root 0790445bf23168c097cfb27798f7cf5e +File: /usr/share/doc/coccinelle-demos-1.2/tests/SCORE_actual.sexp 100644 root:root 591732ae65b16cd23d77b1bb4c9a0242 +File: /usr/share/doc/coccinelle-demos-1.2/tests/SCORE_expected.sexp 100644 root:root 973a2e2e2f3c261d4a7dd70a35f7a7a5 File: /usr/share/doc/coccinelle-demos-1.2/tests/SCORE_expected.sexp.save 100644 root:root 008df46f037fb8caf22b0cc4249fd8fc @@ -5863,2 +5863,2 @@ File: /usr/share/doc/coccinelle-demos-1.2/tests/zeroline.res 100644 root:root 23acf12b70b6ea44475b1b12657c7c6e -RPMIdentity: 397ae407e1cdba7b7c0c6c2ce60417b460c0114bcd0443e350fae894bfe4ce739c1241a06658a26ef5bdc7f5aaa82e1b392d173a6705aab19652367535b69724 +RPMIdentity: 947f6f9c85ec611bbdcb7b35e08f910e809b1f799646ccc94035b234fab1593f7fdbb0a6b7eb77023a9a045aa7895613cb3241e110c6e34eb341793c58613b66