dev-util:coccinelle-1.0.6:20170802-165528.log

dev-util:coccinelle-1.0.6:20170802-165528.log (text/plain), 18.62 KB, created by Toralf Förster on 2017-08-02 17:27:51 UTC

 * Package:    dev-util/coccinelle-1.0.6
 * Repository: gentoo
 * Maintainer: [e-mail] [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt pcre python_targets_python2_7 userland_GNU
 * FEATURES:   network-sandbox preserve-libs userpriv
>>> Unpacking source...
>>> Unpacking coccinelle-1.0.6.tgz to /var/tmp/portage/dev-util/coccinelle-1.0.6/work
>>> Source unpacked in /var/tmp/portage/dev-util/coccinelle-1.0.6/work
>>> Preparing source in /var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6 ...
./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --disable-dependency-tracking --disable-silent-rules --docdir=/usr/share/doc/coccinelle-1.0.6 --htmldir=/usr/share/doc/coccinelle-1.0.6/html --libdir=/usr/lib64 --disable-python --disable-ocaml --enable-pcre --enable-pcre-syntax --enable-opt
configure: loading site script /usr/share/config.site
configure: configuring coccinelle 1.0.6 in /var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6
checking for a BSD-compatible install... /usr/lib/portage/python3.4/ebuild-helpers/xattr/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
configure: determining version suffix
checking for x86_64-pc-linux-gnu-date... no
checking for date... /bin/date
configure: version suffix set to Wed, 02 Aug 2017 18:55:31 +0200
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 for style of include used by make... GNU
checking for x86_64-pc-linux-gnu-gcc... x86_64-pc-linux-gnu-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 x86_64-pc-linux-gnu-gcc accepts -g... yes
checking for x86_64-pc-linux-gnu-gcc option to accept ISO C89... none needed
checking whether x86_64-pc-linux-gnu-gcc understands -c and -o together... yes
checking dependency style of x86_64-pc-linux-gnu-gcc... none
checking how to run the C preprocessor... x86_64-pc-linux-gnu-gcc -E
checking for bash... /bin/sh
checking for tar... /bin/tar
checking for patch... /usr/bin/patch
checking for echo... /bin/echo
checking for patchelf... no
checking for x86_64-pc-linux-gnu-pkg-config... /usr/bin/x86_64-pc-linux-gnu-pkg-config
checking pkg-config is at least version 0.9.0... yes
checking for x86_64-pc-linux-gnu-ocamlc... no
checking for ocamlc... /usr/bin/ocamlc
OCaml version is 4.05.0
OCaml library path is /usr/lib64/ocaml
checking for x86_64-pc-linux-gnu-ocamlopt... no
checking for ocamlopt... /usr/bin/ocamlopt
checking for x86_64-pc-linux-gnu-ocamlc.opt... no
checking for ocamlc.opt... /usr/bin/ocamlc.opt
checking for x86_64-pc-linux-gnu-ocamlopt.opt... no
checking for ocamlopt.opt... /usr/bin/ocamlopt.opt
checking for x86_64-pc-linux-gnu-ocaml... no
checking for ocaml... /usr/bin/ocaml
checking for x86_64-pc-linux-gnu-ocamldep... no
checking for ocamldep... /usr/bin/ocamldep
checking for x86_64-pc-linux-gnu-ocamlmktop... no
checking for ocamlmktop... /usr/bin/ocamlmktop
checking for x86_64-pc-linux-gnu-ocamlmklib... no
checking for ocamlmklib... /usr/bin/ocamlmklib
checking for x86_64-pc-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 x86_64-pc-linux-gnu-ocamllex... no
checking for ocamllex... /usr/bin/ocamllex
checking for x86_64-pc-linux-gnu-ocamllex.opt... no
checking for ocamllex.opt... /usr/bin/ocamllex.opt
checking for x86_64-pc-linux-gnu-ocamlyacc... no
checking for ocamlyacc... /usr/bin/ocamlyacc
checking for x86_64-pc-linux-gnu-ocamlfind... no
checking for ocamlfind... /usr/bin/ocamlfind
checking for x86_64-pc-linux-gnu-ocamlprof... no
checking for ocamlprof... /usr/bin/ocamlprof
configure: verifying basic ocaml modules
configure: coccinelle may use external ocaml libraries in /var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/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 num... 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: verifying optional features
checking for x86_64-pc-linux-gnu-menhir... no
checking for menhir... /usr/bin/menhir
configure: system menhir will be used
configure: system menhir will be used
checking for PCRE... yes
configure: configuring package pcre
checking for OCaml findlib package pcre... found
configure: support for pcre syntax is enabled
checking for x86_64-pc-linux-gnu-pdflatex... no
checking for pdflatex... /usr/bin/pdflatex
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile.config
config.status: creating version.ml
config.status: creating commons/commands.ml
config.status: creating globals/config.ml
config.status: creating globals/regexp.ml
config.status: creating python/pycocci.ml
config.status: creating ocaml/prepare_ocamlcocci.ml
config.status: creating scripts/spatch.sh
config.status: creating tools/spgen/scripts/spgen.sh
config.status: creating docs/spatch.1
config.status: creating setup/Makefile
config.status: executing depfiles commands
configure: configuration completed
------------------------------------------------------------------------------
Summary

configure flags:  --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --disable-dependency-tracking --disable-silent-rules --docdir=/usr/share/doc/coccinelle-1.0.6 --htmldir=/usr/share/doc/coccinelle-1.0.6/html --libdir=/usr/lib64 --disable-python --disable-ocaml --enable-pcre --enable-pcre-syntax --enable-opt
findlib:          /usr/bin/ocamlfind	(an actual version is strongly recommended)
menhir:           /usr/bin/menhir	(for local package use --without-menhir, install the menhir package otherwise)

ocaml scripting:  no	(overridable with --enable-ocaml)
python scripting: no	(overridable with --enable-python)

pcre regexes:     yes	(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)

------------------------------------------------------------------------------
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=/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6 ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c
------------------------------------------------------------------------------
>>> Source configured.
>>> Compiling source in /var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6 ...
make -j1 depend 
Constructing '.depend'
set -e; for i in  commons globals ctl parsing_cocci parsing_c ocaml python engine popl09 extra tools/spgen; do echo $i; make -C $i depend; done
commons
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/commons'
/usr/bin/ocamldep -I ocamlextra  common.mli objet.mli ocollection.mli ograph_extended.mli ograph_simple.mli commands.ml common.ml ograph_simple.ml ograph_extended.ml  > .depend
for i in ocamlextra; do /usr/bin/ocamldep -I ocamlextra  $i/*.ml $i/*.mli >> .depend; done
/usr/bin/ocamldep -I ocamlextra  common.mli objet.mli ocollection.mli ograph_extended.mli ograph_simple.mli commands.ml common.ml ograph_simple.ml ograph_extended.ml  > .depend
for i in ocamlextra; do /usr/bin/ocamldep -I ocamlextra  $i/*.ml $i/*.mli >> .depend; done
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/commons'
globals
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/globals'
/usr/bin/ocamldep -I ../commons -I /usr/lib64/ocaml/pcre *.mli *.ml > .depend
/usr/bin/ocamldep -I ../commons -I /usr/lib64/ocaml/pcre *.mli *.ml > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/globals'
ctl
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/ctl'
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/ctl'
parsing_cocci
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/parsing_cocci'
/usr/bin/menhir --ocamlc "/usr/bin/ocamlc.opt" --ocamldep "/usr/bin/ocamldep" --table --base parser_cocci_menhir parser_cocci_menhir.mly
Warning: you are using the standard library and/or the %inline keyword. We
recommend switching on --infer in order to avoid obscure type error messages.
/usr/bin/ocamldep *.mli *.ml > .depend
/usr/bin/ocamldep *.mli *.ml > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/parsing_cocci'
parsing_c
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/parsing_c'
/usr/bin/ocamllex.opt lexer_c.mll
549 states, 26116 transitions, table size 107758 bytes
15973 additional bytes used for bindings
/usr/bin/ocamlyacc -v parser_c.mly
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I  ../parsing_cocci *.mli *.ml > .depend
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I  ../parsing_cocci *.mli *.ml > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/parsing_c'
ocaml
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/ocaml'
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml    > .depend
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml    > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/ocaml'
python
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/python'
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml  *.mli *.ml > .depend
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I ../ocaml  *.mli *.ml > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/python'
engine
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/engine'
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -I ../python *.mli *.ml > .depend
/usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../ocaml -I ../python *.mli *.ml > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/engine'
popl09
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/popl09'
/usr/bin/ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c  -I ../engine *.mli *.ml > .depend
/usr/bin/ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c  -I ../engine *.mli *.ml > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/popl09'
extra
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/extra'
/usr/bin/ocamldep -I ../commons -I ../globals -I  ../parsing_cocci -I  ../parsing_c *.mli *.ml > .depend
/usr/bin/ocamldep -I ../commons -I ../globals -I  ../parsing_cocci -I  ../parsing_c *.mli *.ml > .depend
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/extra'
tools/spgen
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/tools/spgen'
make -C source depend
make[2]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/tools/spgen/source'
/usr/bin/ocamllex.opt spgen_lexer.mll
143 states, 8123 transitions, table size 33350 bytes
23641 additional bytes used for bindings
/usr/bin/ocamldep *.mli *.ml > .depend
make[2]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/tools/spgen/source'
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/tools/spgen'
/usr/bin/ocamldep -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I ocaml -I python -I engine -I popl09 -I extra cocci.mli testing.mli flag_cocci.ml cocci.ml testing.ml  read_options.ml main.ml > .depend
make -j1 all.opt 
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make[1]: '.depend' is up to date.
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make opt-only
make[1]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make .depend
make[2]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make[2]: '.depend' is up to date.
make[2]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make subdirs.opt BUILD_OPT=yes
make[2]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make[3]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make[4]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/commons'
make[5]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/commons'
/usr/bin/ocamlc.opt -unsafe -I ocamlextra   -c ocamlextra/dumper.mli
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra   -c ocamlextra/dumper.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra   -c commands.ml
/usr/bin/ocamlc.opt -unsafe -I ocamlextra   -c common.mli
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra   -c common.ml
File "common.ml", line 2211, characters 16-32:
Warning 3: deprecated: String.lowercase
Use String.lowercase_ascii instead.
/usr/bin/ocamlc.opt -unsafe -I ocamlextra   -c ograph_simple.mli
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra   -c ograph_simple.ml
/usr/bin/ocamlc.opt -unsafe -I ocamlextra   -c ograph_extended.mli
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra   -c ograph_extended.ml
/usr/bin/ocamlopt.opt -unsafe -I ocamlextra  -a -o commons.cmxa ocamlextra/dumper.cmx commands.cmx common.cmx ograph_simple.cmx ograph_extended.cmx
make[5]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/commons'
make[4]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/commons'
make[3]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make[3]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make[4]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/globals'
make[5]: Entering directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/globals'
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c config.ml
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c flag.ml
/usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c iteration.mli
/usr/bin/ocamlopt.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c iteration.ml
/usr/bin/ocamlc.opt -unsafe -I ../commons -I /usr/lib64/ocaml/pcre -c /usr/lib64/ocaml/pcre/pcre.mli
File "/usr/lib64/ocaml/pcre/pcre.mli", line 1:
Error: I/O error: /usr/lib64/ocaml/pcre/pcre.cmi: Permission denied
make[5]: *** [Makefile:58: /usr/lib64/ocaml/pcre/pcre.cmi] Error 2
make[5]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/globals'
make[4]: *** [Makefile:42: all.opt] Error 2
make[4]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6/globals'
make[3]: *** [Makefile:187: globals.opt] Error 2
make[3]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make[2]: *** [Makefile:181: subdirs.opt] Error 1
make[2]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make[1]: *** [Makefile:165: opt-compil] Error 2
make[1]: Leaving directory '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
make: *** [Makefile:153: all.opt] Error 2
 * ERROR: dev-util/coccinelle-1.0.6::gentoo failed (compile phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=dev-util/coccinelle-1.0.6::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=dev-util/coccinelle-1.0.6::gentoo'`.
 * The complete build log is located at '/var/log/portage/dev-util:coccinelle-1.0.6:20170802-165528.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/dev-util/coccinelle-1.0.6/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/dev-util/coccinelle-1.0.6/temp/environment'.
 * Working directory: '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'
 * S: '/var/tmp/portage/dev-util/coccinelle-1.0.6/work/coccinelle-1.0.6'