Mock Version: 1.4.16 Mock Version: 1.4.16 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/f30-build-16828447-1215002/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target i686 --nodeps /builddir/build/SPECS/coccinelle.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: i686 Building for target i686 Wrote: /builddir/build/SRPMS/coccinelle-1.0.7-6.fc30.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target i686 --nodeps /builddir/build/SPECS/coccinelle.spec'], chrootPath='/var/lib/mock/f30-build-16828447-1215002/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=172800uid=1000gid=425user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target i686 --nodeps /builddir/build/SPECS/coccinelle.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'} and shell False Building target platforms: i686 Building for target i686 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.SJWKj9 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf coccinelle-1.0.7 + /usr/bin/gzip -dc /builddir/build/SOURCES/coccinelle-1.0.7.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd coccinelle-1.0.7 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + sed -i '1s_^#!/usr/bin/env python$_#!/usr/bin/python3_' tools/pycocci + find -name .cvsignore -delete + for f in demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.c + mv demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.res.orig + iconv -f iso-8859-1 -t utf-8 + rm demos/demo_rule9/sym53c8xx.res.orig + for f in demos/demo_rule9/sym53c8xx.res demos/demo_rule9/sym53c8xx.c + mv demos/demo_rule9/sym53c8xx.c demos/demo_rule9/sym53c8xx.c.orig + iconv -f iso-8859-1 -t utf-8 + rm demos/demo_rule9/sym53c8xx.c.orig + find . -iname '*.py' + xargs -I '{}' sh -exc 'expand -t8 {} > tempfile && mv tempfile {}' + expand -t8 ./python/coccilib/coccigui/vimeditor.py + mv tempfile ./python/coccilib/coccigui/vimeditor.py + expand -t8 ./python/coccilib/coccigui/vimembed.py + mv tempfile ./python/coccilib/coccigui/vimembed.py + expand -t8 ./python/coccilib/coccigui/vim.py + mv tempfile ./python/coccilib/coccigui/vim.py + expand -t8 ./python/coccilib/coccigui/pycoccimodel.py + mv tempfile ./python/coccilib/coccigui/pycoccimodel.py + expand -t8 ./python/coccilib/coccigui/coccigui.py + mv tempfile ./python/coccilib/coccigui/coccigui.py + expand -t8 ./python/coccilib/coccigui/vimcom.py + mv tempfile ./python/coccilib/coccigui/vimcom.py + expand -t8 ./python/coccilib/coccigui/__init__.py + mv tempfile ./python/coccilib/coccigui/__init__.py + expand -t8 ./python/coccilib/org.py + mv tempfile ./python/coccilib/org.py + expand -t8 ./python/coccilib/xml_firehose.py + mv tempfile ./python/coccilib/xml_firehose.py + expand -t8 ./python/coccilib/report.py + mv tempfile ./python/coccilib/report.py + expand -t8 ./python/coccilib/elems.py + mv tempfile ./python/coccilib/elems.py + expand -t8 ./python/coccilib/output.py + mv tempfile ./python/coccilib/output.py + expand -t8 ./python/coccilib/trac.py + mv tempfile ./python/coccilib/trac.py + expand -t8 ./python/coccilib/iteration.py + mv tempfile ./python/coccilib/iteration.py + expand -t8 ./python/coccilib/__init__.py + mv tempfile ./python/coccilib/__init__.py + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.T5bsyM + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.7 + cd bundles/stdcompat/stdcompat-6 + aclocal + automake /builddir/build/BUILD/coccinelle-1.0.7 + cd - + ./autogen + CFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -I/usr/lib/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' + export LDFLAGS + '[' 1 = 1 ']' BUILDSTDERR: +++ dirname ./configure BUILDSTDERR: ++ find . -name config.guess -o -name config.sub + '[' 1 = 1 ']' + '[' x '!=' 'x-Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' ']' BUILDSTDERR: ++ find . -name ltmain.sh + ./configure --build=i686-redhat-linux-gnu --host=i686-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir configure: configuring coccinelle 1.0.7 in /builddir/build/BUILD/coccinelle-1.0.7 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes configure: determining version suffix checking for i686-redhat-linux-gnu-date... no checking for date... /usr/bin/date configure: version suffix set to Thu, 11 Jul 2019 14:40:40 +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 i686-redhat-linux-gnu-gcc... no checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for bash... /bin/sh checking for tar... /usr/bin/tar checking for patch... /usr/bin/patch checking for echo... /usr/bin/echo checking for patchelf... no checking for i686-redhat-linux-gnu-pkg-config... /usr/bin/i686-redhat-linux-gnu-pkg-config checking pkg-config is at least version 0.9.0... yes checking for i686-redhat-linux-gnu-ocamlc... no checking for ocamlc... /usr/bin/ocamlc OCaml version is 4.07.0 OCaml library path is /usr/lib/ocaml checking for i686-redhat-linux-gnu-ocamlopt... no checking for ocamlopt... /usr/bin/ocamlopt checking for i686-redhat-linux-gnu-ocamlc.opt... no checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for i686-redhat-linux-gnu-ocamlopt.opt... no checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for i686-redhat-linux-gnu-ocaml... no checking for ocaml... /usr/bin/ocaml checking for i686-redhat-linux-gnu-ocamldep... no checking for ocamldep... /usr/bin/ocamldep checking for i686-redhat-linux-gnu-ocamlmktop... no checking for ocamlmktop... /usr/bin/ocamlmktop checking for i686-redhat-linux-gnu-ocamlmklib... no checking for ocamlmklib... /usr/bin/ocamlmklib checking for i686-redhat-linux-gnu-ocamldoc... no checking for ocamldoc... /usr/bin/ocamldoc checking that the OCaml version is at least 3.12... yes checking that the OCaml version is at least 4.02... yes checking for i686-redhat-linux-gnu-ocamllex... no checking for ocamllex... /usr/bin/ocamllex checking for i686-redhat-linux-gnu-ocamllex.opt... no checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for i686-redhat-linux-gnu-ocamlyacc... no checking for ocamlyacc... /usr/bin/ocamlyacc checking for i686-redhat-linux-gnu-ocamlfind... no checking for ocamlfind... /usr/bin/ocamlfind checking for i686-redhat-linux-gnu-ocamlprof... no checking for ocamlprof... /usr/bin/ocamlprof configure: verifying basic ocaml modules configure: coccinelle may use external ocaml libraries in /builddir/build/BUILD/coccinelle-1.0.7/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... not found configure: OCaml package parmap is not available checking for a bundled substitute of parmap... yes configure: using bundled substitute for parmap in /builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap configure: verifying optional features checking for i686-redhat-linux-gnu-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 /builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml checking for PCRE... yes configure: configuring package pcre checking for OCaml findlib package pcre... found checking if pcre depends on bytes... yes checking if bytes is an actual module... no configure: support for pcre syntax is enabled checking for i686-redhat-linux-gnu-pdflatex... no checking for pdflatex... /usr/bin/pdflatex checking for BASH_COMPLETION... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile.config config.status: creating version.ml config.status: creating commons/commands.ml config.status: creating globals/config.ml config.status: creating globals/regexp.ml config.status: creating python/pycocci.ml config.status: creating ocaml/prepare_ocamlcocci.ml config.status: creating scripts/spatch.sh config.status: creating tools/spgen/scripts/spgen.sh config.status: creating docs/spatch.1 config.status: creating setup/Makefile config.status: executing depfiles commands configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --build=i686-redhat-linux-gnu --host=i686-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir 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: /usr/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=/builddir/build/BUILD/coccinelle-1.0.7 ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ------------------------------------------------------------------------------ You may need to set some environment variables so that the python libraries are found. The frontend 'spatch' sets the following variables: $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib $ export PYTHONPATH=$PYTHONPATH:/usr/lib/coccinelle/python ------------------------------------------------------------------------------ + /usr/bin/sed -i -e 's,LIBDIR=.*,LIBDIR=/usr/lib,' -e 's,MANDIR=.*,MANDIR=/usr/share/man,' -e 's,SHAREDIR=.*,SHAREDIR=/usr/lib/coccinelle,' -e 's,DYNLINKDIR=.*,DYNLINKDIR=/usr/lib/ocaml,' Makefile.config + echo ' BUILDSTDERR: EXTRA_OCAML_FLAGS = -unsafe-string -g BUILDSTDERR: EXTRACFLAGS = $(EXTRA_OCAML_FLAGS) BUILDSTDERR: ' + target=all-release + unset MAKEFLAGS BUILDSTDERR: ++ ocamlc -where + make all-release EXTLIBDIR=/usr/lib/ocaml/extlib /usr/bin/menhir --ocamldep "/usr/bin/ocamldep -I commons/ocamlextra -I commons -I globals -I parsing_cocci -I parsing_c -I ctl -I ocaml -I python -I engine -I popl09 -I extra -I tools/spgen/source/ -I /usr/lib/ocaml/pcre -I /builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml -I /builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap -I bundles/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) OCAMLYACC parsing_c/parser_c.mly OCAMLDEP parsing_c/parser_c.mli OCAMLDEP tools/spgen/source/spgen_lexer.mli OCAMLDEP parsing_c/lexer_c.mli OCAMLDEP parsing_cocci/lexer_script.mli OCAMLDEP parsing_cocci/lexer_cli.mli OCAMLDEP parsing_cocci/lexer_cocci.mli OCAMLDEP tools/spgen/source/main.mli OCAMLDEP tools/spgen/source/spgen_test.mli OCAMLDEP tools/spgen/source/spgen.mli OCAMLDEP tools/spgen/source/spgen_config.mli OCAMLDEP tools/spgen/source/spgen_interactive.mli OCAMLDEP tools/spgen/source/file_transform.mli OCAMLDEP tools/spgen/source/script_rule.mli OCAMLDEP tools/spgen/source/context_rule.mli OCAMLDEP tools/spgen/source/rule_header.mli OCAMLDEP tools/spgen/source/rule_body.mli OCAMLDEP tools/spgen/source/disj_generator.mli OCAMLDEP tools/spgen/source/position_generator.mli OCAMLDEP tools/spgen/source/user_input.mli OCAMLDEP tools/spgen/source/snapshot.mli OCAMLDEP tools/spgen/source/meta_variable.mli OCAMLDEP tools/spgen/source/detect_patch.mli OCAMLDEP tools/spgen/source/ast_tostring.mli OCAMLDEP tools/spgen/source/globals.mli OCAMLDEP main.mli OCAMLDEP enter.mli OCAMLDEP read_options.mli OCAMLDEP testing.mli OCAMLDEP cocci.mli OCAMLDEP flag_cocci.mli OCAMLDEP extra/maintainers.mli OCAMLDEP extra/kbuild.mli OCAMLDEP extra/classic_patch.mli OCAMLDEP popl09/popl.mli OCAMLDEP popl09/popltoctl.mli OCAMLDEP popl09/flag_popl.mli OCAMLDEP popl09/pretty_print_popl.mli OCAMLDEP popl09/insert_quantifiers.mli OCAMLDEP popl09/asttopopl.mli OCAMLDEP popl09/ast_popl.mli OCAMLDEP engine/ctlcocci_integration.mli OCAMLDEP engine/postprocess_transinfo.mli OCAMLDEP engine/ctltotex.mli OCAMLDEP engine/asttoctl2.mli OCAMLDEP engine/asttomember.mli OCAMLDEP engine/transformation_c.mli OCAMLDEP engine/pattern_c.mli OCAMLDEP engine/cocci_vs_c.mli OCAMLDEP engine/isomorphisms_c_c.mli OCAMLDEP engine/c_vs_c.mli OCAMLDEP engine/check_reachability.mli OCAMLDEP engine/check_exhaustive_pattern.mli OCAMLDEP engine/pretty_print_engine.mli OCAMLDEP engine/lib_engine.mli OCAMLDEP engine/flag_matcher.mli OCAMLDEP python/pycocci.mli OCAMLDEP python/yes_pycocci.mli OCAMLDEP python/pycocci_aux.mli OCAMLDEP ocaml/run_ocamlcocci.mli OCAMLDEP ocaml/prepare_ocamlcocci.mli OCAMLDEP ocaml/yes_prepare_ocamlcocci.mli OCAMLDEP ocaml/ocamlcocci_aux.mli OCAMLDEP ocaml/coccilib.mli OCAMLDEP ocaml/exposed_modules.mli OCAMLDEP ocaml/externalanalysis.mli OCAMLDEP ctl/wrapper_ctl.mli OCAMLDEP ctl/ctl_engine.mli OCAMLDEP ctl/pretty_print_ctl.mli OCAMLDEP ctl/ast_ctl.mli OCAMLDEP ctl/flag_ctl.mli OCAMLDEP parsing_c/test_parsing_c.mli OCAMLDEP parsing_c/compare_c.mli OCAMLDEP parsing_c/comment_annotater_c.mli OCAMLDEP parsing_c/type_annoter_c.mli OCAMLDEP parsing_c/cpp_ast_c.mli OCAMLDEP parsing_c/type_c.mli OCAMLDEP parsing_c/unparse_hrule.mli OCAMLDEP parsing_c/unparse_c.mli OCAMLDEP parsing_c/parse_c.mli OCAMLDEP parsing_c/danger.mli OCAMLDEP parsing_c/parsing_consistency_c.mli OCAMLDEP parsing_c/parsing_recovery_c.mli OCAMLDEP parsing_c/unparse_cocci.mli OCAMLDEP parsing_c/cpp_analysis_c.mli OCAMLDEP parsing_c/parsing_hacks.mli OCAMLDEP parsing_c/cpp_token_c.mli OCAMLDEP parsing_c/token_views_c.mli OCAMLDEP parsing_c/token_helpers.mli OCAMLDEP parsing_c/parse_string_c.mli OCAMLDEP parsing_c/lexer_parser.mli OCAMLDEP parsing_c/semantic_c.mli OCAMLDEP parsing_c/pretty_print_c.mli OCAMLDEP parsing_c/control_flow_c_build.mli OCAMLDEP parsing_c/lib_parsing_c.mli OCAMLDEP parsing_c/visitor_c.mli OCAMLDEP parsing_c/control_flow_c.mli OCAMLDEP parsing_c/includes.mli OCAMLDEP parsing_c/ast_c.mli OCAMLDEP parsing_c/token_c.mli OCAMLDEP parsing_c/parsing_stat.mli OCAMLDEP parsing_c/flag_parsing_c.mli OCAMLDEP parsing_c/token_annot.mli OCAMLDEP parsing_cocci/command_line.mli OCAMLDEP parsing_cocci/parse_cocci.mli OCAMLDEP parsing_cocci/re_constraints.mli OCAMLDEP parsing_cocci/commas_on_lists.mli OCAMLDEP parsing_cocci/adjacency.mli OCAMLDEP parsing_cocci/git_grep.mli OCAMLDEP parsing_cocci/id_utils.mli OCAMLDEP parsing_cocci/get_constants2.mli OCAMLDEP parsing_cocci/dpll.mli OCAMLDEP parsing_cocci/cocci_grep.mli OCAMLDEP parsing_cocci/disjdistr.mli OCAMLDEP parsing_cocci/cleanup_rules.mli OCAMLDEP parsing_cocci/parse_aux.mli OCAMLDEP parsing_cocci/parse_printf.mli OCAMLDEP parsing_cocci/safe_for_multi_decls.mli OCAMLDEP parsing_cocci/free_vars.mli OCAMLDEP parsing_cocci/data.mli OCAMLDEP parsing_cocci/semantic_cocci.mli OCAMLDEP parsing_cocci/function_prototypes.mli OCAMLDEP parsing_cocci/insert_plus.mli OCAMLDEP parsing_cocci/adjust_pragmas.mli OCAMLDEP parsing_cocci/context_neg.mli OCAMLDEP parsing_cocci/index.mli OCAMLDEP parsing_cocci/arity.mli OCAMLDEP parsing_cocci/unitary_ast0.mli OCAMLDEP parsing_cocci/test_exps.mli OCAMLDEP parsing_cocci/type_infer.mli OCAMLDEP parsing_cocci/top_level.mli OCAMLDEP parsing_cocci/check_meta.mli OCAMLDEP parsing_cocci/stmtlist.mli OCAMLDEP parsing_cocci/get_metas.mli OCAMLDEP parsing_cocci/simple_assignments.mli OCAMLDEP parsing_cocci/single_statement.mli OCAMLDEP parsing_cocci/iso_compile.mli OCAMLDEP parsing_cocci/comm_assoc.mli OCAMLDEP parsing_cocci/iso_pattern.mli OCAMLDEP parsing_cocci/compute_lines.mli OCAMLDEP parsing_cocci/unify_ast.mli OCAMLDEP parsing_cocci/unparse_ast0.mli OCAMLDEP parsing_cocci/ast0toast.mli OCAMLDEP parsing_cocci/visitor_ast0.mli OCAMLDEP parsing_cocci/visitor_ast.mli OCAMLDEP parsing_cocci/visitor_ast0_types.mli OCAMLDEP parsing_cocci/pretty_print_cocci.mli OCAMLDEP parsing_cocci/ast0_cocci.mli OCAMLDEP parsing_cocci/ast_cocci.mli OCAMLDEP parsing_cocci/flag_parsing_cocci.mli OCAMLDEP globals/regexp.mli OCAMLDEP globals/regexp_pcre.mli OCAMLDEP globals/iteration.mli OCAMLDEP globals/flag.mli OCAMLDEP globals/config.mli OCAMLDEP commons/ograph_extended.mli OCAMLDEP commons/ograph_simple.mli OCAMLDEP commons/common.mli OCAMLDEP commons/commands.mli OCAMLDEP commons/ocamlextra/dumper.mli OCAMLDEP parsing_c/parser_c.ml OCAMLLEX tools/spgen/source/spgen_lexer.mll 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings OCAMLDEP tools/spgen/source/spgen_lexer.ml OCAMLLEX parsing_c/lexer_c.mll 549 states, 26116 transitions, table size 107758 bytes 15973 additional bytes used for bindings OCAMLDEP parsing_c/lexer_c.ml OCAMLLEX parsing_cocci/lexer_script.mll 25 states, 314 transitions, table size 1406 bytes OCAMLDEP parsing_cocci/lexer_script.ml OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes OCAMLDEP parsing_cocci/lexer_cli.ml OCAMLLEX parsing_cocci/lexer_cocci.mll 377 states, 7064 transitions, table size 30518 bytes 3353 additional bytes used for bindings OCAMLDEP parsing_cocci/lexer_cocci.ml OCAMLDEP tools/spgen/source/main.ml OCAMLDEP tools/spgen/source/spgen_test.ml OCAMLDEP tools/spgen/source/spgen.ml OCAMLDEP tools/spgen/source/spgen_config.ml OCAMLDEP tools/spgen/source/spgen_interactive.ml OCAMLDEP tools/spgen/source/file_transform.ml OCAMLDEP tools/spgen/source/script_rule.ml OCAMLDEP tools/spgen/source/context_rule.ml OCAMLDEP tools/spgen/source/rule_header.ml OCAMLDEP tools/spgen/source/rule_body.ml OCAMLDEP tools/spgen/source/disj_generator.ml OCAMLDEP tools/spgen/source/position_generator.ml OCAMLDEP tools/spgen/source/user_input.ml OCAMLDEP tools/spgen/source/snapshot.ml OCAMLDEP tools/spgen/source/meta_variable.ml OCAMLDEP tools/spgen/source/detect_patch.ml OCAMLDEP tools/spgen/source/ast_tostring.ml OCAMLDEP tools/spgen/source/globals.ml OCAMLDEP main.ml OCAMLDEP enter.ml OCAMLDEP read_options.ml OCAMLDEP testing.ml OCAMLDEP cocci.ml OCAMLDEP flag_cocci.ml OCAMLDEP extra/maintainers.ml OCAMLDEP extra/kbuild.ml OCAMLDEP extra/classic_patch.ml OCAMLDEP popl09/popl.ml OCAMLDEP popl09/popltoctl.ml OCAMLDEP popl09/flag_popl.ml OCAMLDEP popl09/pretty_print_popl.ml OCAMLDEP popl09/insert_quantifiers.ml OCAMLDEP popl09/asttopopl.ml OCAMLDEP popl09/ast_popl.ml OCAMLDEP engine/ctlcocci_integration.ml OCAMLDEP engine/postprocess_transinfo.ml OCAMLDEP engine/ctltotex.ml OCAMLDEP engine/asttoctl2.ml OCAMLDEP engine/asttomember.ml OCAMLDEP engine/transformation_c.ml OCAMLDEP engine/pattern_c.ml OCAMLDEP engine/cocci_vs_c.ml OCAMLDEP engine/isomorphisms_c_c.ml OCAMLDEP engine/c_vs_c.ml OCAMLDEP engine/check_reachability.ml OCAMLDEP engine/check_exhaustive_pattern.ml OCAMLDEP engine/pretty_print_engine.ml OCAMLDEP engine/lib_engine.ml OCAMLDEP engine/flag_matcher.ml OCAMLDEP python/pycocci.ml OCAMLDEP python/yes_pycocci.ml OCAMLDEP python/pycocci_aux.ml OCAMLDEP ocaml/run_ocamlcocci.ml OCAMLDEP ocaml/prepare_ocamlcocci.ml OCAMLDEP ocaml/yes_prepare_ocamlcocci.ml OCAMLDEP ocaml/ocamlcocci_aux.ml OCAMLDEP ocaml/coccilib.ml OCAMLDEP ocaml/exposed_modules.ml OCAMLDEP ocaml/externalanalysis.ml OCAMLDEP ctl/wrapper_ctl.ml OCAMLDEP ctl/ctl_engine.ml OCAMLDEP ctl/pretty_print_ctl.ml OCAMLDEP ctl/ast_ctl.ml OCAMLDEP ctl/flag_ctl.ml OCAMLDEP parsing_c/test_parsing_c.ml OCAMLDEP parsing_c/compare_c.ml OCAMLDEP parsing_c/comment_annotater_c.ml OCAMLDEP parsing_c/type_annoter_c.ml OCAMLDEP parsing_c/cpp_ast_c.ml OCAMLDEP parsing_c/type_c.ml OCAMLDEP parsing_c/unparse_hrule.ml OCAMLDEP parsing_c/unparse_c.ml OCAMLDEP parsing_c/parse_c.ml OCAMLDEP parsing_c/danger.ml OCAMLDEP parsing_c/parsing_consistency_c.ml OCAMLDEP parsing_c/parsing_recovery_c.ml OCAMLDEP parsing_c/unparse_cocci.ml OCAMLDEP parsing_c/cpp_analysis_c.ml OCAMLDEP parsing_c/parsing_hacks.ml OCAMLDEP parsing_c/cpp_token_c.ml OCAMLDEP parsing_c/token_views_c.ml OCAMLDEP parsing_c/token_helpers.ml OCAMLDEP parsing_c/parse_string_c.ml OCAMLDEP parsing_c/lexer_parser.ml OCAMLDEP parsing_c/semantic_c.ml OCAMLDEP parsing_c/pretty_print_c.ml OCAMLDEP parsing_c/control_flow_c_build.ml OCAMLDEP parsing_c/lib_parsing_c.ml OCAMLDEP parsing_c/visitor_c.ml OCAMLDEP parsing_c/control_flow_c.ml OCAMLDEP parsing_c/includes.ml OCAMLDEP parsing_c/ast_c.ml OCAMLDEP parsing_c/token_c.ml OCAMLDEP parsing_c/parsing_stat.ml OCAMLDEP parsing_c/flag_parsing_c.ml OCAMLDEP parsing_c/token_annot.ml OCAMLDEP parsing_cocci/command_line.ml OCAMLDEP parsing_cocci/parse_cocci.ml OCAMLDEP parsing_cocci/re_constraints.ml OCAMLDEP parsing_cocci/commas_on_lists.ml OCAMLDEP parsing_cocci/adjacency.ml OCAMLDEP parsing_cocci/git_grep.ml OCAMLDEP parsing_cocci/id_utils.ml OCAMLDEP parsing_cocci/get_constants2.ml OCAMLDEP parsing_cocci/dpll.ml OCAMLDEP parsing_cocci/cocci_grep.ml OCAMLDEP parsing_cocci/disjdistr.ml OCAMLDEP parsing_cocci/cleanup_rules.ml OCAMLDEP parsing_cocci/parse_aux.ml OCAMLDEP parsing_cocci/parse_printf.ml OCAMLDEP parsing_cocci/safe_for_multi_decls.ml OCAMLDEP parsing_cocci/free_vars.ml OCAMLDEP parsing_cocci/data.ml OCAMLDEP parsing_cocci/semantic_cocci.ml OCAMLDEP parsing_cocci/function_prototypes.ml OCAMLDEP parsing_cocci/insert_plus.ml OCAMLDEP parsing_cocci/adjust_pragmas.ml OCAMLDEP parsing_cocci/context_neg.ml OCAMLDEP parsing_cocci/index.ml OCAMLDEP parsing_cocci/arity.ml OCAMLDEP parsing_cocci/unitary_ast0.ml OCAMLDEP parsing_cocci/test_exps.ml OCAMLDEP parsing_cocci/type_infer.ml OCAMLDEP parsing_cocci/top_level.ml OCAMLDEP parsing_cocci/check_meta.ml OCAMLDEP parsing_cocci/stmtlist.ml OCAMLDEP parsing_cocci/get_metas.ml OCAMLDEP parsing_cocci/simple_assignments.ml OCAMLDEP parsing_cocci/single_statement.ml OCAMLDEP parsing_cocci/iso_compile.ml OCAMLDEP parsing_cocci/comm_assoc.ml OCAMLDEP parsing_cocci/iso_pattern.ml OCAMLDEP parsing_cocci/compute_lines.ml OCAMLDEP parsing_cocci/unify_ast.ml OCAMLDEP parsing_cocci/unparse_ast0.ml OCAMLDEP parsing_cocci/ast0toast.ml OCAMLDEP parsing_cocci/visitor_ast0.ml OCAMLDEP parsing_cocci/visitor_ast.ml OCAMLDEP parsing_cocci/visitor_ast0_types.ml OCAMLDEP parsing_cocci/pretty_print_cocci.ml OCAMLDEP parsing_cocci/ast0_cocci.ml OCAMLDEP parsing_cocci/ast_cocci.ml OCAMLDEP parsing_cocci/flag_parsing_cocci.ml OCAMLDEP globals/regexp.ml OCAMLDEP globals/regexp_pcre.ml OCAMLDEP globals/iteration.ml OCAMLDEP globals/flag.ml OCAMLDEP globals/config.ml OCAMLDEP commons/ograph_extended.ml OCAMLDEP commons/ograph_simple.ml OCAMLDEP commons/common.ml OCAMLDEP commons/commands.ml OCAMLDEP commons/ocamlextra/dumper.ml rm parsing_cocci/lexer_cli.ml parsing_cocci/lexer_script.ml tools/spgen/source/spgen_lexer.ml parsing_c/lexer_c.ml parsing_cocci/lexer_cocci.ml OCAMLC commons/ocamlextra/dumper.mli OCAMLOPT commons/ocamlextra/dumper.ml OCAMLC commons/commands.mli OCAMLOPT commons/commands.ml OCAMLC commons/common.mli OCAMLOPT commons/common.ml OCAMLC commons/ograph_simple.mli OCAMLOPT commons/ograph_simple.ml OCAMLC commons/ograph_extended.mli OCAMLOPT commons/ograph_extended.ml OCAMLOPT -o commons/commons.cmxa OCAMLC globals/config.mli OCAMLOPT globals/config.ml OCAMLC globals/flag.mli OCAMLOPT globals/flag.ml OCAMLC globals/iteration.mli OCAMLOPT globals/iteration.ml OCAMLC globals/regexp_pcre.mli OCAMLOPT globals/regexp_pcre.ml OCAMLC globals/regexp.mli OCAMLOPT globals/regexp.ml OCAMLOPT -o globals/globals.cmxa OCAMLC parsing_cocci/flag_parsing_cocci.mli OCAMLOPT parsing_cocci/flag_parsing_cocci.ml OCAMLC parsing_cocci/ast_cocci.mli OCAMLOPT parsing_cocci/ast_cocci.ml OCAMLC parsing_cocci/ast0_cocci.mli OCAMLOPT parsing_cocci/ast0_cocci.ml OCAMLC parsing_cocci/pretty_print_cocci.mli OCAMLOPT parsing_cocci/pretty_print_cocci.ml OCAMLC parsing_cocci/visitor_ast0_types.mli OCAMLOPT parsing_cocci/visitor_ast0_types.ml OCAMLC parsing_cocci/visitor_ast.mli OCAMLOPT parsing_cocci/visitor_ast.ml OCAMLC parsing_cocci/visitor_ast0.mli OCAMLOPT parsing_cocci/visitor_ast0.ml OCAMLC parsing_cocci/ast0toast.mli OCAMLOPT parsing_cocci/ast0toast.ml OCAMLC parsing_cocci/unparse_ast0.mli OCAMLOPT parsing_cocci/unparse_ast0.ml OCAMLC parsing_cocci/unify_ast.mli OCAMLOPT parsing_cocci/unify_ast.ml OCAMLC parsing_cocci/compute_lines.mli OCAMLOPT parsing_cocci/compute_lines.ml OCAMLC parsing_cocci/iso_pattern.mli OCAMLOPT parsing_cocci/iso_pattern.ml OCAMLC parsing_cocci/comm_assoc.mli OCAMLOPT parsing_cocci/comm_assoc.ml OCAMLC parsing_cocci/iso_compile.mli OCAMLOPT parsing_cocci/iso_compile.ml OCAMLC parsing_cocci/single_statement.mli OCAMLOPT parsing_cocci/single_statement.ml OCAMLC parsing_cocci/simple_assignments.mli OCAMLOPT parsing_cocci/simple_assignments.ml OCAMLC parsing_cocci/get_metas.mli OCAMLOPT parsing_cocci/get_metas.ml OCAMLC parsing_cocci/stmtlist.mli OCAMLOPT parsing_cocci/stmtlist.ml OCAMLC parsing_cocci/check_meta.mli make -C bundles/stdcompat all make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/stdcompat' cd stdcompat-6; OCAMLFIND= ./configure && make && \ cp *.mli *.cmi *.cmx *.cma *.cmxa *.a .. checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for ocamlfind... ocamlfind checking for ocamlfind package result... no checking for ocamlfind package seq... no checking for ocamlfind package uchar... no checking for style of include used by make... GNU checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking whether byte ordering is bigendian... no checking OCaml version... 4.07.0 checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating META config.status: creating Makefile config.status: creating stdcompat__hashtbl_ext.mli config.status: creating stdcompat__hashtbl_ext.ml config.status: creating stdcompat__init.mli config.status: creating stdcompat__init.ml config.status: creating stdcompat__root.mli config.status: creating stdcompat__root.ml config.status: creating stdcompat__tools.mli config.status: creating stdcompat__tools.ml config.status: creating stdcompat__native.ml_byte config.status: creating stdcompat__native.ml_native config.status: creating stdcompat_tests.ml config.status: creating stdcompat__pervasives.mli config.status: creating stdcompat__arg.mli config.status: creating stdcompat__array.mli config.status: creating stdcompat__arrayLabels.mli config.status: creating stdcompat__buffer.mli config.status: creating stdcompat__bytes.mli config.status: creating stdcompat__bytesLabels.mli config.status: creating stdcompat__char.mli config.status: creating stdcompat__digest.mli config.status: creating stdcompat__ephemeron.mli config.status: creating stdcompat__filename.mli config.status: creating stdcompat__float.mli config.status: creating stdcompat__hashtbl.mli config.status: creating stdcompat__int32.mli config.status: creating stdcompat__int64.mli config.status: creating stdcompat__lazy.mli config.status: creating stdcompat__lexing.mli config.status: creating stdcompat__list.mli config.status: creating stdcompat__listLabels.mli config.status: creating stdcompat__map.mli config.status: creating stdcompat__moreLabels.mli config.status: creating stdcompat__nativeint.mli config.status: creating stdcompat__option.mli config.status: creating stdcompat__queue.mli config.status: creating stdcompat__result.mli config.status: creating stdcompat__seq.mli config.status: creating stdcompat__set.mli config.status: creating stdcompat__spacetime.mli config.status: creating stdcompat__stack.mli config.status: creating stdcompat__stream.mli config.status: creating stdcompat__string.mli config.status: creating stdcompat__stringLabels.mli config.status: creating stdcompat__sys.mli config.status: creating stdcompat__uchar.mli config.status: creating stdcompat__weak.mli config.status: creating stdcompat__pervasives.ml config.status: creating stdcompat__arg.ml config.status: creating stdcompat__array.ml config.status: creating stdcompat__arrayLabels.ml config.status: creating stdcompat__buffer.ml config.status: creating stdcompat__bytes.ml config.status: creating stdcompat__bytesLabels.ml config.status: creating stdcompat__char.ml config.status: creating stdcompat__digest.ml config.status: creating stdcompat__ephemeron.ml config.status: creating stdcompat__filename.ml config.status: creating stdcompat__float.ml config.status: creating stdcompat__hashtbl.ml config.status: creating stdcompat__int32.ml config.status: creating stdcompat__int64.ml config.status: creating stdcompat__lazy.ml config.status: creating stdcompat__lexing.ml config.status: creating stdcompat__list.ml config.status: creating stdcompat__listLabels.ml config.status: creating stdcompat__map.ml config.status: creating stdcompat__moreLabels.ml config.status: creating stdcompat__nativeint.ml config.status: creating stdcompat__option.ml config.status: creating stdcompat__queue.ml config.status: creating stdcompat__result.ml config.status: creating stdcompat__seq.ml config.status: creating stdcompat__set.ml config.status: creating stdcompat__spacetime.ml config.status: creating stdcompat__stack.ml config.status: creating stdcompat__stream.ml config.status: creating stdcompat__string.ml config.status: creating stdcompat__stringLabels.ml config.status: creating stdcompat__sys.ml config.status: creating stdcompat__uchar.ml config.status: creating stdcompat__weak.ml config.status: creating stdcompat.ml config.status: executing depfiles commands configure: OCaml version is 4.07.0 configure: Obj.magic will be used in redefinition when possible (add --disable-magic for pure redefinitions). make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/stdcompat/stdcompat-6' CDPATH="${ZSH_VERSION+.}:" && cd . && /bin/sh /builddir/build/BUILD/coccinelle-1.0.7/bundles/stdcompat/stdcompat-6/missing autoconf /bin/sh ./config.status --recheck running CONFIG_SHELL=/bin/sh /bin/sh ./configure CC=gcc CFLAGS=-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m32 -march=i686 -mtune=generic -msse2 -mfpmath=sse -mstackrealign -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection LDFLAGS=-Wl,-z,relro -Wl,--as-needed -Wl,-z,now -specs=/usr/lib/rpm/redhat/redhat-hardened-ld CPPFLAGS= CPP=gcc -E --no-create --no-recursion checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for ocamlfind... ocamlfind checking for ocamlfind package result... no checking for ocamlfind package seq... no checking for ocamlfind package uchar... no checking whether make supports the include directive... yes (GNU style) checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking whether byte ordering is bigendian... no checking OCaml version... 4.07.0 checking that generated files are newer than configure... done configure: creating ./config.status configure: OCaml version is 4.07.0 configure: Obj.magic will be used in redefinition when possible (add --disable-magic for pure redefinitions). cd . && /bin/sh ./config.status stdcompat__init.ml config.status: creating stdcompat__init.ml cd . && /bin/sh ./config.status stdcompat__root.ml config.status: creating stdcompat__root.ml cd . && /bin/sh ./config.status stdcompat__seq.ml config.status: creating stdcompat__seq.ml cd . && /bin/sh ./config.status stdcompat__tools.ml config.status: creating stdcompat__tools.ml cd . && /bin/sh ./config.status stdcompat__pervasives.ml config.status: creating stdcompat__pervasives.ml cd . && /bin/sh ./config.status stdcompat__arg.ml config.status: creating stdcompat__arg.ml cd . && /bin/sh ./config.status stdcompat__lazy.ml config.status: creating stdcompat__lazy.ml cd . && /bin/sh ./config.status stdcompat__char.ml config.status: creating stdcompat__char.ml cd . && /bin/sh ./config.status stdcompat__uchar.ml config.status: creating stdcompat__uchar.ml cd . && /bin/sh ./config.status stdcompat__buffer.ml config.status: creating stdcompat__buffer.ml cd . && /bin/sh ./config.status stdcompat__string.ml config.status: creating stdcompat__string.ml cd . && /bin/sh ./config.status stdcompat__stringLabels.ml config.status: creating stdcompat__stringLabels.ml cd . && /bin/sh ./config.status stdcompat__bytes.ml config.status: creating stdcompat__bytes.ml cd . && /bin/sh ./config.status stdcompat__bytesLabels.ml config.status: creating stdcompat__bytesLabels.ml cd . && /bin/sh ./config.status stdcompat__list.ml config.status: creating stdcompat__list.ml cd . && /bin/sh ./config.status stdcompat__listLabels.ml config.status: creating stdcompat__listLabels.ml cd . && /bin/sh ./config.status stdcompat__stack.ml config.status: creating stdcompat__stack.ml cd . && /bin/sh ./config.status stdcompat__hashtbl_ext.ml config.status: creating stdcompat__hashtbl_ext.ml cd . && /bin/sh ./config.status stdcompat__hashtbl.ml config.status: creating stdcompat__hashtbl.ml cd . && /bin/sh ./config.status stdcompat__set.ml config.status: creating stdcompat__set.ml cd . && /bin/sh ./config.status stdcompat__map.ml config.status: creating stdcompat__map.ml cd . && /bin/sh ./config.status stdcompat__weak.ml config.status: creating stdcompat__weak.ml cd . && /bin/sh ./config.status stdcompat__sys.ml config.status: creating stdcompat__sys.ml cd . && /bin/sh ./config.status stdcompat__stream.ml config.status: creating stdcompat__stream.ml cd . && /bin/sh ./config.status stdcompat__digest.ml config.status: creating stdcompat__digest.ml cd . && /bin/sh ./config.status stdcompat__nativeint.ml config.status: creating stdcompat__nativeint.ml cd . && /bin/sh ./config.status stdcompat__int64.ml config.status: creating stdcompat__int64.ml cd . && /bin/sh ./config.status stdcompat__int32.ml config.status: creating stdcompat__int32.ml cd . && /bin/sh ./config.status stdcompat__filename.ml config.status: creating stdcompat__filename.ml cd . && /bin/sh ./config.status stdcompat__array.ml config.status: creating stdcompat__array.ml cd . && /bin/sh ./config.status stdcompat__arrayLabels.ml config.status: creating stdcompat__arrayLabels.ml cd . && /bin/sh ./config.status stdcompat__float.ml config.status: creating stdcompat__float.ml cd . && /bin/sh ./config.status stdcompat__queue.ml config.status: creating stdcompat__queue.ml cd . && /bin/sh ./config.status stdcompat__ephemeron.ml config.status: creating stdcompat__ephemeron.ml cd . && /bin/sh ./config.status stdcompat__spacetime.ml config.status: creating stdcompat__spacetime.ml cd . && /bin/sh ./config.status stdcompat__moreLabels.ml config.status: creating stdcompat__moreLabels.ml cd . && /bin/sh ./config.status stdcompat__lexing.ml config.status: creating stdcompat__lexing.ml cd . && /bin/sh ./config.status stdcompat__option.ml config.status: creating stdcompat__option.ml cd . && /bin/sh ./config.status stdcompat__result.ml config.status: creating stdcompat__result.ml cd . && /bin/sh ./config.status stdcompat__init.mli config.status: creating stdcompat__init.mli cd . && /bin/sh ./config.status stdcompat__root.mli config.status: creating stdcompat__root.mli cd . && /bin/sh ./config.status stdcompat__seq.mli config.status: creating stdcompat__seq.mli cd . && /bin/sh ./config.status stdcompat__tools.mli config.status: creating stdcompat__tools.mli cd . && /bin/sh ./config.status stdcompat__pervasives.mli config.status: creating stdcompat__pervasives.mli cd . && /bin/sh ./config.status stdcompat__arg.mli config.status: creating stdcompat__arg.mli cd . && /bin/sh ./config.status stdcompat__lazy.mli config.status: creating stdcompat__lazy.mli cd . && /bin/sh ./config.status stdcompat__char.mli config.status: creating stdcompat__char.mli cd . && /bin/sh ./config.status stdcompat__uchar.mli config.status: creating stdcompat__uchar.mli cd . && /bin/sh ./config.status stdcompat__buffer.mli config.status: creating stdcompat__buffer.mli cd . && /bin/sh ./config.status stdcompat__string.mli config.status: creating stdcompat__string.mli cd . && /bin/sh ./config.status stdcompat__stringLabels.mli config.status: creating stdcompat__stringLabels.mli cd . && /bin/sh ./config.status stdcompat__bytes.mli config.status: creating stdcompat__bytes.mli cd . && /bin/sh ./config.status stdcompat__bytesLabels.mli config.status: creating stdcompat__bytesLabels.mli cd . && /bin/sh ./config.status stdcompat__list.mli config.status: creating stdcompat__list.mli cd . && /bin/sh ./config.status stdcompat__listLabels.mli config.status: creating stdcompat__listLabels.mli cd . && /bin/sh ./config.status stdcompat__stack.mli config.status: creating stdcompat__stack.mli cd . && /bin/sh ./config.status stdcompat__hashtbl_ext.mli config.status: creating stdcompat__hashtbl_ext.mli cd . && /bin/sh ./config.status stdcompat__hashtbl.mli config.status: creating stdcompat__hashtbl.mli cd . && /bin/sh ./config.status stdcompat__set.mli config.status: creating stdcompat__set.mli cd . && /bin/sh ./config.status stdcompat__map.mli config.status: creating stdcompat__map.mli cd . && /bin/sh ./config.status stdcompat__weak.mli config.status: creating stdcompat__weak.mli cd . && /bin/sh ./config.status stdcompat__sys.mli config.status: creating stdcompat__sys.mli cd . && /bin/sh ./config.status stdcompat__stream.mli config.status: creating stdcompat__stream.mli cd . && /bin/sh ./config.status stdcompat__digest.mli config.status: creating stdcompat__digest.mli cd . && /bin/sh ./config.status stdcompat__nativeint.mli config.status: creating stdcompat__nativeint.mli cd . && /bin/sh ./config.status stdcompat__int64.mli config.status: creating stdcompat__int64.mli cd . && /bin/sh ./config.status stdcompat__int32.mli config.status: creating stdcompat__int32.mli cd . && /bin/sh ./config.status stdcompat__filename.mli config.status: creating stdcompat__filename.mli cd . && /bin/sh ./config.status stdcompat__array.mli config.status: creating stdcompat__array.mli cd . && /bin/sh ./config.status stdcompat__arrayLabels.mli config.status: creating stdcompat__arrayLabels.mli cd . && /bin/sh ./config.status stdcompat__float.mli config.status: creating stdcompat__float.mli cd . && /bin/sh ./config.status stdcompat__queue.mli config.status: creating stdcompat__queue.mli cd . && /bin/sh ./config.status stdcompat__ephemeron.mli config.status: creating stdcompat__ephemeron.mli cd . && /bin/sh ./config.status stdcompat__spacetime.mli config.status: creating stdcompat__spacetime.mli cd . && /bin/sh ./config.status stdcompat__moreLabels.mli config.status: creating stdcompat__moreLabels.mli cd . && /bin/sh ./config.status stdcompat__lexing.mli config.status: creating stdcompat__lexing.mli cd . && /bin/sh ./config.status stdcompat__option.mli config.status: creating stdcompat__option.mli cd . && /bin/sh ./config.status stdcompat__result.mli config.status: creating stdcompat__result.mli cd . && /bin/sh ./config.status stdcompat.ml config.status: creating stdcompat.ml cd . && /bin/sh ./config.status stdcompat__native.ml_byte config.status: creating stdcompat__native.ml_byte cp stdcompat__native.ml_byte stdcompat__native.ml ocamlfind ocamldep stdcompat__native.ml stdcompat__init.ml stdcompat__root.ml stdcompat__seq.ml stdcompat__tools.ml stdcompat__pervasives.ml stdcompat__arg.ml stdcompat__lazy.ml stdcompat__char.ml stdcompat__uchar.ml stdcompat__buffer.ml stdcompat__string.ml stdcompat__stringLabels.ml stdcompat__bytes.ml stdcompat__bytesLabels.ml stdcompat__list.ml stdcompat__listLabels.ml stdcompat__stack.ml stdcompat__hashtbl_ext.ml stdcompat__hashtbl.ml stdcompat__set.ml stdcompat__map.ml stdcompat__weak.ml stdcompat__sys.ml stdcompat__stream.ml stdcompat__digest.ml stdcompat__nativeint.ml stdcompat__int64.ml stdcompat__int32.ml stdcompat__filename.ml stdcompat__array.ml stdcompat__arrayLabels.ml stdcompat__float.ml stdcompat__queue.ml stdcompat__ephemeron.ml stdcompat__spacetime.ml stdcompat__moreLabels.ml stdcompat__lexing.ml stdcompat__option.ml stdcompat__result.ml stdcompat__init.mli stdcompat__root.mli stdcompat__seq.mli stdcompat__tools.mli stdcompat__pervasives.mli stdcompat__arg.mli stdcompat__lazy.mli stdcompat__char.mli stdcompat__uchar.mli stdcompat__buffer.mli stdcompat__string.mli stdcompat__stringLabels.mli stdcompat__bytes.mli stdcompat__bytesLabels.mli stdcompat__list.mli stdcompat__listLabels.mli stdcompat__stack.mli stdcompat__hashtbl_ext.mli stdcompat__hashtbl.mli stdcompat__set.mli stdcompat__map.mli stdcompat__weak.mli stdcompat__sys.mli stdcompat__stream.mli stdcompat__digest.mli stdcompat__nativeint.mli stdcompat__int64.mli stdcompat__int32.mli stdcompat__filename.mli stdcompat__array.mli stdcompat__arrayLabels.mli stdcompat__float.mli stdcompat__queue.mli stdcompat__ephemeron.mli stdcompat__spacetime.mli stdcompat__moreLabels.mli stdcompat__lexing.mli stdcompat__option.mli stdcompat__result.mli stdcompat.ml stdcompat__native.ml_byte >.depend || rm -f .depend /bin/sh ./config.status config.status: creating META config.status: creating Makefile config.status: creating stdcompat__hashtbl_ext.mli config.status: creating stdcompat__hashtbl_ext.ml config.status: creating stdcompat__init.mli config.status: creating stdcompat__init.ml config.status: creating stdcompat__root.mli config.status: creating stdcompat__root.ml config.status: creating stdcompat__tools.mli config.status: creating stdcompat__tools.ml config.status: creating stdcompat__native.ml_byte config.status: creating stdcompat__native.ml_native config.status: creating stdcompat_tests.ml config.status: creating stdcompat__pervasives.mli config.status: creating stdcompat__arg.mli config.status: creating stdcompat__array.mli config.status: creating stdcompat__arrayLabels.mli config.status: creating stdcompat__buffer.mli config.status: creating stdcompat__bytes.mli config.status: creating stdcompat__bytesLabels.mli config.status: creating stdcompat__char.mli config.status: creating stdcompat__digest.mli config.status: creating stdcompat__ephemeron.mli config.status: creating stdcompat__filename.mli config.status: creating stdcompat__float.mli config.status: creating stdcompat__hashtbl.mli config.status: creating stdcompat__int32.mli config.status: creating stdcompat__int64.mli config.status: creating stdcompat__lazy.mli config.status: creating stdcompat__lexing.mli config.status: creating stdcompat__list.mli config.status: creating stdcompat__listLabels.mli config.status: creating stdcompat__map.mli config.status: creating stdcompat__moreLabels.mli config.status: creating stdcompat__nativeint.mli config.status: creating stdcompat__option.mli config.status: creating stdcompat__queue.mli config.status: creating stdcompat__result.mli config.status: creating stdcompat__seq.mli config.status: creating stdcompat__set.mli config.status: creating stdcompat__spacetime.mli config.status: creating stdcompat__stack.mli config.status: creating stdcompat__stream.mli config.status: creating stdcompat__string.mli config.status: creating stdcompat__stringLabels.mli config.status: creating stdcompat__sys.mli config.status: creating stdcompat__uchar.mli config.status: creating stdcompat__weak.mli config.status: creating stdcompat__pervasives.ml config.status: creating stdcompat__arg.ml config.status: creating stdcompat__array.ml config.status: creating stdcompat__arrayLabels.ml config.status: creating stdcompat__buffer.ml config.status: creating stdcompat__bytes.ml config.status: creating stdcompat__bytesLabels.ml config.status: creating stdcompat__char.ml config.status: creating stdcompat__digest.ml config.status: creating stdcompat__ephemeron.ml config.status: creating stdcompat__filename.ml config.status: creating stdcompat__float.ml config.status: creating stdcompat__hashtbl.ml config.status: creating stdcompat__int32.ml config.status: creating stdcompat__int64.ml config.status: creating stdcompat__lazy.ml config.status: creating stdcompat__lexing.ml config.status: creating stdcompat__list.ml config.status: creating stdcompat__listLabels.ml config.status: creating stdcompat__map.ml config.status: creating stdcompat__moreLabels.ml config.status: creating stdcompat__nativeint.ml config.status: creating stdcompat__option.ml config.status: creating stdcompat__queue.ml config.status: creating stdcompat__result.ml config.status: creating stdcompat__seq.ml config.status: creating stdcompat__set.ml config.status: creating stdcompat__spacetime.ml config.status: creating stdcompat__stack.ml config.status: creating stdcompat__stream.ml config.status: creating stdcompat__string.ml config.status: creating stdcompat__stringLabels.ml config.status: creating stdcompat__sys.ml config.status: creating stdcompat__uchar.ml config.status: creating stdcompat__weak.ml config.status: creating stdcompat.ml config.status: executing depfiles commands cp stdcompat__native.ml_byte stdcompat__native.ml ocamlfind ocamldep stdcompat__native.ml stdcompat__init.ml stdcompat__root.ml stdcompat__seq.ml stdcompat__tools.ml stdcompat__pervasives.ml stdcompat__arg.ml stdcompat__lazy.ml stdcompat__char.ml stdcompat__uchar.ml stdcompat__buffer.ml stdcompat__string.ml stdcompat__stringLabels.ml stdcompat__bytes.ml stdcompat__bytesLabels.ml stdcompat__list.ml stdcompat__listLabels.ml stdcompat__stack.ml stdcompat__hashtbl_ext.ml stdcompat__hashtbl.ml stdcompat__set.ml stdcompat__map.ml stdcompat__weak.ml stdcompat__sys.ml stdcompat__stream.ml stdcompat__digest.ml stdcompat__nativeint.ml stdcompat__int64.ml stdcompat__int32.ml stdcompat__filename.ml stdcompat__array.ml stdcompat__arrayLabels.ml stdcompat__float.ml stdcompat__queue.ml stdcompat__ephemeron.ml stdcompat__spacetime.ml stdcompat__moreLabels.ml stdcompat__lexing.ml stdcompat__option.ml stdcompat__result.ml stdcompat__init.mli stdcompat__root.mli stdcompat__seq.mli stdcompat__tools.mli stdcompat__pervasives.mli stdcompat__arg.mli stdcompat__lazy.mli stdcompat__char.mli stdcompat__uchar.mli stdcompat__buffer.mli stdcompat__string.mli stdcompat__stringLabels.mli stdcompat__bytes.mli stdcompat__bytesLabels.mli stdcompat__list.mli stdcompat__listLabels.mli stdcompat__stack.mli stdcompat__hashtbl_ext.mli stdcompat__hashtbl.mli stdcompat__set.mli stdcompat__map.mli stdcompat__weak.mli stdcompat__sys.mli stdcompat__stream.mli stdcompat__digest.mli stdcompat__nativeint.mli stdcompat__int64.mli stdcompat__int32.mli stdcompat__filename.mli stdcompat__array.mli stdcompat__arrayLabels.mli stdcompat__float.mli stdcompat__queue.mli stdcompat__ephemeron.mli stdcompat__spacetime.mli stdcompat__moreLabels.mli stdcompat__lexing.mli stdcompat__option.mli stdcompat__result.mli stdcompat.ml stdcompat__native.ml_byte >.depend || rm -f .depend ocamlfind ocamlopt -c -no-alias-deps stdcompat__weak.mli -o stdcompat__weak.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__uchar.mli -o stdcompat__uchar.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__sys.mli -o stdcompat__sys.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__stringLabels.mli -o stdcompat__stringLabels.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__string.mli -o stdcompat__string.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__stream.mli -o stdcompat__stream.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__stack.mli -o stdcompat__stack.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__spacetime.mli -o stdcompat__spacetime.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__seq.mli -o stdcompat__seq.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__set.mli -o stdcompat__set.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__init.mli -o stdcompat__init.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__root.mli -o stdcompat__root.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__pervasives.mli -o stdcompat__pervasives.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__result.mli -o stdcompat__result.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__queue.mli -o stdcompat__queue.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__option.mli -o stdcompat__option.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__nativeint.mli -o stdcompat__nativeint.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__map.mli -o stdcompat__map.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__listLabels.mli -o stdcompat__listLabels.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__list.mli -o stdcompat__list.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__lexing.mli -o stdcompat__lexing.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__lazy.mli -o stdcompat__lazy.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__int64.mli -o stdcompat__int64.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__int32.mli -o stdcompat__int32.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__hashtbl.mli -o stdcompat__hashtbl.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__float.mli -o stdcompat__float.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__filename.mli -o stdcompat__filename.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__ephemeron.mli -o stdcompat__ephemeron.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__digest.mli -o stdcompat__digest.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__char.mli -o stdcompat__char.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__bytesLabels.mli -o stdcompat__bytesLabels.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__bytes.mli -o stdcompat__bytes.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__buffer.mli -o stdcompat__buffer.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__arrayLabels.mli -o stdcompat__arrayLabels.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__array.mli -o stdcompat__array.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__arg.mli -o stdcompat__arg.cmi ocamlfind ocamlc -c -no-alias-deps stdcompat.ml -o stdcompat.cmo ocamlfind ocamlopt -c -no-alias-deps stdcompat__native.mli -o stdcompat__native.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__tools.mli -o stdcompat__tools.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__hashtbl_ext.mli -o stdcompat__hashtbl_ext.cmi ocamlfind ocamlopt -c -no-alias-deps stdcompat__moreLabels.mli -o stdcompat__moreLabels.cmi ocamlfind ocamlc -no-alias-deps -c -impl stdcompat__native.ml_byte ocamlfind ocamlc -c -no-alias-deps stdcompat__init.ml -o stdcompat__init.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__root.ml -o stdcompat__root.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__seq.ml -o stdcompat__seq.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__tools.ml -o stdcompat__tools.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__pervasives.ml -o stdcompat__pervasives.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__arg.ml -o stdcompat__arg.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__lazy.ml -o stdcompat__lazy.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__char.ml -o stdcompat__char.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__uchar.ml -o stdcompat__uchar.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__buffer.ml -o stdcompat__buffer.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__string.ml -o stdcompat__string.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__stringLabels.ml -o stdcompat__stringLabels.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__bytes.ml -o stdcompat__bytes.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__bytesLabels.ml -o stdcompat__bytesLabels.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__list.ml -o stdcompat__list.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__listLabels.ml -o stdcompat__listLabels.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__stack.ml -o stdcompat__stack.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__hashtbl_ext.ml -o stdcompat__hashtbl_ext.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__hashtbl.ml -o stdcompat__hashtbl.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__set.ml -o stdcompat__set.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__map.ml -o stdcompat__map.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__weak.ml -o stdcompat__weak.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__sys.ml -o stdcompat__sys.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__stream.ml -o stdcompat__stream.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__digest.ml -o stdcompat__digest.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__nativeint.ml -o stdcompat__nativeint.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__int64.ml -o stdcompat__int64.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__int32.ml -o stdcompat__int32.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__filename.ml -o stdcompat__filename.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__array.ml -o stdcompat__array.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__arrayLabels.ml -o stdcompat__arrayLabels.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__float.ml -o stdcompat__float.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__queue.ml -o stdcompat__queue.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__ephemeron.ml -o stdcompat__ephemeron.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__spacetime.ml -o stdcompat__spacetime.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__moreLabels.ml -o stdcompat__moreLabels.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__lexing.ml -o stdcompat__lexing.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__option.ml -o stdcompat__option.cmo ocamlfind ocamlc -c -no-alias-deps stdcompat__result.ml -o stdcompat__result.cmo ocamlfind ocamlc -no-alias-deps -a stdcompat__native.cmo stdcompat__init.cmo stdcompat__root.cmo stdcompat__seq.cmo stdcompat__tools.cmo stdcompat__pervasives.cmo stdcompat__arg.cmo stdcompat__lazy.cmo stdcompat__char.cmo stdcompat__uchar.cmo stdcompat__buffer.cmo stdcompat__string.cmo stdcompat__stringLabels.cmo stdcompat__bytes.cmo stdcompat__bytesLabels.cmo stdcompat__list.cmo stdcompat__listLabels.cmo stdcompat__stack.cmo stdcompat__hashtbl_ext.cmo stdcompat__hashtbl.cmo stdcompat__set.cmo stdcompat__map.cmo stdcompat__weak.cmo stdcompat__sys.cmo stdcompat__stream.cmo stdcompat__digest.cmo stdcompat__nativeint.cmo stdcompat__int64.cmo stdcompat__int32.cmo stdcompat__filename.cmo stdcompat__array.cmo stdcompat__arrayLabels.cmo stdcompat__float.cmo stdcompat__queue.cmo stdcompat__ephemeron.cmo stdcompat__spacetime.cmo stdcompat__moreLabels.cmo stdcompat__lexing.cmo stdcompat__option.cmo stdcompat__result.cmo stdcompat.cmo -o stdcompat.cma ocamlfind ocamlopt -no-alias-deps -c -impl stdcompat__native.ml_native ocamlfind ocamlopt -c -no-alias-deps stdcompat__init.ml -o stdcompat__init.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__root.ml -o stdcompat__root.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__seq.ml -o stdcompat__seq.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__tools.ml -o stdcompat__tools.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__pervasives.ml -o stdcompat__pervasives.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__arg.ml -o stdcompat__arg.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__lazy.ml -o stdcompat__lazy.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__char.ml -o stdcompat__char.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__uchar.ml -o stdcompat__uchar.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__buffer.ml -o stdcompat__buffer.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__string.ml -o stdcompat__string.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__stringLabels.ml -o stdcompat__stringLabels.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__bytes.ml -o stdcompat__bytes.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__bytesLabels.ml -o stdcompat__bytesLabels.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__list.ml -o stdcompat__list.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__listLabels.ml -o stdcompat__listLabels.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__stack.ml -o stdcompat__stack.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__hashtbl_ext.ml -o stdcompat__hashtbl_ext.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__hashtbl.ml -o stdcompat__hashtbl.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__set.ml -o stdcompat__set.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__map.ml -o stdcompat__map.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__weak.ml -o stdcompat__weak.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__sys.ml -o stdcompat__sys.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__stream.ml -o stdcompat__stream.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__digest.ml -o stdcompat__digest.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__nativeint.ml -o stdcompat__nativeint.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__int64.ml -o stdcompat__int64.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__int32.ml -o stdcompat__int32.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__filename.ml -o stdcompat__filename.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__array.ml -o stdcompat__array.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__arrayLabels.ml -o stdcompat__arrayLabels.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__float.ml -o stdcompat__float.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__queue.ml -o stdcompat__queue.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__ephemeron.ml -o stdcompat__ephemeron.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__spacetime.ml -o stdcompat__spacetime.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__moreLabels.ml -o stdcompat__moreLabels.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__lexing.ml -o stdcompat__lexing.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__option.ml -o stdcompat__option.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat__result.ml -o stdcompat__result.cmx ocamlfind ocamlopt -c -no-alias-deps stdcompat.ml -o stdcompat.cmx ocamlfind ocamlopt -no-alias-deps -a stdcompat__native.cmx stdcompat__init.cmx stdcompat__root.cmx stdcompat__seq.cmx stdcompat__tools.cmx stdcompat__pervasives.cmx stdcompat__arg.cmx stdcompat__lazy.cmx stdcompat__char.cmx stdcompat__uchar.cmx stdcompat__buffer.cmx stdcompat__string.cmx stdcompat__stringLabels.cmx stdcompat__bytes.cmx stdcompat__bytesLabels.cmx stdcompat__list.cmx stdcompat__listLabels.cmx stdcompat__stack.cmx stdcompat__hashtbl_ext.cmx stdcompat__hashtbl.cmx stdcompat__set.cmx stdcompat__map.cmx stdcompat__weak.cmx stdcompat__sys.cmx stdcompat__stream.cmx stdcompat__digest.cmx stdcompat__nativeint.cmx stdcompat__int64.cmx stdcompat__int32.cmx stdcompat__filename.cmx stdcompat__array.cmx stdcompat__arrayLabels.cmx stdcompat__float.cmx stdcompat__queue.cmx stdcompat__ephemeron.cmx stdcompat__spacetime.cmx stdcompat__moreLabels.cmx stdcompat__lexing.cmx stdcompat__option.cmx stdcompat__result.cmx stdcompat.cmx -o stdcompat.cmxa ocamlfind ocamlopt -no-alias-deps -shared stdcompat__native.cmx stdcompat__init.cmx stdcompat__root.cmx stdcompat__seq.cmx stdcompat__tools.cmx stdcompat__pervasives.cmx stdcompat__arg.cmx stdcompat__lazy.cmx stdcompat__char.cmx stdcompat__uchar.cmx stdcompat__buffer.cmx stdcompat__string.cmx stdcompat__stringLabels.cmx stdcompat__bytes.cmx stdcompat__bytesLabels.cmx stdcompat__list.cmx stdcompat__listLabels.cmx stdcompat__stack.cmx stdcompat__hashtbl_ext.cmx stdcompat__hashtbl.cmx stdcompat__set.cmx stdcompat__map.cmx stdcompat__weak.cmx stdcompat__sys.cmx stdcompat__stream.cmx stdcompat__digest.cmx stdcompat__nativeint.cmx stdcompat__int64.cmx stdcompat__int32.cmx stdcompat__filename.cmx stdcompat__array.cmx stdcompat__arrayLabels.cmx stdcompat__float.cmx stdcompat__queue.cmx stdcompat__ephemeron.cmx stdcompat__spacetime.cmx stdcompat__moreLabels.cmx stdcompat__lexing.cmx stdcompat__option.cmx stdcompat__result.cmx stdcompat.cmx -o stdcompat.cmxs make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/stdcompat/stdcompat-6' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/stdcompat' OCAMLOPT parsing_cocci/check_meta.ml OCAMLC parsing_cocci/top_level.mli OCAMLOPT parsing_cocci/top_level.ml OCAMLC parsing_cocci/type_infer.mli OCAMLOPT parsing_cocci/type_infer.ml OCAMLC parsing_cocci/test_exps.mli OCAMLOPT parsing_cocci/test_exps.ml OCAMLC parsing_cocci/unitary_ast0.mli OCAMLOPT parsing_cocci/unitary_ast0.ml OCAMLC parsing_cocci/arity.mli OCAMLOPT parsing_cocci/arity.ml OCAMLC parsing_cocci/index.mli OCAMLOPT parsing_cocci/index.ml OCAMLC parsing_cocci/context_neg.mli OCAMLOPT parsing_cocci/context_neg.ml OCAMLC parsing_cocci/adjust_pragmas.mli OCAMLOPT parsing_cocci/adjust_pragmas.ml OCAMLC parsing_cocci/insert_plus.mli OCAMLOPT parsing_cocci/insert_plus.ml OCAMLC parsing_cocci/function_prototypes.mli OCAMLOPT parsing_cocci/function_prototypes.ml OCAMLC parsing_cocci/semantic_cocci.mli OCAMLOPT parsing_cocci/semantic_cocci.ml OCAMLC parsing_cocci/data.mli OCAMLOPT parsing_cocci/data.ml OCAMLC parsing_cocci/free_vars.mli OCAMLOPT parsing_cocci/free_vars.ml OCAMLC parsing_cocci/safe_for_multi_decls.mli OCAMLOPT parsing_cocci/safe_for_multi_decls.ml OCAMLC parsing_cocci/parse_printf.mli OCAMLOPT parsing_cocci/parse_printf.ml OCAMLC parsing_cocci/parse_aux.mli OCAMLOPT parsing_cocci/parse_aux.ml OCAMLC parsing_cocci/cleanup_rules.mli OCAMLOPT parsing_cocci/cleanup_rules.ml OCAMLC parsing_cocci/disjdistr.mli OCAMLOPT parsing_cocci/disjdistr.ml MENHIR parsing_cocci/parser_cocci_menhir.mly OCAMLDEP parsing_cocci/parser_cocci_menhir.mli OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLDEP parsing_cocci/parser_cocci_menhir.ml OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLC parsing_cocci/lexer_cocci.mli OCAMLLEX parsing_cocci/lexer_cocci.mll 377 states, 7064 transitions, table size 30518 bytes 3353 additional bytes used for bindings OCAMLOPT parsing_cocci/lexer_cocci.ml OCAMLC parsing_cocci/lexer_cli.mli OCAMLLEX parsing_cocci/lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes OCAMLOPT parsing_cocci/lexer_cli.ml OCAMLC parsing_cocci/lexer_script.mli OCAMLLEX parsing_cocci/lexer_script.mll 25 states, 314 transitions, table size 1406 bytes OCAMLOPT parsing_cocci/lexer_script.ml OCAMLC parsing_cocci/cocci_grep.mli OCAMLOPT parsing_cocci/cocci_grep.ml OCAMLC parsing_cocci/dpll.mli OCAMLOPT parsing_cocci/dpll.ml OCAMLC parsing_cocci/get_constants2.mli OCAMLOPT parsing_cocci/get_constants2.ml OCAMLC parsing_cocci/id_utils.mli OCAMLOPT parsing_cocci/id_utils.ml OCAMLC parsing_cocci/git_grep.mli OCAMLOPT parsing_cocci/git_grep.ml OCAMLC parsing_cocci/adjacency.mli OCAMLOPT parsing_cocci/adjacency.ml OCAMLC parsing_cocci/commas_on_lists.mli OCAMLOPT parsing_cocci/commas_on_lists.ml OCAMLC parsing_cocci/re_constraints.mli OCAMLOPT parsing_cocci/re_constraints.ml OCAMLC parsing_cocci/parse_cocci.mli OCAMLOPT parsing_cocci/parse_cocci.ml OCAMLC parsing_cocci/command_line.mli OCAMLOPT parsing_cocci/command_line.ml OCAMLOPT -o parsing_cocci/parsing_cocci.cmxa OCAMLC parsing_c/token_annot.mli OCAMLOPT parsing_c/token_annot.ml OCAMLC parsing_c/flag_parsing_c.mli OCAMLOPT parsing_c/flag_parsing_c.ml OCAMLC parsing_c/parsing_stat.mli OCAMLOPT parsing_c/parsing_stat.ml OCAMLC parsing_c/token_c.mli OCAMLOPT parsing_c/token_c.ml OCAMLC parsing_c/ast_c.mli OCAMLOPT parsing_c/ast_c.ml OCAMLC parsing_c/includes.mli make -C bundles/parmap all make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap' /usr/bin/tar xfz parmap-master-699ed2a.tar.gz touch parmap/.marker cd parmap && ./configure checking for ocamlc... /usr/bin/ocamlc.opt OCaml version is 4.07.0 OCAMLLIB previously set; preserving it. OCaml library path is /usr/lib/ocaml checking for ocamlopt... /usr/bin/ocamlopt.opt checking for ocamlc.opt... ocamlc.opt checking for ocamlopt.opt... ocamlopt.opt checking for dynlink.cmxa... yes checking for ocaml... ocaml checking for ocamldep... /usr/bin/ocamldep checking for ocamlmktop... /usr/bin/ocamlmktop checking for ocamlmklib... /usr/bin/ocamlmklib checking for ocamldoc... /usr/bin/ocamldoc checking for ocamlbuild... no checking for ocamlfind... /usr/bin/ocamlfind checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking sched.h usability... yes checking sched.h presence... yes checking for sched.h... yes checking whether sched_setaffinity is declared... yes checking mach/thread_policy.h usability... no checking mach/thread_policy.h presence... no checking for mach/thread_policy.h... no checking whether thread_policy_set is declared... no ocamlbuild does not exists or it does not support -use-ocamlfind configure: creating ./config.status config.status: creating Makefile_3.11 config.status: creating config.h touch .prepare /usr/bin/ocamldep -I parmap parmap/bytearray.mli parmap/parmap_utils.mli parmap/parmap.mli parmap/bytearray.ml parmap/parmap_utils.ml parmap/setcore.ml parmap/parmap.ml >.depend make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap' /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -c parmap/bytearray.mli -o parmap/bytearray.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -c parmap/bytearray.ml -o parmap/bytearray.cmo BUILDSTDERR: File "parmap/bytearray.ml", line 38, characters 0-118: BUILDSTDERR: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" BUILDSTDERR: File "parmap/bytearray.ml", line 64, characters 11-35: BUILDSTDERR: Warning 3: deprecated: Bigarray.Array1.map_file BUILDSTDERR: Use [array1_of_genarray (Unix.map_file ...)] instead. BUILDSTDERR: Note that Bigarray.Array1.map_file raises Sys_error while BUILDSTDERR: Unix.map_file raises Unix_error. BUILDSTDERR: File "parmap/bytearray.ml", line 107, characters 0-132: BUILDSTDERR: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" BUILDSTDERR: File "parmap/bytearray.ml", line 110, characters 0-130: BUILDSTDERR: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -c parmap/parmap_utils.mli -o parmap/parmap_utils.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -c parmap/parmap_utils.ml -o parmap/parmap_utils.cmo /usr/bin/ocamlopt.opt -I parmap -unsafe-string -g -c parmap/setcore.ml -o parmap/setcore.cmx /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -c parmap/setcore.ml -o parmap/setcore.cmo /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -c parmap/parmap.mli -o parmap/parmap.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -c parmap/parmap.ml -o parmap/parmap.cmo BUILDSTDERR: File "parmap/parmap.ml", line 98, characters 3-27: BUILDSTDERR: Warning 3: deprecated: Bigarray.Array1.map_file BUILDSTDERR: Use [array1_of_genarray (Unix.map_file ...)] instead. BUILDSTDERR: Note that Bigarray.Array1.map_file raises Sys_error while BUILDSTDERR: Unix.map_file raises Unix_error. BUILDSTDERR: File "parmap/parmap.ml", line 550, characters 12-24: BUILDSTDERR: Warning 3: deprecated: Stdlib.Array.create BUILDSTDERR: Use Array.make instead. BUILDSTDERR: File "parmap/parmap.ml", line 606, characters 4-28: BUILDSTDERR: Warning 3: deprecated: Bigarray.Array1.map_file BUILDSTDERR: Use [array1_of_genarray (Unix.map_file ...)] instead. BUILDSTDERR: Note that Bigarray.Array1.map_file raises Sys_error while BUILDSTDERR: Unix.map_file raises Unix_error. /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -custom -cclib -lparmap_stubs -a parmap/bytearray.cmo parmap/parmap_utils.cmo parmap/setcore.cmo parmap/parmap.cmo -o parmap/parmap.cma cp parmap/parmap.cma parmap.cma cp parmap/bytearray.cmi bytearray.cmi cp parmap/parmap_utils.cmi parmap_utils.cmi cp parmap/setcore.cmi setcore.cmi cp parmap/parmap.cmi parmap.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -ccopt -D_GNU_SOURCE -ccopt -fPIC parmap/bytearray_stubs.c -o parmap/bytearray_stubs.o mv bytearray_stubs.o parmap/bytearray_stubs.o /usr/bin/ocamlc.opt -unsafe-string -g -I parmap -unsafe-string -g -ccopt -D_GNU_SOURCE -ccopt -fPIC parmap/setcore_stubs.c -o parmap/setcore_stubs.o mv setcore_stubs.o parmap/setcore_stubs.o /usr/bin/ocamlmklib -linkall -o parmap/parmap_stubs parmap/bytearray_stubs.o parmap/setcore_stubs.o cp parmap/libparmap_stubs.a libparmap_stubs.a cp parmap/dllparmap_stubs.so dllparmap_stubs.so make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap' make -C bundles/parmap all.opt make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap' make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap' /usr/bin/ocamlopt.opt -I parmap -unsafe-string -g -c parmap/bytearray.ml -o parmap/bytearray.cmx BUILDSTDERR: File "parmap/bytearray.ml", line 38, characters 0-118: BUILDSTDERR: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" BUILDSTDERR: File "parmap/bytearray.ml", line 64, characters 11-35: BUILDSTDERR: Warning 3: deprecated: Bigarray.Array1.map_file BUILDSTDERR: Use [array1_of_genarray (Unix.map_file ...)] instead. BUILDSTDERR: Note that Bigarray.Array1.map_file raises Sys_error while BUILDSTDERR: Unix.map_file raises Unix_error. BUILDSTDERR: File "parmap/bytearray.ml", line 107, characters 0-132: BUILDSTDERR: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" BUILDSTDERR: File "parmap/bytearray.ml", line 110, characters 0-130: BUILDSTDERR: Warning 3: deprecated: [@@noalloc] should be used instead of "noalloc" /usr/bin/ocamlopt.opt -I parmap -unsafe-string -g -c parmap/parmap_utils.ml -o parmap/parmap_utils.cmx /usr/bin/ocamlopt.opt -I parmap -unsafe-string -g -c parmap/parmap.ml -o parmap/parmap.cmx BUILDSTDERR: File "parmap/parmap.ml", line 98, characters 3-27: BUILDSTDERR: Warning 3: deprecated: Bigarray.Array1.map_file BUILDSTDERR: Use [array1_of_genarray (Unix.map_file ...)] instead. BUILDSTDERR: Note that Bigarray.Array1.map_file raises Sys_error while BUILDSTDERR: Unix.map_file raises Unix_error. BUILDSTDERR: File "parmap/parmap.ml", line 550, characters 12-24: BUILDSTDERR: Warning 3: deprecated: Stdlib.Array.create BUILDSTDERR: Use Array.make instead. BUILDSTDERR: File "parmap/parmap.ml", line 606, characters 4-28: BUILDSTDERR: Warning 3: deprecated: Bigarray.Array1.map_file BUILDSTDERR: Use [array1_of_genarray (Unix.map_file ...)] instead. BUILDSTDERR: Note that Bigarray.Array1.map_file raises Sys_error while BUILDSTDERR: Unix.map_file raises Unix_error. /usr/bin/ocamlopt.opt -I parmap -unsafe-string -g -cclib -lparmap_stubs -a parmap/bytearray.cmx parmap/parmap_utils.cmx parmap/setcore.cmx parmap/parmap.cmx -o parmap/parmap.cmxa cp parmap/parmap.cmxa parmap.cmxa cp parmap/bytearray.cmx bytearray.cmx cp parmap/parmap_utils.cmx parmap_utils.cmx cp parmap/setcore.cmx setcore.cmx cp parmap/parmap.cmx parmap.cmx cp parmap/parmap.a parmap.a make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap' OCAMLOPT parsing_c/includes.ml OCAMLC parsing_c/control_flow_c.mli OCAMLOPT parsing_c/control_flow_c.ml OCAMLC parsing_c/visitor_c.mli OCAMLOPT parsing_c/visitor_c.ml OCAMLC parsing_c/lib_parsing_c.mli OCAMLOPT parsing_c/lib_parsing_c.ml OCAMLC parsing_c/control_flow_c_build.mli OCAMLOPT parsing_c/control_flow_c_build.ml OCAMLC parsing_c/pretty_print_c.mli OCAMLOPT parsing_c/pretty_print_c.ml OCAMLC parsing_c/semantic_c.mli OCAMLOPT parsing_c/semantic_c.ml OCAMLC parsing_c/lexer_parser.mli OCAMLOPT parsing_c/lexer_parser.ml OCAMLC parsing_c/parser_c.mli OCAMLOPT parsing_c/parser_c.ml OCAMLC parsing_c/lexer_c.mli OCAMLLEX parsing_c/lexer_c.mll 549 states, 26116 transitions, table size 107758 bytes 15973 additional bytes used for bindings OCAMLOPT parsing_c/lexer_c.ml OCAMLC parsing_c/parse_string_c.mli OCAMLOPT parsing_c/parse_string_c.ml OCAMLC parsing_c/token_helpers.mli OCAMLOPT parsing_c/token_helpers.ml OCAMLC parsing_c/token_views_c.mli OCAMLOPT parsing_c/token_views_c.ml OCAMLC parsing_c/cpp_token_c.mli OCAMLOPT parsing_c/cpp_token_c.ml OCAMLC parsing_c/parsing_hacks.mli OCAMLOPT parsing_c/parsing_hacks.ml OCAMLC parsing_c/cpp_analysis_c.mli OCAMLOPT parsing_c/cpp_analysis_c.ml OCAMLC parsing_c/unparse_cocci.mli OCAMLOPT parsing_c/unparse_cocci.ml OCAMLC parsing_c/parsing_recovery_c.mli OCAMLOPT parsing_c/parsing_recovery_c.ml OCAMLC parsing_c/parsing_consistency_c.mli OCAMLOPT parsing_c/parsing_consistency_c.ml OCAMLC parsing_c/danger.mli OCAMLOPT parsing_c/danger.ml OCAMLC parsing_c/parse_c.mli OCAMLOPT parsing_c/parse_c.ml OCAMLC parsing_c/unparse_c.mli OCAMLOPT parsing_c/unparse_c.ml OCAMLC parsing_c/unparse_hrule.mli OCAMLOPT parsing_c/unparse_hrule.ml OCAMLC parsing_c/type_c.mli OCAMLOPT parsing_c/type_c.ml OCAMLC parsing_c/cpp_ast_c.mli OCAMLOPT parsing_c/cpp_ast_c.ml OCAMLC parsing_c/type_annoter_c.mli OCAMLOPT parsing_c/type_annoter_c.ml OCAMLC parsing_c/comment_annotater_c.mli OCAMLOPT parsing_c/comment_annotater_c.ml OCAMLC parsing_c/compare_c.mli OCAMLOPT parsing_c/compare_c.ml OCAMLC parsing_c/test_parsing_c.mli OCAMLOPT parsing_c/test_parsing_c.ml OCAMLOPT -o parsing_c/parsing_c.cmxa OCAMLC ctl/flag_ctl.mli OCAMLOPT ctl/flag_ctl.ml OCAMLC ctl/ast_ctl.mli OCAMLOPT ctl/ast_ctl.ml OCAMLC ctl/pretty_print_ctl.mli OCAMLOPT ctl/pretty_print_ctl.ml OCAMLC ctl/ctl_engine.mli OCAMLOPT ctl/ctl_engine.ml OCAMLC ctl/wrapper_ctl.mli OCAMLOPT ctl/wrapper_ctl.ml OCAMLOPT -o ctl/ctl.cmxa OCAMLC ocaml/externalanalysis.mli OCAMLOPT ocaml/externalanalysis.ml OCAMLC ocaml/exposed_modules.mli OCAMLOPT ocaml/exposed_modules.ml OCAMLC ocaml/coccilib.mli OCAMLOPT ocaml/coccilib.ml OCAMLC ocaml/ocamlcocci_aux.mli OCAMLOPT ocaml/ocamlcocci_aux.ml OCAMLC ocaml/yes_prepare_ocamlcocci.mli OCAMLOPT ocaml/yes_prepare_ocamlcocci.ml OCAMLC ocaml/prepare_ocamlcocci.mli OCAMLOPT ocaml/prepare_ocamlcocci.ml OCAMLC ocaml/run_ocamlcocci.mli OCAMLOPT ocaml/run_ocamlcocci.ml OCAMLOPT -o ocaml/ocaml.cmxa OCAMLC python/pycocci_aux.mli OCAMLOPT python/pycocci_aux.ml make -C bundles/pyml all make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml' /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pyutils.mli -o pyml-current/pyutils.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pyutils.ml -o pyml-current/pyutils.cmo /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/generate.ml -o pyml-current/generate.cmo /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g stdcompat.cma unix.cma pyml-current/pyutils.cmo pyml-current/generate.cmo -o pyml-current/generate cd pyml-current && ./generate /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pytypes.mli -o pyml-current/pytypes.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pyml_arch.mli -o pyml-current/pyml_arch.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -i pyml-current/pywrappers.ml >pyml-current/pywrappers.mli touch .prepare /usr/bin/ocamldep -I ../stdcompat -I pyml-current pyml-current/pyml_arch.mli pyml-current/pyutils.mli pyml-current/pytypes.mli pyml-current/pywrappers.mli pyml-current/py.mli pyml-current/pycaml.mli pyml-current/pyutils.ml pyml-current/pytypes.ml pyml-current/pywrappers.ml pyml-current/py.ml pyml-current/pycaml.ml >.depend make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml' cp pyml-current/pyml_arch_linux.ml pyml-current/pyml_arch.ml /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pyml_arch.ml -o pyml-current/pyml_arch.cmo /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pytypes.ml -o pyml-current/pytypes.cmo /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pywrappers.mli -o pyml-current/pywrappers.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pywrappers.ml -o pyml-current/pywrappers.cmo /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/py.mli -o pyml-current/py.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/py.ml -o pyml-current/py.cmo /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pycaml.mli -o pyml-current/pycaml.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pycaml.ml -o pyml-current/pycaml.cmo /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -custom -cclib -lpyml_stubs -a pyml-current/pyml_arch.cmo pyml-current/pyutils.cmo pyml-current/pytypes.cmo pyml-current/pywrappers.cmo pyml-current/py.cmo pyml-current/pycaml.cmo -o pyml-current/pyml.cma cp pyml-current/pyml.cma pyml.cma cp pyml-current/pywrappers.cmi pywrappers.cmi cp pyml-current/py.cmi py.cmi cp pyml-current/pycaml.cmi pycaml.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -ccopt -fPIC pyml-current/pyml_stubs.c -o pyml-current/pyml_stubs.o mv pyml_stubs.o pyml-current/pyml_stubs.o /usr/bin/ocamlmklib -linkall -o pyml-current/pyml_stubs pyml-current/pyml_stubs.o cp pyml-current/libpyml_stubs.a libpyml_stubs.a cp pyml-current/dllpyml_stubs.so dllpyml_stubs.so make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml' make -C bundles/pyml all.opt make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml' /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pyutils.ml -o pyml-current/pyutils.cmx /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/generate.ml -o pyml-current/generate.cmx /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g stdcompat.cmxa unix.cmxa pyml-current/pyutils.cmx pyml-current/generate.cmx -o pyml-current/generate cd pyml-current && ./generate /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -i pyml-current/pywrappers.ml >pyml-current/pywrappers.mli touch .prepare /usr/bin/ocamldep -I ../stdcompat -I pyml-current pyml-current/pyml_arch.mli pyml-current/pyutils.mli pyml-current/pytypes.mli pyml-current/pywrappers.mli pyml-current/py.mli pyml-current/pycaml.mli pyml-current/pyml_arch.ml pyml-current/pyutils.ml pyml-current/pytypes.ml pyml-current/pywrappers.ml pyml-current/py.ml pyml-current/pycaml.ml >.depend make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml' /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pyml_arch.ml -o pyml-current/pyml_arch.cmx /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pytypes.ml -o pyml-current/pytypes.cmx /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pywrappers.mli -o pyml-current/pywrappers.cmi /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pywrappers.ml -o pyml-current/pywrappers.cmx /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/py.ml -o pyml-current/py.cmx /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g -c pyml-current/pycaml.ml -o pyml-current/pycaml.cmx /usr/bin/ocamlopt.opt -I ../stdcompat -I pyml-current -unsafe-string -g -cclib -lpyml_stubs -a pyml-current/pyml_arch.cmx pyml-current/pyutils.cmx pyml-current/pytypes.cmx pyml-current/pywrappers.cmx pyml-current/py.cmx pyml-current/pycaml.cmx -o pyml-current/pyml.cmxa cp pyml-current/pyml.cmxa pyml.cmxa cp pyml-current/pywrappers.cmx pywrappers.cmx cp pyml-current/py.cmx py.cmx cp pyml-current/pycaml.cmx pycaml.cmx cp pyml-current/pyml.a pyml.a cp pyml-current/pywrappers.cmi pywrappers.cmi /usr/bin/ocamlc.opt -unsafe-string -g -I ../stdcompat -I pyml-current -unsafe-string -g -ccopt -fPIC pyml-current/pyml_stubs.c -o pyml-current/pyml_stubs.o mv pyml_stubs.o pyml-current/pyml_stubs.o /usr/bin/ocamlmklib -linkall -o pyml-current/pyml_stubs pyml-current/pyml_stubs.o cp pyml-current/libpyml_stubs.a libpyml_stubs.a cp pyml-current/dllpyml_stubs.so dllpyml_stubs.so make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/bundles/pyml' OCAMLC python/yes_pycocci.mli OCAMLOPT python/yes_pycocci.ml OCAMLC python/pycocci.mli OCAMLOPT python/pycocci.ml OCAMLOPT -o python/python.cmxa OCAMLC engine/flag_matcher.mli OCAMLOPT engine/flag_matcher.ml OCAMLC engine/lib_engine.mli OCAMLOPT engine/lib_engine.ml OCAMLC engine/pretty_print_engine.mli OCAMLOPT engine/pretty_print_engine.ml OCAMLC engine/check_exhaustive_pattern.mli OCAMLOPT engine/check_exhaustive_pattern.ml OCAMLC engine/check_reachability.mli OCAMLOPT engine/check_reachability.ml OCAMLC engine/c_vs_c.mli OCAMLOPT engine/c_vs_c.ml OCAMLC engine/isomorphisms_c_c.mli OCAMLOPT engine/isomorphisms_c_c.ml OCAMLC engine/cocci_vs_c.mli OCAMLOPT engine/cocci_vs_c.ml OCAMLC engine/pattern_c.mli OCAMLOPT engine/pattern_c.ml OCAMLC engine/transformation_c.mli OCAMLOPT engine/transformation_c.ml OCAMLC engine/asttomember.mli OCAMLOPT engine/asttomember.ml OCAMLC engine/asttoctl2.mli OCAMLOPT engine/asttoctl2.ml OCAMLC engine/ctltotex.mli OCAMLOPT engine/ctltotex.ml OCAMLC engine/postprocess_transinfo.mli OCAMLOPT engine/postprocess_transinfo.ml OCAMLC engine/ctlcocci_integration.mli OCAMLOPT engine/ctlcocci_integration.ml OCAMLOPT -o engine/engine.cmxa OCAMLC popl09/ast_popl.mli OCAMLOPT popl09/ast_popl.ml OCAMLC popl09/asttopopl.mli OCAMLOPT popl09/asttopopl.ml OCAMLC popl09/insert_quantifiers.mli OCAMLOPT popl09/insert_quantifiers.ml OCAMLC popl09/pretty_print_popl.mli OCAMLOPT popl09/pretty_print_popl.ml OCAMLC popl09/flag_popl.mli OCAMLOPT popl09/flag_popl.ml OCAMLC popl09/popltoctl.mli OCAMLOPT popl09/popltoctl.ml OCAMLC popl09/popl.mli OCAMLOPT popl09/popl.ml OCAMLOPT -o popl09/popl09.cmxa OCAMLC extra/classic_patch.mli OCAMLOPT extra/classic_patch.ml OCAMLC extra/kbuild.mli OCAMLOPT extra/kbuild.ml OCAMLC extra/maintainers.mli OCAMLOPT extra/maintainers.ml OCAMLOPT -o extra/extra.cmxa OCAMLC flag_cocci.mli OCAMLOPT flag_cocci.ml OCAMLC cocci.mli OCAMLOPT cocci.ml OCAMLC testing.mli OCAMLOPT testing.ml OCAMLC read_options.mli OCAMLOPT read_options.ml OCAMLC enter.mli OCAMLOPT enter.ml OCAMLC main.mli OCAMLOPT main.ml OCAMLOPT -o spatch.opt OCAMLC tools/spgen/source/globals.mli OCAMLOPT tools/spgen/source/globals.ml OCAMLC tools/spgen/source/ast_tostring.mli OCAMLOPT tools/spgen/source/ast_tostring.ml OCAMLC tools/spgen/source/detect_patch.mli OCAMLOPT tools/spgen/source/detect_patch.ml OCAMLC tools/spgen/source/meta_variable.mli OCAMLOPT tools/spgen/source/meta_variable.ml OCAMLC tools/spgen/source/snapshot.mli OCAMLOPT tools/spgen/source/snapshot.ml OCAMLC tools/spgen/source/user_input.mli OCAMLOPT tools/spgen/source/user_input.ml OCAMLC tools/spgen/source/position_generator.mli OCAMLOPT tools/spgen/source/position_generator.ml OCAMLC tools/spgen/source/disj_generator.mli OCAMLOPT tools/spgen/source/disj_generator.ml OCAMLC tools/spgen/source/rule_body.mli OCAMLOPT tools/spgen/source/rule_body.ml OCAMLC tools/spgen/source/rule_header.mli OCAMLOPT tools/spgen/source/rule_header.ml OCAMLC tools/spgen/source/context_rule.mli OCAMLOPT tools/spgen/source/context_rule.ml OCAMLC tools/spgen/source/script_rule.mli OCAMLOPT tools/spgen/source/script_rule.ml OCAMLC tools/spgen/source/file_transform.mli OCAMLOPT tools/spgen/source/file_transform.ml OCAMLC tools/spgen/source/spgen_interactive.mli OCAMLOPT tools/spgen/source/spgen_interactive.ml OCAMLC tools/spgen/source/spgen_lexer.mli OCAMLLEX tools/spgen/source/spgen_lexer.mll 143 states, 8123 transitions, table size 33350 bytes 23641 additional bytes used for bindings OCAMLOPT tools/spgen/source/spgen_lexer.ml OCAMLC tools/spgen/source/spgen_config.mli OCAMLOPT tools/spgen/source/spgen_config.ml OCAMLC tools/spgen/source/spgen.mli OCAMLOPT tools/spgen/source/spgen.ml OCAMLC tools/spgen/source/spgen_test.mli OCAMLOPT tools/spgen/source/spgen_test.ml OCAMLC tools/spgen/source/main.mli OCAMLOPT tools/spgen/source/main.ml OCAMLOPT -o tools/spgen/source/spgen.opt cp parsing_c/token_c.cmi ocaml/token_c.cmi cp parsing_c/ast_c.cmi ocaml/ast_c.cmi cp parsing_c/parse_c.cmi ocaml/parse_c.cmi cp parsing_c/parser_c.cmi ocaml/parser_c.cmi cp parsing_c/lexer_c.cmi ocaml/lexer_c.cmi cp parsing_c/pretty_print_c.cmi ocaml/pretty_print_c.cmi cp parsing_c/lib_parsing_c.cmi ocaml/lib_parsing_c.cmi cp parsing_c/visitor_c.cmi ocaml/visitor_c.cmi cp globals/regexp.cmi ocaml/regexp.cmi cp globals/config.cmi ocaml/config.cmi cp globals/flag.cmi ocaml/flag.cmi cp parsing_c/flag_parsing_c.cmi ocaml/flag_parsing_c.cmi cp globals/iteration.cmi ocaml/iteration.cmi cp commons/commands.cmi ocaml/commands.cmi cp commons/common.cmi ocaml/common.cmi cp parsing_cocci/ast_cocci.cmi ocaml/ast_cocci.cmi cp parsing_cocci/ast0_cocci.cmi ocaml/ast0_cocci.cmi cp commons/ocamlextra/dumper.cmi ocaml/dumper.cmi OCAMLC parsing_c/token_c.ml cp parsing_c/token_c.cmo ocaml/token_c.cmo OCAMLC parsing_c/ast_c.ml cp parsing_c/ast_c.cmo ocaml/ast_c.cmo OCAMLC parsing_c/parse_c.ml cp parsing_c/parse_c.cmo ocaml/parse_c.cmo OCAMLC parsing_c/parser_c.ml cp parsing_c/parser_c.cmo ocaml/parser_c.cmo OCAMLC parsing_c/lexer_c.ml cp parsing_c/lexer_c.cmo ocaml/lexer_c.cmo OCAMLC parsing_c/pretty_print_c.ml cp parsing_c/pretty_print_c.cmo ocaml/pretty_print_c.cmo OCAMLC parsing_c/lib_parsing_c.ml cp parsing_c/lib_parsing_c.cmo ocaml/lib_parsing_c.cmo OCAMLC parsing_c/visitor_c.ml cp parsing_c/visitor_c.cmo ocaml/visitor_c.cmo OCAMLC globals/regexp.ml cp globals/regexp.cmo ocaml/regexp.cmo OCAMLC globals/config.ml cp globals/config.cmo ocaml/config.cmo OCAMLC globals/flag.ml cp globals/flag.cmo ocaml/flag.cmo OCAMLC parsing_c/flag_parsing_c.ml cp parsing_c/flag_parsing_c.cmo ocaml/flag_parsing_c.cmo OCAMLC globals/iteration.ml cp globals/iteration.cmo ocaml/iteration.cmo OCAMLC commons/commands.ml cp commons/commands.cmo ocaml/commands.cmo OCAMLC commons/common.ml cp commons/common.cmo ocaml/common.cmo OCAMLC parsing_cocci/ast_cocci.ml cp parsing_cocci/ast_cocci.cmo ocaml/ast_cocci.cmo OCAMLC parsing_cocci/ast0_cocci.ml cp parsing_cocci/ast0_cocci.cmo ocaml/ast0_cocci.cmo OCAMLC commons/ocamlextra/dumper.ml cp commons/ocamlextra/dumper.cmo ocaml/dumper.cmo cp parsing_c/token_c.cmx ocaml/token_c.cmx cp parsing_c/ast_c.cmx ocaml/ast_c.cmx cp parsing_c/parse_c.cmx ocaml/parse_c.cmx cp parsing_c/parser_c.cmx ocaml/parser_c.cmx cp parsing_c/lexer_c.cmx ocaml/lexer_c.cmx cp parsing_c/pretty_print_c.cmx ocaml/pretty_print_c.cmx cp parsing_c/lib_parsing_c.cmx ocaml/lib_parsing_c.cmx cp parsing_c/visitor_c.cmx ocaml/visitor_c.cmx cp globals/regexp.cmx ocaml/regexp.cmx cp globals/config.cmx ocaml/config.cmx cp globals/flag.cmx ocaml/flag.cmx cp parsing_c/flag_parsing_c.cmx ocaml/flag_parsing_c.cmx cp globals/iteration.cmx ocaml/iteration.cmx cp commons/commands.cmx ocaml/commands.cmx cp commons/common.cmx ocaml/common.cmx cp parsing_cocci/ast_cocci.cmx ocaml/ast_cocci.cmx cp parsing_cocci/ast0_cocci.cmx ocaml/ast0_cocci.cmx cp commons/ocamlextra/dumper.cmx ocaml/dumper.cmx cp /builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap/parmap.cmi ocaml/parmap.cmi if test -f /builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap/parmap.cmx; then \ cp /builddir/build/BUILD/coccinelle-1.0.7/bundles/parmap/parmap.cmx ocaml/parmap.cmx; \ fi make -C docs make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/docs' make -C manual all make[2]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/docs/manual' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/docs/manual' make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/docs' make docs -C tools/spgen/documentation make[1]: Entering directory '/builddir/build/BUILD/coccinelle-1.0.7/tools/spgen/documentation' make[1]: Nothing to be done for 'docs'. make[1]: Leaving directory '/builddir/build/BUILD/coccinelle-1.0.7/tools/spgen/documentation' rm parsing_cocci/lexer_cli.ml parsing_cocci/parser_cocci_menhir.ml.d tools/spgen/source/spgen_lexer.ml parsing_cocci/parser_cocci_menhir.mli.d parsing_cocci/lexer_script.ml parsing_cocci/lexer_cocci.ml parsing_c/lexer_c.ml + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.q7mKUV + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386 + cd coccinelle-1.0.7 + make DESTDIR=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386 install mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/ocaml if test -f bundles/pyml/dllpyml_stubs.so; then \ /usr/bin/install -c -m 755 bundles/pyml/dllpyml_stubs.so \ /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib; \ fi if test -f bundles/pcre/dllpcre_stubs.so; then \ /usr/bin/install -c -m 755 bundles/pcre/dllpcre_stubs.so \ /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib; \ fi /usr/bin/install -c -m 755 spatch.opt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spatch /usr/bin/install -c -m 644 standard.h /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib /usr/bin/install -c -m 644 standard.iso /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib /usr/bin/install -c -m 644 ocaml/*.cmi /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/ocaml/ /usr/bin/install -c -m 644 ocaml/*.cmx /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/ocaml/ /usr/bin/install -c -m 755 tools/spgen/source/spgen.opt \ /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spgen mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/*.py \ /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python/coccilib /usr/bin/install -c -m 644 python/coccilib/coccigui/*.py \ /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/coccigui/pygui.glade \ /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/coccigui/pygui.gladep \ /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python/coccilib/coccigui if test "x/usr/share/bash-completion/completions" != "xno"; then \ mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/bash-completion/completions; \ /usr/bin/install -c -m 644 scripts/spatch.bash_completion \ /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/bash-completion/completions/spatch; \ fi mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/man/man1 mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/man/man3 /usr/bin/install -c -m 644 docs/spatch.1 /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/man/man1/ /usr/bin/install -c -m 644 docs/pycocci.1 /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/man/man1/ /usr/bin/install -c -m 644 docs/spgen.1 /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/man/man1/ /usr/bin/install -c -m 644 docs/Coccilib.3cocci /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/man/man3/ + rm -f /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spatch.byte + rm -f /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spatch.opt + pushd /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib ~/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib ~/build/BUILD/coccinelle-1.0.7 + mkdir coccinelle + mkdir coccinelle/ocaml + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f standard.h ']' + mv standard.h coccinelle/standard.h + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f standard.iso ']' + mv standard.iso coccinelle/standard.iso + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch.byte ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f spatch.opt ']' + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast0_cocci.cmi ']' + mv ocaml/ast0_cocci.cmi coccinelle/ocaml/ast0_cocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast_c.cmi ']' + mv ocaml/ast_c.cmi coccinelle/ocaml/ast_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ast_cocci.cmi ']' + mv ocaml/ast_cocci.cmi coccinelle/ocaml/ast_cocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/coccilib.cmi ']' + mv ocaml/coccilib.cmi coccinelle/ocaml/coccilib.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/commands.cmi ']' + mv ocaml/commands.cmi coccinelle/ocaml/commands.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/common.cmi ']' + mv ocaml/common.cmi coccinelle/ocaml/common.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/config.cmi ']' + mv ocaml/config.cmi coccinelle/ocaml/config.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/dumper.cmi ']' + mv ocaml/dumper.cmi coccinelle/ocaml/dumper.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/exposed_modules.cmi ']' + mv ocaml/exposed_modules.cmi coccinelle/ocaml/exposed_modules.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/externalanalysis.cmi ']' + mv ocaml/externalanalysis.cmi coccinelle/ocaml/externalanalysis.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/flag.cmi ']' + mv ocaml/flag.cmi coccinelle/ocaml/flag.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/flag_parsing_c.cmi ']' + mv ocaml/flag_parsing_c.cmi coccinelle/ocaml/flag_parsing_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/iteration.cmi ']' + mv ocaml/iteration.cmi coccinelle/ocaml/iteration.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/lexer_c.cmi ']' + mv ocaml/lexer_c.cmi coccinelle/ocaml/lexer_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/lib_parsing_c.cmi ']' + mv ocaml/lib_parsing_c.cmi coccinelle/ocaml/lib_parsing_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/ocamlcocci_aux.cmi ']' + mv ocaml/ocamlcocci_aux.cmi coccinelle/ocaml/ocamlcocci_aux.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parmap.cmi ']' + mv ocaml/parmap.cmi coccinelle/ocaml/parmap.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parse_c.cmi ']' + mv ocaml/parse_c.cmi coccinelle/ocaml/parse_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/parser_c.cmi ']' + mv ocaml/parser_c.cmi coccinelle/ocaml/parser_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/prepare_ocamlcocci.cmi ']' + mv ocaml/prepare_ocamlcocci.cmi coccinelle/ocaml/prepare_ocamlcocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/pretty_print_c.cmi ']' + mv ocaml/pretty_print_c.cmi coccinelle/ocaml/pretty_print_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/regexp.cmi ']' + mv ocaml/regexp.cmi coccinelle/ocaml/regexp.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/run_ocamlcocci.cmi ']' + mv ocaml/run_ocamlcocci.cmi coccinelle/ocaml/run_ocamlcocci.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/token_c.cmi ']' + mv ocaml/token_c.cmi coccinelle/ocaml/token_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/visitor_c.cmi ']' + mv ocaml/visitor_c.cmi coccinelle/ocaml/visitor_c.cmi + for f in standard.h standard.iso spatch spatch.byte spatch.opt ocaml/*.cmi + '[' -f ocaml/yes_prepare_ocamlcocci.cmi ']' + mv ocaml/yes_prepare_ocamlcocci.cmi coccinelle/ocaml/yes_prepare_ocamlcocci.cmi + popd ~/build/BUILD/coccinelle-1.0.7 + mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python3.7/site-packages + mv /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python/coccilib /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python3.7/site-packages + rmdir /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python + pushd /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib ~/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib ~/build/BUILD/coccinelle-1.0.7 + mkdir ocaml/stublibs + mv dllpyml_stubs.so ocaml/stublibs + popd ~/build/BUILD/coccinelle-1.0.7 + mv /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spatch /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle + cp tools/pycocci /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/ + cp scripts/spatch.sh /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spatch + chmod a+x /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spatch + /usr/lib/rpm/find-debuginfo.sh -j6 --strict-build-id -m -i --build-id-seed 1.0.7-6.fc30 --unique-debug-suffix -1.0.7-6.fc30.i386 --unique-debug-src-base coccinelle-1.0.7-6.fc30.i386 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/coccinelle-1.0.7 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/ocaml/stublibs/dllpyml_stubs.so explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/spatch explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spgen extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/spatch extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/ocaml/stublibs/dllpyml_stubs.so extracting debug info from /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/bin/spgen /usr/lib/rpm/sepdebugcrcfix: Updated 3 CRC32s, 0 CRC32s did match. BUILDSTDERR: cpio: buffer.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/parmap/filename.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/parmap/list.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/parmap/printf.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/buffer.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/bytes.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/filename.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/hashtbl.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/list.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/printf.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/stdcompat__option.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/stdlib.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bundles/pyml/string.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: bytes.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: filename.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: format.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: hashtbl.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: lexing.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: list.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: map.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: marshal.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: otherlibs/dynlink/natdynlink.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: parmap/parmap.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: parsing_c/lexer_c.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: parsing_cocci/lexer_cli.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: parsing_cocci/lexer_cocci.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: parsing_cocci/lexer_script.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: printf.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: pyml-current/py.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: pyml-current/pyutils.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: random.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: set.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: stdlib.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: str.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: string.ml: Cannot stat: No such file or directory BUILDSTDERR: cpio: tools/spgen/source/spgen_lexer.ml: Cannot stat: No such file or directory BUILDSTDERR: 16791 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 0 Bytecompiling .py files below /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python3.7 using /usr/bin/python3.7 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs mangling shebang in /usr/bin/spatch from /bin/sh -e to #!/usr/bin/sh -e Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.URdM7d + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.7 + export COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle + COCCINELLE_HOME=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle + spatch=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/spatch + export LD_LIBRARY_PATH=. + LD_LIBRARY_PATH=. + export PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python3.7/site-packages: + PYTHONPATH=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/python3.7/site-packages: + /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/spatch --help Usage: spatch --sp-file [-o ] [--iso-file ] [options] Options are: main options ----------------------------------------------------------------------- --sp-file the semantic patch file -o the output file --in-place do the modification on the file directly (backup file name specified with --suffix) --suffix suffix to use when making a backup for inplace or for result of --out-place --out-place store modifications in a .cocci_res file (renamable via --suffix) --reverse invert the semantic patch before applying it -U set number of diff context lines --partial-match report partial matches of the SP on the C file --iso-file (default=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/standard.iso) --macro-file --macro-file-builtins (default=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/standard.h) --recursive-includes causes all available include files, both those included in the C file(s) and those included in header files, to be used --all-includes causes all available include files included in the C file(s) to be used --no-includes causes not even local include files to be used --local-includes causes local include files to be used --include-headers-for-types use only type information from header files --no-include-cache don't cache parsed include files --ignore-unknown-options For integration in a toolchain (must be set before the first unknown option) --include-headers process header files independently -I containing the header files --include file to consider as being included --preprocess run the C preprocessor before applying the semantic match -c gcc/cpp compatibility mode --dir process all files in directory recursively --ignore specify a file name prefix to ignore --file-groups process the file groups listed in the file --no-scanner no indexing --use-gitgrep works with -dir, works on git tree subdirectories --use-glimpse works with -dir, use info generated by glimpseindex --use-idutils find relevant files using id-utils --use-coccigrep find relevant files using cocci grep --patch path name with respect to which a patch should be created "" for a file in the current directory --kbuild-info improve -dir by grouping related c files --python Sets the path to the python interpreter --pyoutput Sets output routine: Standard values: --parse-handler Loads the file containing the OCaml code in charge of parse errors reporting --print-options-only print selected options and exit --version print version and build info --date guess what --shorthelp see short list of options --longhelp see all the available options in different categories aliases and obsolete options ----------------------------------------------------------------------- --sp command line semantic patch --iso short option of --iso-file --cocci-file the semantic patch file most useful show options ----------------------------------------------------------------------- --show-diff --no-show-diff --force-diffshow diff even if only spacing changes --show-flow --ctl-inline-let --ctl-show-mcodekind --show-bindings --show-transinfo --show-misc --show-trying show the name of each function being processed --show-dependencies show the dependencies related to each rule verbose subsystems options ----------------------------------------------------------------------- --verbose-ctl-engine --verbose-match --verbose-engine --graphical-trace generate a pdf file representing the matching process --gt-without-label remove graph label (requires option -graphical-trace) --parse-error-msg --verbose-parsing --verbose-includes show on stderr which files are chosen for inclusion --type-error-msg other show options ----------------------------------------------------------------------- --show-c --show-cocci --show-before-fixed-flow --show-ctl-tex --show-ctl-text --show-SP debug C parsing/unparsing ----------------------------------------------------------------------- --debug-cpp --debug-lexer --debug-etdt --debug-typedef --filter-msg filter some cpp message when the macro is a "known" cpp construct --filter-define-error --filter-msg-define-error filter the error msg --filter-passed-level --debug-unparsing --debug-parse-cocci shortcut for enabling/disabling a set of debugging options at once ----------------------------------------------------------------------- --quiet --very-quiet --debug --pad bench options ----------------------------------------------------------------------- --profile gather timing information about the main coccinelle functions --profile-per-file gather timing information for each file (implies --profile) --bench for profiling the CTL engine --timeout timeout in seconds, 0 for no timeout --steps max number of model checking steps per code unit --iso-limit max depth of iso application --no-iso-limit disable limit on max depth of iso application --track-iso gather information about isomorphism usage --disable-iso disable a specific isomorphism --profile-iso gather information about the cost of isomorphism usage change of algorithm options ----------------------------------------------------------------------- --keep-comments keep comments around removed code --loop --no-loops drop all back edges derived from looping constructs - unsafe --no-gotos drop all jumps derived from gotos - unsafe --no-saved-typedefs drop all inferred typedefs from one parse of some code to the next --ocaml-regexps use OCaml Str regular expressions for constraints --l1 --ifdef-to-if convert ifdef to if (experimental) --no-ifdef-to-if convert ifdef to if (experimental) --disable-multi-pass --noif0-passing --itu Experimental extensions for handling #ifdef developed at ITU.dk --defined treat cpp symbol as defined in #ifdef --undefined treat cpp symbol as undefined in #ifdef --noadd-typedef-root --disallow-nested-exps disallow an expresion pattern from matching a term and its subterm --disable-worth-trying-opt run the semantic patch even if the C file contains no relevant tokens --selected-only only show selected files --only-return-is-error-exit if this flag is not set, then break and continue are also error exits --allow-inconsistent-paths if this flag is set don't check for inconsistent paths; dangerous --no-safe-expressions make an expression disjunction not prioritise the topmost disjunct --int-bits the number of bits in an unsigned int --long-bits the number of bits in an unsigned long --linux-spacing spacing of + code follows the conventions of Linux --smpl-spacing spacing of + code follows the semantic patch --indent default indent, in spaces (no tabs) --max-width column limit for generated code -D indicate that a virtual rule should be considered to be matched --c++ make a small attempt to parse C++ files --ibm make a small attempt to parse IBM C files --force-kr despite the presence of non-K&R code, keep looking for K&R code --prevent-kr never make an identifier parameter alone into a K&R parameter misc options ----------------------------------------------------------------------- --debugger option to set if launch spatch in ocamldebug --disable-once to print more messages --show-trace-profile show trace --save-tmp-files --external-analysis-file import results from an external analysis concurrency ----------------------------------------------------------------------- --index the processor to use for this run of spatch --max the number of processors available --mod-distrib use mod to distribute files among the processors --jobs the number of processes to be used -j the number of processes to be used --chunksize the size of work chunks for parallelism --tmp-dir prefix of temporary directories for parallelism --temp-files prefix of temporary directory for cocci files pad options ----------------------------------------------------------------------- --use-cache use .ast_raw pre-parsed cached C file --cache-prefix directory of cached ASTs, sets --use-cache --cache-limit maximum number of cached ASTs, sets --use-cache test mode and test options (works with tests/ or .ok files) ----------------------------------------------------------------------- The test options don't work with the --sp-file and so on. --test launch spatch on tests/file.[c,cocci] --testall launch spatch on all files in tests/ having a .res --test-spacing check that the result matches the .res file exactly --test-okfailed generates .{ok,failed,spatch_ok} files using .res files --test-regression-okfailed process the .{ok,failed,spatch_ok} files in current dir --compare-with-expected use also file.res --expected-score-file which score file to compare with in --testall --expected-spacing-score-file which score file to compare with in --test-spacing --no-update-score-file do not update the score file when -testall succeeds --relax-include-path action mode ----------------------------------------------------------------------- The action options don't work with the --sp-file and so on. It's for the other (internal) uses of the spatch program. --tokens-c --parse-c --parse-h --parse-ch --parse-i --parse-c++ --parse --show-flow --control-flow --control-flow-to-file --test-cfg-ifdef --parse-unparse --type-c --compare-c --comment-annotater-c --compare-c-hardcoded --test-attributes --test-cpp --extract-macros --extract-macros-select --xxx <> --parse-cocci --rule-dependencies --compare-c + /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/spatch -sp_file demos/simple.cocci demos/simple.c BUILDSTDERR: init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/standard.h BUILDSTDERR: HANDLING: demos/simple.c BUILDSTDERR: diff = --- demos/simple.c +++ /tmp/cocci-output-14462-2f594d-simple.c @@ -1,4 +1,4 @@ int main(int i) { - f("ca va"); - f(g("ca va pas")); + f("ca va", 3); + f(g("ca va pas"), 3); } + /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/spatch --sp-file /builddir/build/SOURCES/testpy.cocci /builddir/build/SOURCES/test.c BUILDSTDERR: init_defs_builtins: /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/lib/coccinelle/standard.h BUILDSTDERR: HANDLING: /builddir/build/SOURCES/test.c Hello World! + exit 0 Processing files: coccinelle-1.0.7-6.fc30.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.oH5JDw + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.7 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle + cp -pr authors.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle + cp -pr bugs.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle + cp -pr changes.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle + cp -pr credits.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle + cp -pr install.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle + cp -pr readme.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.UbFbcP + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.7 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/licenses/coccinelle + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/licenses/coccinelle + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/licenses/coccinelle + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/licenses/coccinelle + exit 0 Provides: bundled(ocaml-parmap) bundled(ocaml-pycaml) coccinelle = 1.0.7-6.fc30 coccinelle(x86-32) = 1.0.7-6.fc30 ocaml(Ast0_cocci) = 0f029677ec4e17dbadff0cd5bb29be3d ocaml(Ast_c) = ce6d1adca511bcf06a1919db492cb47e ocaml(Ast_cocci) = 4315936e3336eedfede1f4046a4ad0ad ocaml(Coccilib) = cbe0786fdd232958f844da02b2b3df5d ocaml(Commands) = 154ca21de19ca7282b1d882f1081cc14 ocaml(Common) = f806ae4f99bcdbea96a894575edb5ed0 ocaml(Config) = f183237026f425cfe3c5f92977c714ff ocaml(Dumper) = fcdd49128e26f5c893e395feb251c422 ocaml(Exposed_modules) = e18108307cef1d061191e3874976ef2b ocaml(Externalanalysis) = 2592dc3a34bc3e40725011ce70e2e8b4 ocaml(Flag) = 786f1544c00169e874a394fc27611d1a ocaml(Flag_parsing_c) = 6a68167df6f4e8b2de5b002bca593479 ocaml(Iteration) = 9a85fc047cbc39d873797421d55e1d64 ocaml(Lexer_c) = 96a3828a8a4e007394cdefe35ab1c51f ocaml(Lib_parsing_c) = e838a9c92c8441f28832cef6b53ed452 ocaml(Ocamlcocci_aux) = 3434a7409475b7f6f3dbb4304d4332a8 ocaml(Parmap) = 6aba58f1d8abd619f70f582d6b72fbba ocaml(Parse_c) = 9f098d8d37dce7b5a9bafd8e0dee1066 ocaml(Parser_c) = 97b5fe25ed2437eddf4c5a01aef269f9 ocaml(Prepare_ocamlcocci) = 35249c726124fabd6bf232ff68542b2c ocaml(Pretty_print_c) = b1cfd0694786b152173a5dad937a6f83 ocaml(Regexp) = 022b02e38505b54c5d7f62d5d6bce648 ocaml(Run_ocamlcocci) = 639664b3284485965730f6130803d666 ocaml(Token_c) = 3a243dc21846481b8ab384015e31f359 ocaml(Visitor_c) = a79bf93878238f1fec38f94e50382b97 ocaml(Yes_prepare_ocamlcocci) = 4ae7168d7aad34ab3d88bdee9ad62323 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PartialHardlinkSets) <= 4.0.4-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /usr/bin/python3 /usr/bin/sh libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.1.2) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.10) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.16) libc.so.6(GLIBC_2.17) libc.so.6(GLIBC_2.2) libc.so.6(GLIBC_2.28) libc.so.6(GLIBC_2.3) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.7) libc.so.6(GLIBC_2.9) libdl.so.2 libdl.so.2(GLIBC_2.0) libdl.so.2(GLIBC_2.1) libm.so.6 libm.so.6(GLIBC_2.0) libm.so.6(GLIBC_2.1) libm.so.6(GLIBC_2.29) libpcre.so.1 ocaml(CamlinternalFormatBasics) = 7ea79e608e46b41c80c3251773e6fdf3 ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb ocaml(Stdlib__arg) = 427a32ba894b2729b4053bd61ec3bc12 ocaml(Stdlib__bigarray) = fde4e26503108d041547c9eef855a5fa ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba ocaml(Stdlib__complex) = d4688bd6236fccf33550a083ea8e768f ocaml(Stdlib__hashtbl) = 682884027fa100c01983d89cfc4eaf69 ocaml(Stdlib__lazy) = e6d072b84e6160ffef0b04b417bf1f72 ocaml(Stdlib__lexing) = 4ca35ee6f83c87fbf3d6a22e3555e3ce ocaml(Stdlib__map) = c1f5b25c1463fcd9b8448c396d451c2e ocaml(Stdlib__marshal) = c911b03d32659414e14cc02734715916 ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53 ocaml(Stdlib__set) = ee3121b3672ab195758de1ce2e925022 ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a ocaml(Str) = b0d96d5e51e6d5985ff4b5aadeb6a882 ocaml(Unix) = e5f3d189d40891229c2283728e203e8a ocaml(runtime) = 4.07.0 python(abi) = 3.7 rtld(GNU_HASH) Processing files: coccinelle-bash-completion-1.0.7-6.fc30.noarch Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.flksAd + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.7 + LICENSEDIR=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/licenses/coccinelle-bash-completion + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/licenses/coccinelle-bash-completion + cp -pr license.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/licenses/coccinelle-bash-completion + cp -pr copyright.txt /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/licenses/coccinelle-bash-completion + exit 0 Provides: coccinelle-bash-completion = 1.0.7-6.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: coccinelle-doc-1.0.7-6.fc30.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.Xr0f5B + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.7 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle-doc + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle-doc + cp -pr docs /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle-doc + exit 0 Provides: coccinelle-doc = 1.0.7-6.fc30 coccinelle-doc(x86-32) = 1.0.7-6.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: coccinelle-examples-1.0.7-6.fc30.i686 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.lb3il1 + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.7 + DOCDIR=/builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle-examples + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle-examples + cp -pr demos /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386/usr/share/doc/coccinelle-examples + exit 0 Provides: coccinelle-examples = 1.0.7-6.fc30 coccinelle-examples(x86-32) = 1.0.7-6.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: coccinelle-debugsource-1.0.7-6.fc30.i686 Provides: coccinelle-debugsource = 1.0.7-6.fc30 coccinelle-debugsource(x86-32) = 1.0.7-6.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: coccinelle-debuginfo-1.0.7-6.fc30.i686 Provides: coccinelle-debuginfo = 1.0.7-6.fc30 coccinelle-debuginfo(x86-32) = 1.0.7-6.fc30 debuginfo(build-id) = 30dfad1f432e28095ac79eb8ca5eaa7b79ebd38f debuginfo(build-id) = 583bd927afe9e39ebb77978245d86ac4d0bafb8e debuginfo(build-id) = 6992f89eb8ea8936d21dbba0781744e1a99dc244 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: coccinelle-debugsource(x86-32) = 1.0.7-6.fc30 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386 Wrote: /builddir/build/RPMS/coccinelle-1.0.7-6.fc30.i686.rpm Wrote: /builddir/build/RPMS/coccinelle-bash-completion-1.0.7-6.fc30.noarch.rpm Wrote: /builddir/build/RPMS/coccinelle-doc-1.0.7-6.fc30.i686.rpm Wrote: /builddir/build/RPMS/coccinelle-examples-1.0.7-6.fc30.i686.rpm Wrote: /builddir/build/RPMS/coccinelle-debugsource-1.0.7-6.fc30.i686.rpm Wrote: /builddir/build/RPMS/coccinelle-debuginfo-1.0.7-6.fc30.i686.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.ETuHrH + umask 022 + cd /builddir/build/BUILD + cd coccinelle-1.0.7 + /usr/bin/rm -rf /builddir/build/BUILDROOT/coccinelle-1.0.7-6.fc30.i386 + exit 0 Child return code was: 0