<86>Dec 4 02:16:04 userdel[2921951]: delete user 'rooter' <86>Dec 4 02:16:04 userdel[2921951]: removed group 'rooter' owned by 'rooter' <86>Dec 4 02:16:04 userdel[2921951]: removed shadow group 'rooter' owned by 'rooter' <86>Dec 4 02:16:04 groupadd[2921973]: group added to /etc/group: name=rooter, GID=1844 <86>Dec 4 02:16:04 groupadd[2921973]: group added to /etc/gshadow: name=rooter <86>Dec 4 02:16:04 groupadd[2921973]: new group: name=rooter, GID=1844 <86>Dec 4 02:16:04 useradd[2921989]: new user: name=rooter, UID=1844, GID=1844, home=/root, shell=/bin/bash, from=none <86>Dec 4 02:16:04 userdel[2922028]: delete user 'builder' <86>Dec 4 02:16:04 userdel[2922028]: removed group 'builder' owned by 'builder' <86>Dec 4 02:16:04 userdel[2922028]: removed shadow group 'builder' owned by 'builder' <86>Dec 4 02:16:04 groupadd[2922059]: group added to /etc/group: name=builder, GID=1845 <86>Dec 4 02:16:04 groupadd[2922059]: group added to /etc/gshadow: name=builder <86>Dec 4 02:16:04 groupadd[2922059]: new group: name=builder, GID=1845 <86>Dec 4 02:16:04 useradd[2922079]: new user: name=builder, UID=1845, GID=1845, home=/usr/src, shell=/bin/bash, from=none <13>Dec 4 02:16:07 rpmi: ocaml-runtime-4.14.1-alt1 sisyphus+333652.177.29.2 1701356220 installed <13>Dec 4 02:16:07 rpmi: libmpdec3-2.5.1-alt3 sisyphus+314490.500.5.1 1675432004 installed <13>Dec 4 02:16:07 rpmi: libgdbm-1.8.3-alt10 sisyphus+278100.1600.1.1 1626058413 installed <13>Dec 4 02:16:07 rpmi: libexpat-2.5.0-alt1 sisyphus+309227.100.1.1 1667075764 installed <13>Dec 4 02:16:07 rpmi: libb2-0.98.1-alt1_1 sisyphus+291614.100.1.1 1638962877 installed <13>Dec 4 02:16:07 rpmi: libp11-kit-1:0.25.3-alt1 sisyphus+334477.100.1.1 1700063190 installed <13>Dec 4 02:16:07 rpmi: libtasn1-4.19.0-alt3 sisyphus+327816.100.1.1 1692802615 installed <13>Dec 4 02:16:07 rpmi: rpm-macros-alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Dec 4 02:16:07 rpmi: alternatives-0.5.2-alt2 sisyphus+315270.200.2.1 1676457367 installed <13>Dec 4 02:16:07 rpmi: ca-certificates-2023.07.31-alt1 sisyphus+326137.200.1.1 1690809798 installed <13>Dec 4 02:16:07 rpmi: ca-trust-0.1.4-alt1 sisyphus+308690.100.1.1 1666182992 installed <13>Dec 4 02:16:07 rpmi: p11-kit-trust-1:0.25.3-alt1 sisyphus+334477.100.1.1 1700063190 installed <13>Dec 4 02:16:07 rpmi: libcrypto3-3.1.4-alt1 sisyphus+332632.100.2.1 1698241041 installed <13>Dec 4 02:16:07 rpmi: libssl3-3.1.4-alt1 sisyphus+332632.100.2.1 1698241041 installed <13>Dec 4 02:16:08 rpmi: python3-3.11.6-alt1 sisyphus+331220.100.1.1 1696667994 installed <13>Dec 4 02:16:08 rpmi: python3-base-3.11.6-alt1 sisyphus+331220.100.1.1 1696667994 installed <13>Dec 4 02:16:08 rpmi: python3-module-py3dephell-0.1.0-alt2 sisyphus+328191.600.5.1 1693609196 installed <13>Dec 4 02:16:08 rpmi: tests-for-installed-python3-pkgs-0.1.24-alt2 sisyphus+331059.100.4.1 1696870033 installed <13>Dec 4 02:16:08 rpmi: rpm-build-python3-0.1.24-alt2 sisyphus+331059.100.4.1 1696870033 installed <13>Dec 4 02:16:08 rpmi: rpm-build-ocaml-1.6.2-alt1 sisyphus+333652.74.29.2 1701355648 installed <13>Dec 4 02:16:18 rpmi: ocaml-4.14.1-alt1 sisyphus+333652.177.29.2 1701356220 installed <13>Dec 4 02:16:18 rpmi: ocaml-num-1.4-alt2 sisyphus+333652.7300.29.2 1701358576 installed <13>Dec 4 02:16:18 rpmi: ocaml-parmap-1.2.5-alt1 sisyphus+333652.14100.29.2 1701359957 installed <13>Dec 4 02:16:18 rpmi: ocaml-pcre-7.5.0-alt1 sisyphus+333652.2500.29.2 1701357183 installed <13>Dec 4 02:16:18 rpmi: ocaml-stdcompat-19-alt1 sisyphus+333652.21500.29.2 1701361334 installed <13>Dec 4 02:16:18 rpmi: libpython3-3.11.6-alt1 sisyphus+331220.100.1.1 1696667994 installed <13>Dec 4 02:16:18 rpmi: libpcre16-8.45-alt2 sisyphus+283722.100.1.2 1629848198 installed <13>Dec 4 02:16:18 rpmi: libreadline7-7.0.3-alt5 sisyphus+328858.200.1.1 1694010737 installed <13>Dec 4 02:16:18 rpmi: pcretest-8.45-alt2 sisyphus+283722.100.1.2 1629848198 installed <13>Dec 4 02:16:18 rpmi: libpcre-devel-8.45-alt2 sisyphus+283722.100.1.2 1629848198 installed <13>Dec 4 02:16:18 rpmi: libncurses6-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693212977 installed <13>Dec 4 02:16:18 rpmi: libtinfo-devel-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693212977 installed <13>Dec 4 02:16:18 rpmi: libncurses-devel-6.3.20220618-alt4 sisyphus+328055.40.2.1 1693212977 installed <13>Dec 4 02:16:19 rpmi: python3-dev-3.11.6-alt1 sisyphus+331220.100.1.1 1696667994 installed <13>Dec 4 02:16:19 rpmi: ocaml-pcre-devel-7.5.0-alt1 sisyphus+333652.2500.29.2 1701357183 installed <13>Dec 4 02:16:19 rpmi: ocaml-stdcompat-devel-19-alt1 sisyphus+333652.21500.29.2 1701361334 installed <13>Dec 4 02:16:19 rpmi: ocaml-parmap-devel-1.2.5-alt1 sisyphus+333652.14100.29.2 1701359957 installed <13>Dec 4 02:16:19 rpmi: ocaml-num-devel-1.4-alt2 sisyphus+333652.7300.29.2 1701358576 installed <13>Dec 4 02:16:19 rpmi: ocaml-findlib-1.9.6-alt2 sisyphus+333652.2174.29.2 1701357040 installed <13>Dec 4 02:16:19 rpmi: ocaml-menhir-20230608-alt1 sisyphus+333652.13000.29.2 1701359651 installed <13>Dec 4 02:16:20 rpmi: ocaml-ocamldoc-4.14.1-alt1 sisyphus+333652.177.29.2 1701356220 installed Building target platforms: x86_64 Building for target x86_64 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: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.10495 + 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.10495 + 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' + export CFLAGS + CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export CXXFLAGS + FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export FFLAGS + FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' + export FCFLAGS + '[' -n '' ']' ++ printf %s '-pipe -frecord-gcc-switches -Wall -g -O2 -flto=auto' ++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g' + ASFLAGS= + 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=x86_64-alt-linux --host=x86_64-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --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 x86_64-alt-linux-date... no checking for date... /bin/date configure: version suffix set to Mon, 04 Dec 2023 02:16:23 +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 x86_64-alt-linux-gcc... x86_64-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 x86_64-alt-linux-gcc accepts -g... yes checking for x86_64-alt-linux-gcc option to enable C11 features... none needed checking whether x86_64-alt-linux-gcc understands -c and -o together... yes checking dependency style of x86_64-alt-linux-gcc... none checking how to run the C preprocessor... x86_64-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 x86_64-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 x86_64-alt-linux-ocamlc... no checking for ocamlc... /usr/bin/ocamlc OCaml version is 4.14.1 OCaml library path is /usr/lib64/ocaml checking for x86_64-alt-linux-ocamlopt... no checking for ocamlopt... /usr/bin/ocamlopt checking for x86_64-alt-linux-ocamlc.opt... no checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for x86_64-alt-linux-ocamlopt.opt... no checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for x86_64-alt-linux-ocaml... no checking for ocaml... /usr/bin/ocaml checking for x86_64-alt-linux-ocamldep... no checking for ocamldep... /usr/bin/ocamldep checking for x86_64-alt-linux-ocamlmktop... no checking for ocamlmktop... /usr/bin/ocamlmktop checking for x86_64-alt-linux-ocamlmklib... no checking for ocamlmklib... /usr/bin/ocamlmklib checking for x86_64-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 x86_64-alt-linux-ocamllex... no checking for ocamllex... /usr/bin/ocamllex checking for x86_64-alt-linux-ocamllex.opt... no checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for x86_64-alt-linux-ocamlyacc... no checking for ocamlyacc... /usr/bin/ocamlyacc checking for x86_64-alt-linux-ocamlfind... no checking for ocamlfind... /usr/bin/ocamlfind checking for x86_64-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 x86_64-alt-linux-menhir... no checking for menhir... /usr/bin/menhir configure: system menhir will be used configure: system menhir will be used 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 x86_64-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 x86_64-alt-linux-pdflatex... /usr/src/RPM/BUILD/coccinelle-1.1.1/setup/fake-pdflatex.sh pdflatex checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile.config config.status: creating version.ml config.status: creating commons/commands.ml config.status: creating globals/config.ml config.status: creating globals/regexp.ml config.status: creating python/pycocci.ml config.status: creating ocaml/prepare_ocamlcocci.ml config.status: creating scripts/spatch.sh config.status: creating tools/spgen/scripts/spgen.sh config.status: creating docs/spatch.1 config.status: creating setup/Makefile config.status: executing depfiles commands configure: WARNING: unrecognized options: --without-included-gettext configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --build=x86_64-alt-linux --host=x86_64-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --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: yes (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: yes (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/lib64/coccinelle/python ------------------------------------------------------------------------------ + make -j16 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 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 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_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/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 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/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 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 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 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 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/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/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/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/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/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/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/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/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/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/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/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/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 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/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/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/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/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/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/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/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/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/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/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 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/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/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/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/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/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/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/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/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/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/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/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_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_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_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_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_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_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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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_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/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 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/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/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 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/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/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 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 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/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/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 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 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 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 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/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/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 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 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/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 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 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_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 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/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/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/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 ocaml/yes_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 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 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 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 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 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/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 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 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/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 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 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/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 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/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 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 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 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 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 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 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 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 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/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 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 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 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/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 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 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 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/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/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/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/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_interactive.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 enter.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.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_test.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 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/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 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 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_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 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 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 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' 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 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' 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' 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 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/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 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/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' 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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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/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.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/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/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/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/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_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/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/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/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/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/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/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/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/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/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 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 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/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/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/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/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/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/yes_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/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/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/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/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/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/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/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/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/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/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/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/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' 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 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 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 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 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 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 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 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/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/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/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/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 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/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_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/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/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/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' 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_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 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 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 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/lib64/ocaml/pcre -I /usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml -I /usr/lib64/ocaml/parmap -I /usr/lib64/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/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_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/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 -C bundles/pyml all 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: 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: 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' 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' 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 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 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' 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 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 globals/flag.cmi ocaml/flag.cmi 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/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' 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 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' 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 enter.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.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_test.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.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' cp /usr/lib64/ocaml/parmap/parmap.cmi ocaml/parmap.cmi if test -f /usr/lib64/ocaml/parmap/parmap.cmx; then \ cp /usr/lib64/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 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 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 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 globals/flag.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.opt -unsafe -I /usr/lib64/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 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/iteration.ml make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLOPT 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' OCAMLOPT 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' OCAMLOPT 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' OCAMLOPT 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' OCAMLOPT 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' OCAMLOPT 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_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 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' OCAMLOPT parsing_cocci/lexer_cli.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.opt -unsafe -I /usr/lib64/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: 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 parsing_c/token_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.opt -unsafe -I /usr/lib64/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 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' OCAMLOPT 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_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' 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_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' 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' OCAMLOPT 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' 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' OCAMLOPT 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' 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' OCAMLOPT 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' 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 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' cp globals/iteration.cmo ocaml/iteration.cmo 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.opt -unsafe -I /usr/lib64/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' OCAMLOPT 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 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' 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' cp globals/config.cmx ocaml/config.cmx make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLOPT 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/kbuild.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.cmx ocaml/commands.cmx 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.cmx ocaml/dumper.cmx 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' OCAMLOPT 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' 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 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 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' OCAMLOPT 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 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 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/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/disjdistr.mli make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' make: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' OCAMLOPT 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/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/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_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' OCAMLOPT 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 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' 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 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 globals/regexp.cmx ocaml/regexp.cmx 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.cmx ocaml/flag.cmx 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 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 popl09/ast_popl.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.opt -unsafe -I /usr/lib64/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 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 ocaml/yes_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 parsing_cocci/id_utils.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.opt -unsafe -I /usr/lib64/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_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 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 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 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/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/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' OCAMLOPT 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 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' 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/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[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 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/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' 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/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 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/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/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/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/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/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/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' 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 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_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_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/data.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_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_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/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_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/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_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/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/type_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.opt -unsafe -I /usr/lib64/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 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 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 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 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 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/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' 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' 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 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' 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_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' 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 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/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 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 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 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_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/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 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 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 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/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_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/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_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' 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 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 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 engine/pattern_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/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 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' OCAMLC 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' 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/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' 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/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/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' 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' 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/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/rule_body.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 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 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/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' 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 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.opt -unsafe -I /usr/lib64/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 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 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 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 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_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 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 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' 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' 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 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' 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' cp parsing_c/ast_c.cmo ocaml/ast_c.cmo 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.opt -unsafe -I /usr/lib64/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[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc.opt -unsafe -I /usr/lib64/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_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' 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' cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi 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[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc.opt -unsafe -I /usr/lib64/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[2]: Entering directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' /usr/bin/ocamlc.opt -unsafe -I /usr/lib64/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/parse_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' 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 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_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' cp parsing_c/parse_c.cmi ocaml/parse_c.cmi 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.opt -unsafe -I /usr/lib64/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_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 cocci.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.opt -unsafe -I /usr/lib64/ocaml/stdcompat -I pyml-current -ccopt -I/usr/lib64/ocaml/stdcompat -ccopt -fPIC pyml-current/pyml_stubs.c -o pyml-current/pyml_stubs.o pyml-current/pyml_stubs.c:15:10: fatal error: stdcompat.h: No such file or directory 15 | #include | ^~~~~~~~~~~~~ compilation terminated. make[2]: *** [../Makefile.bundles:153: pyml-current/pyml_stubs.o] Error 2 make[2]: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml' make[2]: *** Waiting for unfinished jobs.... 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' 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 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/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' cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo 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.opt -unsafe -I /usr/lib64/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: 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' 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' 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' 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' OCAMLC ocaml/exposed_modules.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.opt -unsafe -I /usr/lib64/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[1]: *** [../Makefile.bundles:24: all] Error 2 make: *** [Makefile:481: /usr/src/RPM/BUILD/coccinelle-1.1.1/bundles/pyml/pyml.cmxa] Error 2 make: *** Waiting for unfinished jobs.... 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' OCAMLOPT 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: 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' MENHIR parsing_cocci/parser_cocci_menhir.mly make: Leaving directory '/usr/src/RPM/BUILD/coccinelle-1.1.1' error: Bad exit status from /usr/src/tmp/rpm-tmp.10495 (%build) RPM build errors: Bad exit status from /usr/src/tmp/rpm-tmp.10495 (%build) Command exited with non-zero status 1 10.16user 4.11system 0:05.70elapsed 250%CPU (0avgtext+0avgdata 135560maxresident)k 0inputs+0outputs (0major+1443502minor)pagefaults 0swaps hsh-rebuild: rebuild of `coccinelle-1.1.1-alt2.src.rpm' failed. Command exited with non-zero status 1 4.05user 1.40system 0:24.08elapsed 22%CPU (0avgtext+0avgdata 129192maxresident)k 9320inputs+0outputs (0major+298182minor)pagefaults 0swaps