<86>Jun 8 08:59:15 userdel[3928740]: delete user 'rooter' <86>Jun 8 08:59:15 userdel[3928740]: removed group 'rooter' owned by 'rooter' <86>Jun 8 08:59:15 userdel[3928740]: removed shadow group 'rooter' owned by 'rooter' <86>Jun 8 08:59:15 groupadd[3928921]: group added to /etc/group: name=rooter, GID=1796 <86>Jun 8 08:59:15 groupadd[3928921]: group added to /etc/gshadow: name=rooter <86>Jun 8 08:59:15 groupadd[3928921]: new group: name=rooter, GID=1796 <86>Jun 8 08:59:15 useradd[3929110]: new user: name=rooter, UID=1796, GID=1796, home=/root, shell=/bin/bash, from=none <86>Jun 8 08:59:16 userdel[3929642]: delete user 'builder' <86>Jun 8 08:59:16 userdel[3929642]: removed group 'builder' owned by 'builder' <86>Jun 8 08:59:16 userdel[3929642]: removed shadow group 'builder' owned by 'builder' <86>Jun 8 08:59:16 groupadd[3929879]: group added to /etc/group: name=builder, GID=1797 <86>Jun 8 08:59:16 groupadd[3929879]: group added to /etc/gshadow: name=builder <86>Jun 8 08:59:16 groupadd[3929879]: new group: name=builder, GID=1797 <86>Jun 8 08:59:16 useradd[3930123]: new user: name=builder, UID=1797, GID=1797, home=/usr/src, shell=/bin/bash, from=none <13>Jun 8 08:59:22 rpmi: ocaml-runtime-4.14.1-alt1 sisyphus+333652.177.29.2 1701355789 installed <13>Jun 8 08:59:22 rpmi: libmpdec3-2.5.1-alt3 sisyphus+314490.500.5.1 1675432033 installed <13>Jun 8 08:59:22 rpmi: libgdbm-1.8.3-alt10 sisyphus+346222.200.3.2 1716468406 installed <13>Jun 8 08:59:22 rpmi: libexpat-2.5.0-alt1 sisyphus+346180.200.2.1 1716349845 installed <13>Jun 8 08:59:22 rpmi: libb2-0.98.1-alt1_1 sisyphus+291614.100.1.1 1638962878 installed <13>Jun 8 08:59:22 rpmi: libp11-kit-1:0.25.3-alt2 sisyphus+336533.100.1.1 1702645575 installed <13>Jun 8 08:59:22 rpmi: libtasn1-4.19.0-alt3 sisyphus+327816.100.1.1 1692802618 installed <13>Jun 8 08:59:22 rpmi: rpm-macros-alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Jun 8 08:59:22 rpmi: alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Jun 8 08:59:22 rpmi: ca-certificates-2024.02.24-alt1 sisyphus+341362.100.1.1 1708791001 installed <13>Jun 8 08:59:22 rpmi: ca-trust-0.2.0-alt1 sisyphus+344843.100.1.1 1712743326 installed <13>Jun 8 08:59:22 rpmi: p11-kit-trust-1:0.25.3-alt2 sisyphus+336533.100.1.1 1702645575 installed <13>Jun 8 08:59:22 rpmi: libcrypto3-3.1.6-alt1 sisyphus+350419.100.1.1 1717605920 installed <13>Jun 8 08:59:22 rpmi: libssl3-3.1.6-alt1 sisyphus+350419.100.1.1 1717605920 installed <13>Jun 8 08:59:22 rpmi: python3-3.12.2-alt1 sisyphus+341702.200.1.1 1709232959 installed <13>Jun 8 08:59:23 rpmi: python3-base-3.12.2-alt1 sisyphus+341702.200.1.1 1709232959 installed <13>Jun 8 08:59:23 rpmi: python3-module-py3dephell-0.1.0-alt2 sisyphus+328191.600.5.1 1693609196 installed <13>Jun 8 08:59:23 rpmi: tests-for-installed-python3-pkgs-0.1.25-alt1 sisyphus+344685.100.1.1 1712595070 installed <13>Jun 8 08:59:23 rpmi: rpm-build-python3-0.1.25-alt1 sisyphus+344685.100.1.1 1712595070 installed <13>Jun 8 08:59:23 rpmi: rpm-build-ocaml-1.6.2.1-alt1 sisyphus+349582.100.1.1 1716824125 installed <13>Jun 8 08:59:33 rpmi: ocaml-4.14.1-alt1 sisyphus+333652.177.29.2 1701355789 installed <13>Jun 8 08:59:33 rpmi: libpcre3-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Jun 8 08:59:33 rpmi: ocaml-pcre-7.5.0-alt1 sisyphus+333652.2500.29.2 1701356733 installed <13>Jun 8 08:59:33 rpmi: ocaml-num-1.4-alt2 sisyphus+333652.7300.29.2 1701357994 installed <13>Jun 8 08:59:33 rpmi: ocaml-parmap-1.2.5-alt1 sisyphus+333652.14100.29.2 1701359364 installed <13>Jun 8 08:59:33 rpmi: ocaml-stdcompat-19-alt2 sisyphus+335662.100.1.1 1701670155 installed <13>Jun 8 08:59:33 rpmi: libpython3-3.12.2-alt1 sisyphus+341702.200.1.1 1709232959 installed <13>Jun 8 08:59:33 rpmi: libpcre16-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Jun 8 08:59:33 rpmi: libreadline7-7.0.3-alt5 sisyphus+328858.200.1.1 1694010663 installed <13>Jun 8 08:59:33 rpmi: pcretest-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Jun 8 08:59:33 rpmi: libpcre-devel-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Jun 8 08:59:33 rpmi: libncurses6-6.3.20220618-alt4 sisyphus+327286.4600.14.1 1711486782 installed <13>Jun 8 08:59:33 rpmi: libtinfo-devel-6.3.20220618-alt4 sisyphus+327286.4600.14.1 1711486782 installed <13>Jun 8 08:59:33 rpmi: libncurses-devel-6.3.20220618-alt4 sisyphus+327286.4600.14.1 1711486782 installed <13>Jun 8 08:59:34 rpmi: python3-dev-3.12.2-alt1 sisyphus+341702.200.1.1 1709232959 installed <13>Jun 8 08:59:34 rpmi: ocaml-pcre-devel-7.5.0-alt1 sisyphus+333652.2500.29.2 1701356733 installed <13>Jun 8 08:59:34 rpmi: ocaml-stdcompat-devel-19-alt2 sisyphus+335662.100.1.1 1701670155 installed <13>Jun 8 08:59:34 rpmi: ocaml-parmap-devel-1.2.5-alt1 sisyphus+333652.14100.29.2 1701359364 installed <13>Jun 8 08:59:34 rpmi: ocaml-num-devel-1.4-alt2 sisyphus+333652.7300.29.2 1701357994 installed <13>Jun 8 08:59:34 rpmi: ocaml-findlib-1.9.6-alt2 sisyphus+333652.2174.29.2 1701356590 installed <13>Jun 8 08:59:34 rpmi: ocaml-menhir-20230608-alt1 sisyphus+333652.13000.29.2 1701359020 installed <13>Jun 8 08:59:35 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.9523 + 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.25494 + 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, 08 Jun 2024 08:59:41 +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/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/config.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 globals/flag.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 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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/arity.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/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/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/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/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/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/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/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_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/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_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/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/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/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/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/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/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 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_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/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_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/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/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/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/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/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/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/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/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 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/compare_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/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/unparse_hrule.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 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/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 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 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 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 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 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 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 ocaml/externalanalysis.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 ocaml/coccilib.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 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 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 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/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 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 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/asttomember.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/ast_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 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 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/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/ctltotex.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/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 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 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_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 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 flag_cocci.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/maintainers.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 read_options.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 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 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/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/disj_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/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/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/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/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/context_rule.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' 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/meta_variable.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/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/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_config.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/position_generator.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 commons/commands.mli 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' 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 globals/iteration.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 globals/flag.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 globals/regexp.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 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 enter.ml 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 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/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 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/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/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/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/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/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/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/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/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/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/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/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/simple_assignments.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/adjust_pragmas.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/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/insert_plus.mli 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/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/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/parse_printf.mli 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/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/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/git_grep.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/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/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 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/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/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/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/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/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/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/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.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/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/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/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/parse_string_c.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_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/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/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/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/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/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/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/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 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_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/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/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/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 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 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/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/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/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 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 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.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/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/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 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_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/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/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/asttomember.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/asttoctl2.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/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 popl09/asttopopl.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/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/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/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/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 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 testing.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.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_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' 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_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 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' 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 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/regexp_pcre.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 globals/flag.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 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/parse_printf.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 parsing_cocci/cocci_grep.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/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_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/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/command_line.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_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 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' 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 main.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' 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' OCAMLC enter.mli 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 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 depend-rec 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: 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/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_test.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 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 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 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/regexp_pcre.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 globals/config.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' 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' 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_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 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' 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' 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: 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 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' 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' OCAMLC ctl/ast_ctl.ml 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[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[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 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' OCAMLC parsing_cocci/cocci_args.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/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_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 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 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 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_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 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/compare_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' 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' 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 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 commons/ograph_extended.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_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 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_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 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 -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 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 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 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/maintainers.mli 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: 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 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 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 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/re_constraints.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.mli 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' 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 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 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' 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' 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' 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 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 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[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 testing.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.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/ast_tostring.ml 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[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 extra/maintainers.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 extra/kbuild.ml 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 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 ocaml/prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.2' 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 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 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 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/asttopopl.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 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' cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.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.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/meta_variable.mli 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 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 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_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 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 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/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: 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/ast0toast.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 -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 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/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/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/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/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/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/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/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/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/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: 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 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/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/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/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/id_utils.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.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_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/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/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/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/danger.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/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_cocci/get_constants2.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/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 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 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 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 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 ocaml/externalanalysis.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 ctl/wrapper_ctl.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.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[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 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 engine/lib_engine.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.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 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 parsing_cocci/disjdistr.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.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 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' 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 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' 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' 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' 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 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_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 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 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 popl09/asttopopl.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/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 tools/spgen/source/spgen_test.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.mli -o pyml-current/py.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/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/iso_pattern.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.mli 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 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/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_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 ctl/ctl_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/pywrappers.ml -o pyml-current/pywrappers.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 commons/common.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[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: 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[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[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 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_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_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/adjacency.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.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_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/index.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_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/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_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/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/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/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_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/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[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: 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: 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[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 -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.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.ml 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 ocaml/externalanalysis.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 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' 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/lib_engine.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 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 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 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 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/asttomember.mli 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/ctltotex.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.ml 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 engine/postprocess_transinfo.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/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/disj_generator.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.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/user_input.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_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 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' 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' 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' 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' cp commons/common.cmo ocaml/common.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/snapshot.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/context_rule.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/check_meta.ml 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 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 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 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 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 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 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/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/get_metas.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/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/test_exps.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_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/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/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_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' 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_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_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 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 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' OCAMLC 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' 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/unparse_cocci.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[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[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/pattern_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' 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_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 popl09/popltoctl.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.ml 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/postprocess_transinfo.ml 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 main.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 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' 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' OCAMLC cocci.mli 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 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 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 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_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 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 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 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' 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 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_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_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 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 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' 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' 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 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_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 testing.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 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 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 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 -o popl09/popl09.cma 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 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/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 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/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_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_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 engine/asttoctl2.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.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_hacks.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 -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 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.mli 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 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 cocci.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 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' 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.9850 + 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.85938 + 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 + grep -F 'spatch version 1.2 ' + spatch --version 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-4171868-dcc33c-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-4171923-2ad39d-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.71191 + 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.OZnjhu 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.xm4LVm 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-06-08 09:01:54.667091031 +0000 +++ filter-requires-deps 2024-06-08 09:01:54.670091082 +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.4Pd1TF Creating coccinelle-debuginfo package Processing files: coccinelle-demos-1.2-alt1 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.6159 + 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.eztBLP 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.Z0VDQC 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.ITS6EA 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.Outv6D find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.rJxYo0 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) 228.74user 18.81system 2:28.07elapsed 167%CPU (0avgtext+0avgdata 406004maxresident)k 0inputs+0outputs (0major+2631924minor)pagefaults 0swaps 6.11user 4.97system 3:01.36elapsed 6%CPU (0avgtext+0avgdata 128000maxresident)k 179296inputs+0outputs (0major+310849minor)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-06-08 09:02:09.890348338 +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 70abbb6f9994c907b3b0b315e813a000 +File: /usr/bin/spgen 100755 root:root 4ad76ebc403f1f70a30b3324ef3a44a1 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 38683c3d8e31e9ae0f356a00e3d4db40 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: 4707bf27afc16ad3d59f32b95b1e45c10b3894472922b840076a9402f783ebfd0ef8bbf0a78aab708fc485c1bcdac6c1119dd867a1f4f7085a9e78f86a341fcb --- 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-06-08 09:02:10.349356096 +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/05 40755 root:root +/usr/lib/debug/.build-id/05/cb47f22de616038f18efc279b8c01ab5b9ab85 120777 root:root ../../../../bin/spgen +/usr/lib/debug/.build-id/05/cb47f22de616038f18efc279b8c01ab5b9ab85.debug 120777 root:root ../../usr/bin/spgen.debug +/usr/lib/debug/.build-id/82 40755 root:root +/usr/lib/debug/.build-id/82/a814484f60dfbd5a05779908bcdf3023fa5681 120777 root:root ../../../../bin/spatch +/usr/lib/debug/.build-id/82/a814484f60dfbd5a05779908bcdf3023fa5681.debug 120777 root:root ../../usr/bin/spatch.debug +/usr/lib/debug/.build-id/8d 40755 root:root +/usr/lib/debug/.build-id/8d/30489ddc55aa7423f95a5af5b4f06283c22f90 120777 root:root ../../../coccinelle/dllpyml_stubs.so +/usr/lib/debug/.build-id/8d/30489ddc55aa7423f95a5af5b4f06283c22f90.debug 120777 root:root ../../usr/lib/coccinelle/dllpyml_stubs.so.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/05 40755 root:root +File: /usr/lib/debug/.build-id/05/cb47f22de616038f18efc279b8c01ab5b9ab85 120777 root:root ../../../../bin/spgen +File: /usr/lib/debug/.build-id/05/cb47f22de616038f18efc279b8c01ab5b9ab85.debug 120777 root:root ../../usr/bin/spgen.debug +File: /usr/lib/debug/.build-id/82 40755 root:root +File: /usr/lib/debug/.build-id/82/a814484f60dfbd5a05779908bcdf3023fa5681 120777 root:root ../../../../bin/spatch +File: /usr/lib/debug/.build-id/82/a814484f60dfbd5a05779908bcdf3023fa5681.debug 120777 root:root ../../usr/bin/spatch.debug +File: /usr/lib/debug/.build-id/8d 40755 root:root +File: /usr/lib/debug/.build-id/8d/30489ddc55aa7423f95a5af5b4f06283c22f90 120777 root:root ../../../coccinelle/dllpyml_stubs.so +File: /usr/lib/debug/.build-id/8d/30489ddc55aa7423f95a5af5b4f06283c22f90.debug 120777 root:root ../../usr/lib/coccinelle/dllpyml_stubs.so.debug +File: /usr/lib/debug/usr/bin/spatch.debug 100644 root:root 3e9a61fc6c565c0377a4995e251c1e08 +File: /usr/lib/debug/usr/bin/spgen.debug 100644 root:root 03511cad73a9ee8b0c6a84a626ca9a61 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 b26c12c51be9b1525e4230207404a6ec 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: 2957bdf9620cef2a010dbf558c3d0dffe1d0df753abfa4357547a4bf75e1da2601d9f88f0bd481f42a6cc528bdd4ff1f832b7c3ff7a979840d7106b1ffd74074 --- 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-06-08 09:02:10.619360660 +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 a6e9906f4da1a0666246a42a7f80ca32 +File: /usr/share/doc/coccinelle-demos-1.2/tests/SCORE_expected.sexp 100644 root:root 5a6a5d14b8f058b6769a23e821246439 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: d6330383b9847fef4bb4ec789896b68cd6f42b461b040308d48aa748a5434a07c492bdd4f9ebe1c4a0701c2c34175ccd5cec8e4e1501b9f5bf8f0515b291c728