sci-mathematics:psmt2-frontend-0.2:20191025-223911.log

sci-mathematics:psmt2-frontend-0.2:20191025-223911.log (text/plain), 6.72 KB, created by Jonathan Lovelace on 2019-10-25 22:51:24 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:   fakeroot network-sandbox preserve-libs sandbox test userpriv usersandbox
 * 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/
configure: loading site script /usr/share/config.site
checking for ocamlc... ocamlc
ocaml version is 4.04.2
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
menhir -v src/smtlib_parser.mly
menhir -v src/smtlib_parser.mly
ocamllex.opt src/smtlib_lexer.mll > /dev/null
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.
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.
ocamldep -I src src/*.ml* > .depend
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/options.mli
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -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_error.ml
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.ml
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
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -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_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_typed_env.ml
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
ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -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_typed_logic.ml
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -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_parser.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
ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typing.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
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
[1mFile "[1m/var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2/_none_", line 1[0m[0m:
[1;31mError[0m: Files /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2/src/smtlib_syntax.cmo
       and /var/tmp/portage/sci-mathematics/psmt2-frontend-0.2/work/psmt2-frontend-0.2/src/smtlib_ty.cmo
       make inconsistent assumptions over interface Smtlib_ty
make: *** [Makefile:99: src/psmt2Frontend.cmo] Error 2
make: *** Waiting for unfinished jobs....
 * ERROR: sci-mathematics/psmt2-frontend-0.2::gentoo failed (compile 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:20191025-223911.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'