<86>Feb 3 07:19:52 userdel[2524645]: delete user 'rooter' <86>Feb 3 07:19:52 userdel[2524645]: removed group 'rooter' owned by 'rooter' <86>Feb 3 07:19:52 userdel[2524645]: removed shadow group 'rooter' owned by 'rooter' <86>Feb 3 07:19:52 groupadd[2524652]: group added to /etc/group: name=rooter, GID=1238 <86>Feb 3 07:19:52 groupadd[2524652]: group added to /etc/gshadow: name=rooter <86>Feb 3 07:19:52 groupadd[2524652]: new group: name=rooter, GID=1238 <86>Feb 3 07:19:52 useradd[2524658]: new user: name=rooter, UID=1238, GID=1238, home=/root, shell=/bin/bash, from=none <86>Feb 3 07:19:52 userdel[2524668]: delete user 'builder' <86>Feb 3 07:19:52 userdel[2524668]: removed group 'builder' owned by 'builder' <86>Feb 3 07:19:52 userdel[2524668]: removed shadow group 'builder' owned by 'builder' <86>Feb 3 07:19:52 groupadd[2524675]: group added to /etc/group: name=builder, GID=1239 <86>Feb 3 07:19:52 groupadd[2524675]: group added to /etc/gshadow: name=builder <86>Feb 3 07:19:52 groupadd[2524675]: new group: name=builder, GID=1239 <86>Feb 3 07:19:52 useradd[2524685]: new user: name=builder, UID=1239, GID=1239, home=/usr/src, shell=/bin/bash, from=none <13>Feb 3 07:19:57 rpmi: ocaml-runtime-4.14.1-alt1 sisyphus+333652.177.29.2 1701355789 installed <13>Feb 3 07:19:57 rpmi: libmpdec3-2.5.1-alt3 sisyphus+314490.500.5.1 1675432033 installed <13>Feb 3 07:19:57 rpmi: libgdbm-1.8.3-alt10 sisyphus+278100.1600.1.1 1626059138 installed <13>Feb 3 07:19:57 rpmi: libexpat-2.5.0-alt1 sisyphus+309227.100.1.1 1667075766 installed <13>Feb 3 07:19:57 rpmi: libb2-0.98.1-alt1_1 sisyphus+291614.100.1.1 1638962878 installed <13>Feb 3 07:19:57 rpmi: libp11-kit-1:0.25.3-alt2 sisyphus+336533.100.1.1 1702645575 installed <13>Feb 3 07:19:57 rpmi: libtasn1-4.19.0-alt3 sisyphus+327816.100.1.1 1692802618 installed <13>Feb 3 07:19:57 rpmi: rpm-macros-alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Feb 3 07:19:57 rpmi: alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Feb 3 07:19:57 rpmi: ca-certificates-2023.12.20-alt1 sisyphus+336902.300.1.1 1703105726 installed <13>Feb 3 07:19:57 rpmi: ca-trust-0.1.4-alt1 sisyphus+308690.100.1.1 1666182992 installed <13>Feb 3 07:19:57 rpmi: p11-kit-trust-1:0.25.3-alt2 sisyphus+336533.100.1.1 1702645575 installed <13>Feb 3 07:19:57 rpmi: libcrypto3-3.1.5-alt1 sisyphus+339669.100.1.1 1706908706 installed <13>Feb 3 07:19:57 rpmi: libssl3-3.1.5-alt1 sisyphus+339669.100.1.1 1706908706 installed <13>Feb 3 07:19:57 rpmi: python3-3.12.1-alt2 sisyphus+339293.200.1.1 1706538582 installed <13>Feb 3 07:19:58 rpmi: python3-base-3.12.1-alt2 sisyphus+339293.200.1.1 1706538582 installed <13>Feb 3 07:19:58 rpmi: python3-module-py3dephell-0.1.0-alt2 sisyphus+328191.600.5.1 1693609196 installed <13>Feb 3 07:19:58 rpmi: tests-for-installed-python3-pkgs-0.1.24-alt2 sisyphus+331059.100.4.1 1696870033 installed <13>Feb 3 07:19:58 rpmi: rpm-build-python3-0.1.24-alt2 sisyphus+331059.100.4.1 1696870033 installed <13>Feb 3 07:19:58 rpmi: rpm-build-ocaml-1.6.2-alt1 sisyphus+333652.74.29.2 1701355648 installed <13>Feb 3 07:20:10 rpmi: ocaml-4.14.1-alt1 sisyphus+333652.177.29.2 1701355789 installed <13>Feb 3 07:20:10 rpmi: libpcre3-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Feb 3 07:20:10 rpmi: ocaml-pcre-7.5.0-alt1 sisyphus+333652.2500.29.2 1701356733 installed <13>Feb 3 07:20:10 rpmi: ocaml-num-1.4-alt2 sisyphus+333652.7300.29.2 1701357994 installed <13>Feb 3 07:20:10 rpmi: ocaml-parmap-1.2.5-alt1 sisyphus+333652.14100.29.2 1701359364 installed <13>Feb 3 07:20:10 rpmi: ocaml-stdcompat-19-alt2 sisyphus+335662.100.1.1 1701670155 installed <13>Feb 3 07:20:10 rpmi: libpython3-3.12.1-alt2 sisyphus+339293.200.1.1 1706538582 installed <13>Feb 3 07:20:10 rpmi: libpcre16-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Feb 3 07:20:10 rpmi: libreadline7-7.0.3-alt5 sisyphus+328858.200.1.1 1694010663 installed <13>Feb 3 07:20:10 rpmi: pcretest-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Feb 3 07:20:10 rpmi: libpcre-devel-8.45-alt2 sisyphus+283722.100.1.2 1629848216 installed <13>Feb 3 07:20:10 rpmi: libncurses6-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693213017 installed <13>Feb 3 07:20:10 rpmi: libtinfo-devel-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693213017 installed <13>Feb 3 07:20:10 rpmi: libncurses-devel-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693213017 installed <13>Feb 3 07:20:12 rpmi: python3-dev-3.12.1-alt2 sisyphus+339293.200.1.1 1706538582 installed <13>Feb 3 07:20:12 rpmi: ocaml-pcre-devel-7.5.0-alt1 sisyphus+333652.2500.29.2 1701356733 installed <13>Feb 3 07:20:12 rpmi: ocaml-stdcompat-devel-19-alt2 sisyphus+335662.100.1.1 1701670155 installed <13>Feb 3 07:20:12 rpmi: ocaml-parmap-devel-1.2.5-alt1 sisyphus+333652.14100.29.2 1701359364 installed <13>Feb 3 07:20:12 rpmi: ocaml-num-devel-1.4-alt2 sisyphus+333652.7300.29.2 1701357994 installed <13>Feb 3 07:20:12 rpmi: ocaml-findlib-1.9.6-alt2 sisyphus+333652.2174.29.2 1701356590 installed <13>Feb 3 07:20:12 rpmi: ocaml-menhir-20230608-alt1 sisyphus+333652.13000.29.2 1701359020 installed <13>Feb 3 07:20:12 rpmi: ocaml-ocamldoc-4.14.1-alt1 sisyphus+333652.177.29.2 1701355789 installed Building target platforms: i586 Building for target i586 Wrote: /usr/src/in/nosrpm/coccinelle-1.1.1-alt2.nosrc.rpm (w1.gzdio) Installing coccinelle-1.1.1-alt2.src.rpm Building target platforms: i586 Building for target i586 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.1970 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf coccinelle-1.1.1 + echo 'Source #0 (coccinelle-1.1.1.tar):' Source #0 (coccinelle-1.1.1.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/coccinelle-1.1.1.tar + cd coccinelle-1.1.1 + /bin/chmod -c -Rf u+rwX,go-w . + sed -i '1s:^#!/usr/bin/env python$:#!/usr/bin/python3:' tools/pycocci + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.1970 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd coccinelle-1.1.1 + ./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.1.1 in /usr/src/RPM/BUILD/coccinelle-1.1.1 checking for a BSD-compatible install... /bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... /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... /bin/date configure: version suffix set to Sat, 03 Feb 2024 07:20:18 +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... /bin/tar checking for patch... /usr/bin/patch checking for echo... /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 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.1.1/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 configure: verifying optional features checking for i586-alt-linux-menhir... no checking for menhir... /usr/bin/menhir configure: system menhir will be used configure: system menhir will be used 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.1.1/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.1.1/setup/fake-pdflatex.sh pdflatex. checking for i586-alt-linux-pdflatex... /usr/src/RPM/BUILD/coccinelle-1.1.1/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.1.1 ./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 -j8 make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/commands.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/config.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/ocamlextra/dumper.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/flag.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/ograph_simple.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/regexp_pcre.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/flag_parsing_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/ograph_extended.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/regexp.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/iteration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/visitor_ast0_types.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/ast0_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/ast_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/pretty_print_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/unparse_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/unify_ast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/iso_compile.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/comm_assoc.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/ast0toast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/simple_assignments.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/visitor_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/single_statement.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/visitor_ast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/compute_lines.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/get_metas.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/stmtlist.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/top_level.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/common.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/test_exps.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/unitary_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/index.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/check_meta.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/type_infer.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/semantic_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/adjust_pragmas.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/function_prototypes.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/iso_pattern.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/data.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/parse_printf.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/safe_for_multi_decls.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/insert_plus.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/cocci_grep.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/dpll.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/context_neg.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/git_grep.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/id_utils.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/cleanup_rules.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/arity.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/free_vars.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/disjdistr.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/parse_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/commas_on_lists.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/adjacency.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/re_constraints.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/token_annot.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/command_line.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/cocci_args.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/get_constants2.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/token_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/flag_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parsing_stat.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/includes.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/control_flow_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/semantic_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/lib_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/ast_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/lexer_parser.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parse_string_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/includes_cache.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/token_views_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/token_helpers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/cpp_token_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/pretty_print_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/control_flow_c_build.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/cpp_analysis_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parsing_recovery_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parsing_consistency_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/visitor_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/danger.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/type_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/unparse_hrule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/parse_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parse_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/comment_annotater_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/cpp_ast_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/unparse_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/flag_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/compare_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parsing_hacks.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/pretty_print_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/type_annoter_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/wrapper_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/ast_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/test_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/exposed_modules.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/externalanalysis.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/ocamlcocci_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/no_prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/coccilib.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/run_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP python/pycocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/flag_matcher.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP python/pycocci_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/lib_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/check_exhaustive_pattern.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP python/yes_pycocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/pretty_print_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/check_reachability.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/unparse_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/isomorphisms_c_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/c_vs_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/asttomember.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/transformation_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/ctl_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/postprocess_transinfo.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/pattern_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/ast_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/asttopopl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/ctltotex.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/insert_quantifiers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/flag_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/ctlcocci_integration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/pretty_print_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP extra/classic_patch.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/popltoctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP extra/kbuild.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP extra/maintainers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP flag_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP read_options.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP main.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/ast_tostring.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/detect_patch.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/globals.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/asttoctl2.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/snapshot.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP testing.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/meta_variable.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/disj_generator.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP enter.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/rule_header.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/context_rule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/user_input.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/position_generator.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/script_rule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/rule_body.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/file_transform.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen_config.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/main.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen_interactive.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLLEX parsing_cocci/lexer_script.mll 25 states, 314 transitions, table size 1406 bytes make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen_test.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLYACC parsing_c/parser_c.mly make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/ocamlextra/dumper.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/commands.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/ograph_simple.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/config.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/cocci_vs_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/flag.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/iteration.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/regexp_pcre.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/ograph_extended.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP globals/regexp.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/flag_parsing_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' 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.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLLEX parsing_cocci/lexer_cocci.mll ocamllex warning: File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string. 400 states, 6934 transitions, table size 30136 bytes 4105 additional bytes used for bindings make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/pretty_print_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/visitor_ast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/visitor_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/ast0toast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/ast_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP commons/common.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/ast0_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/unparse_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/unify_ast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/visitor_ast0_types.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/compute_lines.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/iso_pattern.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/comm_assoc.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/iso_compile.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/single_statement.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/simple_assignments.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/get_metas.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/stmtlist.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/check_meta.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/top_level.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/type_infer.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/test_exps.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/unitary_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/arity.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/index.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/context_neg.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/adjust_pragmas.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/insert_plus.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/function_prototypes.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/semantic_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/free_vars.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/safe_for_multi_decls.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/parse_printf.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/data.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/disjdistr.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/cleanup_rules.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/cocci_grep.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/dpll.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/id_utils.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/get_constants2.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/git_grep.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/adjacency.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/re_constraints.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/commas_on_lists.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/parse_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/command_line.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/parse_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/cocci_args.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/token_annot.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/flag_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parsing_stat.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/token_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/includes.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/control_flow_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/includes_cache.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/control_flow_c_build.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/lib_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/ast_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/visitor_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/semantic_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/pretty_print_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/lexer_parser.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parse_string_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/token_helpers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/token_views_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/cpp_token_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/cpp_analysis_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parsing_hacks.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/unparse_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parsing_recovery_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parsing_consistency_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/danger.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/unparse_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parse_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/unparse_hrule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/type_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/cpp_ast_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/type_annoter_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/comment_annotater_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/compare_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/test_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/flag_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/pretty_print_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/ast_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/ctl_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ctl/wrapper_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/externalanalysis.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/exposed_modules.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/ocamlcocci_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/prepare_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/no_prepare_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/run_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP python/pycocci_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP python/pycocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/flag_matcher.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP python/yes_pycocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/lib_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/pretty_print_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/check_exhaustive_pattern.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/check_reachability.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/c_vs_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/isomorphisms_c_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/pattern_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/transformation_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/asttomember.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/asttoctl2.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/cocci_vs_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/ctltotex.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/postprocess_transinfo.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP engine/ctlcocci_integration.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/ast_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/asttopopl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/insert_quantifiers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/pretty_print_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/flag_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP extra/classic_patch.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/popltoctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP popl09/popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP extra/kbuild.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP extra/maintainers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP flag_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP read_options.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP testing.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP enter.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP main.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/globals.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/ast_tostring.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/detect_patch.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/meta_variable.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/snapshot.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/user_input.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/position_generator.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/disj_generator.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/rule_body.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/rule_header.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/context_rule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/script_rule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/file_transform.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen_interactive.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLLEX parsing_c/lexer_c.mll 564 states, 26650 transitions, table size 109984 bytes 17879 additional bytes used for bindings make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen_config.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen_test.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/main.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/lexer_cli.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/lexer_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/lexer_script.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen_lexer.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/lexer_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parser_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/lexer_cli.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/lexer_script.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP ocaml/coccilib.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP tools/spgen/source/spgen_lexer.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/lexer_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/lexer_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_c/parser_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' /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.1.1/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.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/ocamlextra/dumper.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/commands.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/config.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/regexp_pcre.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/iteration.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/flag.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/regexp.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/flag_parsing_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/semantic_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/parse_printf.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/lexer_cli.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/cocci_grep.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/dpll.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/git_grep.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/command_line.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make -C bundles/pyml all make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/cocci_args.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/token_annot.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make depend-rec make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/flag_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/flag_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/flag_matcher.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/ast_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/flag_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC flag_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC read_options.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC enter.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp globals/regexp.cmi ocaml/regexp.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp globals/config.cmi ocaml/config.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen_lexer.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp globals/flag.cmi ocaml/flag.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp globals/iteration.cmi ocaml/iteration.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC main.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp commons/commands.cmi ocaml/commands.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen_test.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' 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.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/main.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/commands.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/ocamlextra/dumper.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/regexp.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/regexp_pcre.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/flag.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/flag_parsing_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/config.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/semantic_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/lexer_cli.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/common.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/token_annot.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/parse_printf.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/flag_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/pretty_print_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/ast_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/cocci_args.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/flag_matcher.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/flag_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC extra/classic_patch.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC extra/kbuild.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC flag_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp commons/common.cmi ocaml/common.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp globals/regexp.cmo ocaml/regexp.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp globals/config.cmo ocaml/config.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp globals/flag.cmo ocaml/flag.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp commons/commands.cmo ocaml/commands.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC extra/maintainers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/main.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC read_options.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen_lexer.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/ast_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC globals/iteration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/cocci_grep.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/re_constraints.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/ograph_extended.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/ograph_simple.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/dpll.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/git_grep.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/token_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/semantic_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/compare_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/command_line.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/test_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parsing_stat.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/ctl_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/no_prepare_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/prepare_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/check_exhaustive_pattern.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/pretty_print_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' cd pyml-current && ./generate make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/ast_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC extra/classic_patch.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/token_c.cmi ocaml/token_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp globals/iteration.cmo ocaml/iteration.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/globals.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/flag_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/ast_tostring.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o globals/globals.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC extra/maintainers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC extra/kbuild.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/pretty_print_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/ograph_simple.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/stmtlist.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/free_vars.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/safe_for_multi_decls.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/visitor_ast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/cleanup_rules.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/disjdistr.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/ograph_extended.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/get_constants2.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/token_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/ast0_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/semantic_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/wrapper_ctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parsing_stat.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/no_prepare_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/insert_quantifiers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/ast_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/asttopopl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/pretty_print_popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o extra/extra.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/ast_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/detect_patch.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/ast_tostring.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/meta_variable.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC testing.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/snapshot.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/rule_body.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/rule_header.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/ast_c.cmi ocaml/ast_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/token_c.cmo ocaml/token_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/file_transform.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/ast_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/context_rule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/globals.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/ast0toast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/unparse_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' cp pyml-current/pyml_arch_unix.ml pyml-current/pyml_arch.ml make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/unify_ast.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/compute_lines.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/comm_assoc.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/single_statement.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/visitor_ast0_types.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/simple_assignments.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/get_metas.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/ast0_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/top_level.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/stmtlist.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/check_meta.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC commons/common.ml File "commons/common.ml", line 5305, characters 4-14: 5305 | write_file file1 (unwords xs); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5306, characters 4-14: 5306 | write_file file2 (unwords ys); ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5333, characters 4-14: 5333 | write_file "/tmp/diff1" xstr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "commons/common.ml", line 5334, characters 4-14: 5334 | write_file "/tmp/diff2" ystr; ^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/type_infer.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/test_exps.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/unitary_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/index.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/arity.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/context_neg.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/insert_plus.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/adjust_pragmas.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/function_prototypes.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/data.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' cp pyml-current/pywrappers.cmi pywrappers.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' cp pyml-current/py.cmi py.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/safe_for_multi_decls.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/cleanup_rules.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/id_utils.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/adjacency.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/ctl_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/commas_on_lists.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/pretty_print_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/parse_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/includes.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/control_flow_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/re_constraints.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/control_flow_c_build.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/get_constants2.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/includes_cache.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/disjdistr.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/lexer_parser.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/unparse_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parsing_consistency_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/pretty_print_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parser_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/free_vars.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/danger.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/comment_annotater_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/ast_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/type_annoter_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/type_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/ocamlcocci_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/externalanalysis.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/unparse_hrule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/run_ocamlcocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC python/pycocci_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC python/pycocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ctl/wrapper_ctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/check_reachability.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/c_vs_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/lib_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/isomorphisms_c_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/insert_quantifiers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/cocci_vs_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/asttopopl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/user_input.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/position_generator.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/disj_generator.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/pretty_print_popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/snapshot.ml File "tools/spgen/source/snapshot.ml", line 130, characters 37-53: 130 | let inc_line snp = inc_current_line (set_mode_context Ast0.NONE snp) ^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label arity was omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/script_rule.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen_interactive.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen_config.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/parser_c.cmi ocaml/parser_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/ast_c.cmo ocaml/ast_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp commons/common.cmo ocaml/common.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/rule_header.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o commons/commons.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/context_rule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen_test.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/visitor_ast0.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/check_exhaustive_pattern.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/visitor_ast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/file_transform.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/iso_pattern.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/comm_assoc.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/get_metas.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/simple_assignments.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/top_level.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/visitor_ast0_types.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/test_exps.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/unitary_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/unparse_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/type_infer.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/check_meta.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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 pyml-current/pyml_stubs.c: In function 'xmalloc': pyml-current/pyml_stubs.c:26:13: warning: "failwith" is deprecated: use "caml_failwith" instead 26 | failwith("Virtual memory exhausted\n"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'resolve': pyml-current/pyml_stubs.c:319:13: warning: "failwith" is deprecated: use "caml_failwith" instead 319 | failwith(msg); | ^~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'pyml_assert_initialized': pyml-current/pyml_stubs.c:531:13: warning: "failwith" is deprecated: use "caml_failwith" instead 531 | failwith("Run 'Py.initialize ()' first"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'pyml_assert_python2': pyml-current/pyml_stubs.c:540:13: warning: "failwith" is deprecated: use "caml_failwith" instead 540 | failwith("Python 2 needed"); | ^~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'pyml_assert_ucs2': pyml-current/pyml_stubs.c:549:13: warning: "failwith" is deprecated: use "caml_failwith" instead 549 | failwith("Python with UCS2 needed"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'pyml_assert_ucs4': pyml-current/pyml_stubs.c:558:13: warning: "failwith" is deprecated: use "caml_failwith" instead 558 | failwith("Python with UCS4 needed"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'pyml_assert_python3': pyml-current/pyml_stubs.c:567:13: warning: "failwith" is deprecated: use "caml_failwith" instead 567 | failwith("Python 3 needed"); | ^~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'pyml_check_symbol_available': pyml-current/pyml_stubs.c:578:13: warning: "failwith" is deprecated: use "caml_failwith" instead 578 | failwith("Symbol unavailable with this version of Python.\n"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c:584:13: warning: "failwith" is deprecated: use "caml_failwith" instead 584 | failwith("Symbol unavailable with this version of Python.\n"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c:587:13: warning: "failwith" is deprecated: use "caml_failwith" instead 587 | failwith(msg); | ^~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'py_load_library': pyml-current/pyml_stubs.c:663:13: warning: "failwith" is deprecated: use "caml_failwith" instead 663 | failwith("Library not found"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c:671:13: warning: "failwith" is deprecated: use "caml_failwith" instead 671 | failwith("No Python symbol"); | ^~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c:740:13: warning: "failwith" is deprecated: use "caml_failwith" instead 740 | failwith("py_debug"); | ^~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c:744:13: warning: "failwith" is deprecated: use "caml_failwith" instead 744 | failwith("PyTuple_New"); | ^~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c:747:13: warning: "failwith" is deprecated: use "caml_failwith" instead 747 | failwith("PyTuple_SetItem"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c:752:13: warning: "failwith" is deprecated: use "caml_failwith" instead 752 | failwith("PyEval_CallObjectWithKeywords"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c:761:13: warning: "failwith" is deprecated: use "caml_failwith" instead 761 | failwith("AsLong"); | ^~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'py_unsetenv': pyml-current/pyml_stubs.c:810:13: warning: "failwith" is deprecated: use "caml_failwith" instead 810 | failwith(strerror(errno)); | ^~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_stubs.c: In function 'Python27_PyCapsule_IsValid_wrapper': pyml-current/pyml_stubs.c:1406:13: warning: "failwith" is deprecated: use "caml_failwith" instead 1406 | failwith("PyCapsule_IsValid is only available in Python >2.7"); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from pyml-current/pyml_stubs.c:1414: pyml-current/pyml_wrappers.inc: In function 'Python_PyImport_GetMagicNumber_wrapper': pyml-current/pyml_wrappers.inc:1043:13: warning: "copy_int64" is deprecated: use "caml_copy_int64" instead 1043 | CAMLreturn(copy_int64(result)); | ^~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_wrappers.inc: In function 'Python_PyLong_AsLong_wrapper': pyml-current/pyml_wrappers.inc:1182:13: warning: "copy_int64" is deprecated: use "caml_copy_int64" instead 1182 | CAMLreturn(copy_int64(result)); | ^~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_wrappers.inc: In function 'Python_PyObject_Hash_wrapper': pyml-current/pyml_wrappers.inc:1950:13: warning: "copy_int64" is deprecated: use "caml_copy_int64" instead 1950 | CAMLreturn(copy_int64(result)); | ^~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_wrappers.inc: In function 'Python2_PyInt_AsLong_wrapper': pyml-current/pyml_wrappers.inc:2839:13: warning: "copy_int64" is deprecated: use "caml_copy_int64" instead 2839 | CAMLreturn(copy_int64(result)); | ^~~~~~~~~~~~~~~~~~~~~~~ pyml-current/pyml_wrappers.inc: In function 'Python2_PyInt_GetMax_wrapper': pyml-current/pyml_wrappers.inc:2860:13: warning: "copy_int64" is deprecated: use "caml_copy_int64" instead 2860 | CAMLreturn(copy_int64(result)); | ^~~~~~~~~~~~~~~~~~~~~~~ mv pyml_stubs.o pyml-current/pyml_stubs.o make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/unify_ast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/compute_lines.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/index.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/data.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/parse_aux.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/id_utils.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/adjust_pragmas.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/commas_on_lists.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/adjacency.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/visitor_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/includes.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/arity.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/lexer_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parse_string_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/token_helpers.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/token_views_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/function_prototypes.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/control_flow_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/lexer_parser.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/insert_plus.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parsing_recovery_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/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.1.1/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' cp pyml-current/libpyml_stubs.a libpyml_stubs.a make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' cp pyml-current/dllpyml_stubs.so dllpyml_stubs.so make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/comment_annotater_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parsing_consistency_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o ctl/ctl.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/ocamlcocci_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' cp pyml-current/pycaml.cmi pycaml.cmi make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/externalanalysis.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/type_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/pretty_print_engine.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/isomorphisms_c_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/check_reachability.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC python/pycocci_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/pattern_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/lib_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/transformation_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/unparse_hrule.ml File "parsing_c/unparse_hrule.ml", line 202, characters 6-33: 202 | Pretty_print_c.pp_param_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/unparse_hrule.ml", line 340, characters 5-31: 340 | Pretty_print_c.pp_type_gen ^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/asttoctl2.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/asttomember.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc -unsafe -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.1.1/bundles/pyml' make[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' cp pyml-current/pyml.cma pyml.cma make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/ctltotex.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/postprocess_transinfo.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/ctlcocci_integration.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/disj_generator.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/user_input.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/detect_patch.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen_interactive.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/rule_body.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/script_rule.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen_config.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/context_neg.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/spgen.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/iso_compile.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/meta_variable.ml File "tools/spgen/source/meta_variable.ml", line 568, characters 25-36: 568 | let constr = constraints rn idconstr in ^^^^^^^^^^^ Warning 6 [labels-omitted]: label rn was omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC tools/spgen/source/position_generator.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/parse_aux.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/unparse_cocci.ml File "parsing_c/unparse_cocci.ml", line 91, characters 2-35: 91 | Pretty_print_c.mk_pretty_printers pr_celem pr_cspace ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space, pr_nl, pr_indent, pr_outdent, pr_unindent were omitted in the application of this function. File "parsing_c/unparse_cocci.ml", line 70, characters 4-22: 70 | let print_option_space fn = function ^^^^^^^^^^^^^^^^^^ Warning 26 [unused-var]: unused variable print_option_space. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/lib_parsing_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parse_string_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/single_statement.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/lexer_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/cpp_token_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/token_views_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parsing_recovery_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parse_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/danger.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/pretty_print_engine.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/c_vs_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/visitor_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/token_helpers.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/ast0toast.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/pattern_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/transformation_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/visitor_ast0.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/postprocess_transinfo.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/ctltotex.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/popltoctl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/popl.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/asttomember.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/parse_c.cmi ocaml/parse_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC main.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/ctlcocci_integration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/iso_compile.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/includes_cache.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/lib_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/cpp_token_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parsing_hacks.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/cpp_analysis_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/control_flow_c_build.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/unparse_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/cpp_ast_c.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/iso_pattern.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/pretty_print_c.ml File "parsing_c/pretty_print_c.ml", line 1626, characters 3-13: 1626 | (pp_elem_sp pr_elem pr_space).expression ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1629, characters 3-13: 1629 | (pp_elem_sp pr_elem pr_space).assignOp ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1632, characters 3-13: 1632 | (pp_elem_sp pr_elem pr_space).binaryOp ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1635, characters 3-13: 1635 | (pp_elem_sp pr_elem pr_space).arg_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1638, characters 3-13: 1638 | (pp_elem_sp pr_elem pr_space).arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1641, characters 3-13: 1641 | (pp_elem_sp pr_elem pr_space).statement ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1644, characters 3-13: 1644 | (pp_elem_sp pr_elem pr_space).statement_seq_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1647, characters 3-13: 1647 | (pp_elem_sp pr_elem pr_space).decl ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1650, characters 3-13: 1650 | (pp_elem_sp pr_elem pr_space).field ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1653, characters 3-13: 1653 | (pp_elem_sp pr_elem pr_space).field_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1656, characters 3-13: 1656 | (pp_elem_sp pr_elem pr_space).init ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1659, characters 3-13: 1659 | (pp_elem_sp pr_elem pr_space).init_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1662, characters 3-13: 1662 | (pp_elem_sp pr_elem pr_space).param ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1665, characters 3-13: 1665 | (pp_elem_sp pr_elem pr_space).paramlist ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1668, characters 3-13: 1668 | (pp_elem_sp pr_elem pr_space).dparamlist ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1671, characters 3-13: 1671 | (pp_elem_sp pr_elem pr_space).ty ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1674, characters 3-13: 1674 | (pp_elem_sp pr_elem pr_space).type_with_ident ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1677, characters 3-13: 1677 | (pp_elem_sp pr_elem pr_space).fragment_list ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1680, characters 3-13: 1680 | (pp_elem_sp pr_elem pr_space).format ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1683, characters 3-13: 1683 | (pp_elem_sp pr_elem pr_space).attribute ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1686, characters 3-13: 1686 | (pp_elem_sp pr_elem pr_space).attr_arg ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. File "parsing_c/pretty_print_c.ml", line 1689, characters 3-13: 1689 | (pp_elem_sp pr_elem pr_space).toplevel ^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parse_c.ml File "parsing_c/parse_c.ml", line 680, characters 1-37: 680 | Parsing_recovery_c.find_next_synchro tr.rest tr.passed in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels next, already_passed were omitted in the application of this function. File "parsing_c/parse_c.ml", line 1429, characters 2-19: 1429 | Common.write_file tmpfile ("void main() { \n" ^ s ^ "\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "parsing_c/parse_c.ml", line 1440, characters 2-19: 1440 | Common.write_file tmpfile ("void main() { \n" ^ s ^ ";\n}"); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/compare_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/test_parsing_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/type_annoter_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/popltoctl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC popl09/popl.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parser_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/parse_c.cmo ocaml/parse_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/parser_c.cmo ocaml/parser_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/asttoctl2.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/exposed_modules.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC testing.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/cpp_analysis_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/cpp_ast_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o popl09/popl09.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC enter.ml File "enter.ml", line 844, characters 2-20: 844 | Common.short_usage usage_msg short_options; ^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label short_opt was omitted in the application of this function. File "enter.ml", line 853, characters 2-19: 853 | Common.long_usage usage_msg short_options other_options ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels short_opt, long_opt were omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/exposed_modules.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/coccilib.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC python/yes_pycocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/run_ocamlcocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC engine/cocci_vs_c.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o engine/engine.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/unparse_c.ml File "parsing_c/unparse_c.ml", line 275, characters 2-31: 275 | Pretty_print_c.pp_program_gen pr_get_elem pr_space celem; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: labels pr_elem, pr_space were omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC python/pycocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_c/parsing_hacks.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o parsing_c/parsing_c.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC python/yes_pycocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o python/python.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC ocaml/coccilib.ml File "ocaml/coccilib.ml", line 116, characters 2-19: 116 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s\n}" env s); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. File "ocaml/coccilib.ml", line 134, characters 2-19: 134 | Common.write_file tmpfile (Printf.sprintf "void main() {\n%s\n%s;\n}" env s); ^^^^^^^^^^^^^^^^^ Warning 6 [labels-omitted]: label file was omitted in the application of this function. make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o ocaml/ocaml.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' MENHIR parsing_cocci/parser_cocci_menhir.mly make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/parser_cocci_menhir.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/parser_cocci_menhir.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/lexer_script.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/lexer_cocci.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/lexer_script.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/lexer_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/parse_cocci.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLDEP parsing_cocci/parser_cocci_menhir.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC parsing_cocci/parser_cocci_menhir.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o parsing_cocci/parsing_cocci.cma make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o tools/spgen/source/spgen make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLC -o spatch make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.16775 + 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:/bin:/usr/bin:/usr/X11R6/bin:/usr/games + cd coccinelle-1.1.1 + make DESTDIR=/usr/src/tmp/coccinelle-buildroot install make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' 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 \ /bin/install -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 \ /bin/install -c -m 755 bundles/pcre/dllpcre_stubs.so \ /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle; \ fi /bin/install -c -m 755 spatch /usr/src/tmp/coccinelle-buildroot/usr/bin/spatch /bin/install -c -m 644 standard.h /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle /bin/install -c -m 644 standard.iso /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle /bin/install -c -m 644 ocaml/*.cmi /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/ocaml/ if test -f ocaml/coccilib.cmx; then \ /bin/install -c -m 644 ocaml/*.cmx /usr/src/tmp/coccinelle-buildroot/usr/lib/coccinelle/ocaml/; \ fi /bin/install -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 /bin/install -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; \ /bin/install -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 /bin/install -c -m 644 docs/spatch.1 /usr/src/tmp/coccinelle-buildroot/usr/share/man/man1/ /bin/install -c -m 644 docs/pycocci.1 /usr/src/tmp/coccinelle-buildroot/usr/share/man/man1/ /bin/install -c -m 644 docs/spgen.1 /usr/src/tmp/coccinelle-buildroot/usr/share/man/man1/ /bin/install -c -m 644 docs/Coccilib.3cocci /usr/src/tmp/coccinelle-buildroot/usr/share/man/man3/ make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' + 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_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_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_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 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.24615 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd coccinelle-1.1.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[@]}" + /usr/src/tmp/coccinelle-buildroot/usr/bin/spatch -sp_file demos/simple.cocci demos/simple.c unknown option -sp_file error: Bad exit status from /usr/src/tmp/rpm-tmp.24615 (%check) RPM build errors: Bad exit status from /usr/src/tmp/rpm-tmp.24615 (%check) Command exited with non-zero status 1 203.80user 6.85system 1:55.44elapsed 182%CPU (0avgtext+0avgdata 331208maxresident)k 0inputs+0outputs (0major+1606790minor)pagefaults 0swaps hsh-rebuild: rebuild of `coccinelle-1.1.1-alt2.src.rpm' failed. Command exited with non-zero status 1 6.20user 2.02system 2:20.27elapsed 5%CPU (0avgtext+0avgdata 125332maxresident)k 15456inputs+0outputs (0major+278909minor)pagefaults 0swaps