sci-mathematics:psmt2-frontend-0.2:20191028-221011.log

sci-mathematics:psmt2-frontend-0.2:20191028-221011.log (text/plain), 7.97 KB, created by Toralf Förster on 2019-10-29 18:21:22 UTC

 * Package:    sci-mathematics/psmt2-frontend-0.2
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox
>>> Unpacking source...
>>> Unpacking psmt2-frontend-0.2.tar.gz to /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2 ...
 * Applying psmt2-frontend-0.2-gentoo.patch ...
 [ ok ]
 * Running eautoreconf in '/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2' ...
 * Running aclocal ...
 [ ok ]
 * Running autoconf --force ...
 [ ok ]
 * Running elibtoolize in: psmt2-frontend-0.2/
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2 ...
./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 --docdir=/usr/share/doc/psmt2-frontend-0.2 --htmldir=/usr/share/doc/psmt2-frontend-0.2/html --libdir=/usr/lib64
checking for ocamlc... ocamlc
ocaml version is 4.05.0
ocaml library path is /usr/lib64/ocaml
checking for ocamlfind... yes
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlopt.opt version... ok
checking for ocamldep... ocamldep
checking platform... checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for menhir... menhir
configure: creating ./config.status
config.status: creating Makefile
config.status: WARNING:  'Makefile.in' seems to ignore the --datarootdir setting
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2 ...
make -j1 depend 
menhir -v src/smtlib_parser.mly
Note: the nonterminal symbol option (from src/smtlib_parser.mly) is renamed src_smtlib_parser_option.
Warning: 22 states have an end-of-stream conflict.
File "/usr/share/menhir/standard.mly", line 209, characters 16-16:
Warning: production list(term) -> is never reduced.
Warning: in total, 1 production is never reduced.
ocamllex.opt src/smtlib_lexer.mll > /dev/null
ocamldep -I src src/*.ml* > .depend
ocamldep -I src src/*.ml* > .depend
make -j1 
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_error.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
ocamlc.opt   -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -pack -o src/psmt2Frontend.cmo src/version.cmo src/options.cmo src/smtlib_error.cmo src/smtlib_ty.cmo src/smtlib_syntax.cmo src/smtlib_parser.cmo src/smtlib_lexer.cmo src/smtlib_typed_env.cmo src/smtlib_typed_logic.cmo src/smtlib_printer.cmo src/smtlib_typing.cmo
ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -o src/psmt2Frontend.cma src/psmt2Frontend.cmo
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/version.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/options.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_error.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -pack -o src/psmt2Frontend.cmx src/version.cmx src/options.cmx src/smtlib_error.cmx src/smtlib_ty.cmx src/smtlib_syntax.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.cmx src/smtlib_printer.cmx src/smtlib_typing.cmx
ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxa src/psmt2Frontend.cmx
ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxs src/psmt2Frontend.cmx
>>> Source compiled.
>>> Test phase [not enabled]: sci-mathematics/psmt2-frontend-0.2

>>> Install sci-mathematics/psmt2-frontend-0.2 into /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image
make -j1 DESTDIR=/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/image install 
make: *** No rule to make target 'configure.in', needed by 'configure'.  Stop.
 * ERROR: sci-mathematics/psmt2-frontend-0.2::gentoo failed (install phase):
 *   emake failed
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/psmt2-frontend-0.2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/psmt2-frontend-0.2::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:psmt2-frontend-0.2:20191028-221011.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2'
 * S: '/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2'