* Package: sci-mathematics/psmt2-frontend-0.2 * Repository: gentoo * Maintainer: tupone@gentoo.org * 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'