gmake[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. Source /data/userland-archives/coccinelle-1.1.1.tar.gz... not found, skipping file copy Source https://github.com/coccinelle/coccinelle/archive/1.1.1.tar.gz... downloading... validating signature... skipping (no signature URL) validating hash... ok patching file scripts/setlocalversion /usr/sfw/share/aclocal/gtk.m4:7: warning: underquoted definition of AM_PATH_GTK /usr/sfw/share/aclocal/gtk.m4:7: run info Automake 'Extending aclocal' /usr/sfw/share/aclocal/gtk.m4:7: or see https://www.gnu.org/software/automake/manual/automake.html#Extending-aclocal /usr/sfw/share/aclocal/gtk.m4:7: warning: underquoted definition of AM_PATH_GTK /usr/sfw/share/aclocal/gtk.m4:7: run info Automake 'Extending aclocal' /usr/sfw/share/aclocal/gtk.m4:7: or see https://www.gnu.org/software/automake/manual/automake.html#Extending-aclocal symlink cloning /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/coccinelle-1.1.1 to /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64 configure: configuring coccinelle 1.1.1 in /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64 checking for a BSD-compatible install... /usr/gnu/bin/install -c checking whether build environment is sane... yes checking for a race-free mkdir -p... /usr/gnu/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 date... /usr/gnu/bin/date configure: version suffix set to Tue, 30 Nov 2021 09:26:09 +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 gcc... /usr/gcc/7/bin/gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether the compiler supports GNU C... yes checking whether /usr/gcc/7/bin/gcc accepts -g... yes checking for /usr/gcc/7/bin/gcc option to enable C11 features... none needed checking whether /usr/gcc/7/bin/gcc understands -c and -o together... yes checking dependency style of /usr/gcc/7/bin/gcc... none checking how to run the C preprocessor... /usr/gcc/7/bin/gcc -E checking for bash... /bin/bash checking for tar... /usr/gnu/bin/tar checking for patch... /usr/gnu/bin/patch checking for echo... /usr/gnu/bin/echo checking for patchelf... no checking for pkg-config... /usr/bin/amd64/pkg-config checking pkg-config is at least version 0.9.0... yes checking for ocamlc... /usr/bin/ocamlc OCaml version is 4.07.1 OCaml library path is /usr/lib/amd64/ocaml checking for ocamlopt... /usr/bin/ocamlopt checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for ocaml... /usr/bin/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 that the OCaml version is at least 3.12... yes checking that the OCaml version is at least 4.02... yes checking that the OCaml version is at least 4.03... yes checking for ocamllex... /usr/bin/ocamllex checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for ocamlyacc... /usr/bin/ocamlyacc checking for ocamlfind... /usr/bin/ocamlfind checking for ocamlprof... /usr/bin/ocamlprof configure: verifying basic ocaml modules configure: coccinelle may use external ocaml libraries in /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64/bundles configure: the following OCaml packages should be provided by your ocaml installation checking for OCaml findlib package unix... found checking for OCaml findlib package bigarray... found checking for OCaml findlib package str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package parmap checking for OCaml findlib package parmap... found configure: configuring package stdcompat checking for OCaml findlib package stdcompat... found configure: verifying optional features checking for menhir... no configure: menhir not found. Trying substitute /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64/bundles/menhirLib/menhir. checking for menhir... /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64/bundles/menhirLib/menhir configure: ocaml scripting has been disabled by default because the optimized version of dynlink is not available configure: configuring package pyml checking for OCaml findlib package pyml... found checking for libpcre... yes configure: configuring package pcre checking for OCaml findlib package pcre... not found configure: OCaml package pcre is not available checking for a bundled substitute of pcre... yes configure: using bundled substitute for pcre in /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64/bundles/pcre configure: support for pcre syntax is enabled checking for pdflatex... no configure: pdflatex not found. Trying substitute /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64/setup/fake-pdflatex.sh pdflatex. checking for pdflatex... /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64/setup/fake-pdflatex.sh pdflatex checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating bundles/pcre/pcre-ocaml/src/pcre.ml config.status: creating bundles/pcre/pcre-ocaml/src/pcre_stubs.c 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: CC=/usr/gcc/7/bin/gcc CXX=/usr/gcc/7/bin/g++ F77=/usr/gcc/7/bin/gfortran FC=/usr/gcc/7/bin/gfortran CFLAGS=-m64 -O3 CXXFLAGS= -m64 -O3 FFLAGS= -m64 -O3 FCFLAGS=-m64 -O3 LDFLAGS=-m64 PKG_CONFIG_PATH=/usr/openssl/1.0/lib/64/pkgconfig:/usr/lib/amd64/pkgconfig --prefix=/usr --mandir=/usr/share/man --bindir=/usr/bin --libdir=/usr/lib/amd64 --sbindir=/usr/sbin --with-python=/usr/bin/python3.9 --with-bash-completion=/usr/share/bash-completion/completions findlib: /usr/bin/ocamlfind (an actual version is strongly recommended) menhir: /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64/bundles/menhirLib/menhir (for local package use --without-menhir, install the menhir package otherwise) ocaml scripting: no (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pcre regexes: (overridable with --enable-pcre-syntax) pcre module: local (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=/jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/amd64 ./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/amd64/coccinelle/python ------------------------------------------------------------------------------ 5 states, 259 transitions, table size 1066 bytes 17 states, 1699 transitions, table size 6898 bytes 321 states, 2918 transitions, table size 13598 bytes 5980 additional bytes used for bindings 28 states, 426 transitions, table size 1872 bytes 1447 additional bytes used for bindings 80 states, 5444 transitions, table size 22256 bytes 18240 additional bytes used for bindings 13 states, 275 transitions, table size 1178 bytes 1193 additional bytes used for bindings 16 states, 675 transitions, table size 2796 bytes 16 states, 267 transitions, table size 1164 bytes 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/no_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/includes_cache.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/cocci_args.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 564 states, 26650 transitions, table size 109984 bytes 17879 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 ocamllex warning: File "parsing_cocci/lexer_cocci.mll", line 301, character 67: unescaped newline in string. 400 states, 6934 transitions, table size 30136 bytes 4105 additional bytes used for bindings 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/no_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/includes_cache.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/cocci_args.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 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 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.ml OCAMLDEP parsing_cocci/parser_cocci_menhir.mli OCAMLC parsing_cocci/parser_cocci_menhir.mli OCAMLOPT parsing_cocci/parser_cocci_menhir.ml OCAMLC parsing_cocci/lexer_cocci.mli OCAMLOPT parsing_cocci/lexer_cocci.ml OCAMLC parsing_cocci/lexer_cli.mli OCAMLOPT parsing_cocci/lexer_cli.ml OCAMLC parsing_cocci/lexer_script.mli 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 OCAMLC parsing_cocci/cocci_args.mli OCAMLOPT parsing_cocci/cocci_args.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 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/includes_cache.mli OCAMLOPT parsing_c/includes_cache.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 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 File "parsing_c/unparse_cocci.ml", line 70, characters 4-22: Warning 26: unused variable print_option_space. 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/no_prepare_ocamlcocci.mli OCAMLOPT ocaml/no_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 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 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 OCAMLC parsing_c/token_c.ml OCAMLC parsing_c/ast_c.ml OCAMLC parsing_c/parse_c.ml OCAMLC parsing_c/parser_c.ml OCAMLC parsing_c/lexer_c.ml OCAMLC parsing_c/pretty_print_c.ml OCAMLC parsing_c/lib_parsing_c.ml OCAMLC parsing_c/visitor_c.ml OCAMLC globals/regexp.ml OCAMLC globals/config.ml OCAMLC globals/flag.ml OCAMLC parsing_c/flag_parsing_c.ml OCAMLC globals/iteration.ml OCAMLC commons/commands.ml OCAMLC commons/common.ml OCAMLC parsing_cocci/ast_cocci.ml OCAMLC parsing_cocci/ast0_cocci.ml OCAMLC commons/ocamlextra/dumper.ml VALIDATING MANIFEST CONTENT: /jenkins/jobs/oi-userland/workspace/components/developer/coccinelle/build/manifest-i386-coccinelle.depend.res NEW PACKAGE CONTENTS ARE LOCALLY VALIDATED AND READY TO GO generating metadata: developer/coccinelle pkg://openindiana.org/developer/coccinelle@1.1.1,5.11-2020.0.1.0:20211130T093643Z PUBLISHED