build.log

build.log (text/plain), 10.03 KB, created by Agostino Sarubbo on 2021-02-10 07:38:50 UTC

 * Package:    sci-mathematics/why3-for-spark-2020
 * Repository: gentoo
 * Maintainer: [e-mail]
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux ocamlopt userland_GNU
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox


@@@@@ PLEASE PAY ATTENTION HERE!!! @@@@@
This information may help you to understand if this is a duplicate or if this bug exists after you pushed a fix;
This ebuild was merged at the following commit:
https://github.com/gentoo/gentoo/commit/16d50a93fcbed2cd80536dc723aa8036452640a6  (Tue Feb  9 21:52:35 UTC 2021)
@@@@@ END @@@@@



emerge --info:
Portage 3.0.14 (python 3.9.1-final-0, default/linux/amd64/17.1, gcc-10.2.0, glibc-2.32-r7, 5.4.0-1029-aws x86_64)
=================================================================
System uname: Linux-5.4.0-1029-aws-x86_64-Intel-R-_Xeon-R-_Platinum_8124M_CPU_@_3.00GHz-with-glibc2.32
KiB Mem:    71926568 total,  62855336 free
KiB Swap:          0 total,         0 free
sh bash 5.1_p4
ld GNU ld (Gentoo 2.35.2 p1) 2.35.2
app-shells/bash:          5.1_p4::gentoo
dev-lang/perl:            5.32.0-r1::gentoo
dev-lang/python:          2.7.18-r6::gentoo, 3.7.9-r2::gentoo, 3.8.7-r1::gentoo, 3.9.1-r1::gentoo
dev-util/cmake:           3.19.4::gentoo
dev-util/pkgconfig:       0.29.2::gentoo
sys-apps/baselayout:      2.7-r1::gentoo
sys-apps/openrc:          0.42.1-r1::gentoo
sys-apps/sandbox:         2.20::gentoo
sys-devel/autoconf:       2.13-r1::gentoo, 2.69-r5::gentoo
sys-devel/automake:       1.16.3-r1::gentoo
sys-devel/binutils:       2.35.2::gentoo
sys-devel/gcc:            10.2.0-r5::gentoo
sys-devel/gcc-config:     2.3.3::gentoo
sys-devel/libtool:        2.4.6-r6::gentoo
sys-devel/make:           4.3::gentoo
sys-kernel/linux-headers: 5.10::gentoo (virtual/os-headers)
sys-libs/glibc:           2.32-r7::gentoo
Repositories:

gentoo
    location: /usr/portage
    sync-type: rsync
    sync-uri: rsync://rsync.gentoo.org/gentoo-portage
    priority: -1000
    sync-rsync-verify-jobs: 1
    sync-rsync-verify-max-age: 24
    sync-rsync-verify-metamanifest: yes
    sync-rsync-extra-opts: 

ACCEPT_KEYWORDS="amd64 ~amd64"
ACCEPT_LICENSE="* GPL-3"
CBUILD="x86_64-pc-linux-gnu"
CFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches"
CHOST="x86_64-pc-linux-gnu"
CONFIG_PROTECT="/etc /usr/share/gnupg/qualified.txt"
CONFIG_PROTECT_MASK="/etc/ca-certificates.conf /etc/env.d /etc/gconf /etc/gentoo-release /etc/revdep-rebuild /etc/sandbox.d /etc/terminfo"
CXXFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches"
DISTDIR="/var/tmp/portage/sci-mathematics/why3-for-spark-2020/distdir"
EMERGE_DEFAULT_OPTS="--with-bdeps=y -1 -k -b"
ENV_UNSET="CARGO_HOME DBUS_SESSION_BUS_ADDRESS DISPLAY GOBIN GOPATH PERL5LIB PERL5OPT PERLPREFIX PERL_CORE PERL_MB_OPT PERL_MM_OPT XAUTHORITY XDG_CACHE_HOME XDG_CONFIG_HOME XDG_DATA_HOME XDG_RUNTIME_DIR"
FCFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches"
FEATURES="assume-digests binpkg-docompress binpkg-dostrip binpkg-logs buildpkg config-protect-if-modified distlocks ebuild-locks fixlafiles ipc-sandbox merge-sync multilib-strict network-sandbox news parallel-fetch pid-sandbox preserve-libs protect-owned qa-unresolved-soname-deps sandbox sfperms sign split-log strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync xattr"
FFLAGS="-O2 -pipe -march=x86-64 -frecord-gcc-switches"
GENTOO_MIRRORS="http://distfiles.gentoo.org"
LANG="en_US.utf8"
LDFLAGS="-Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0"
MAKEOPTS="-j36"
PKGDIR="/root/.packages"
PORTAGE_CONFIGROOT="/"
PORTAGE_RSYNC_OPTS="--recursive --links --safe-links --perms --times --omit-dir-times --compress --force --whole-file --delete --stats --human-readable --timeout=180 --exclude=/distfiles --exclude=/local --exclude=/packages --exclude=/.git"
PORTAGE_TMPDIR="/var/tmp"
USE="acl amd64 berkdb bzip2 cli crypt dri elogind fortran gdbm iconv ipv6 jumbo-build libglvnd libtirpc multilib native-symlinks ncurses nls nptl ocamlopt openmp pam pcre readline seccomp split-usr ssl tcpd unicode xattr zlib" ABI_X86="64" ELIBC="glibc" KERNEL="linux" USERLAND="GNU"
Unset:  CC, CPPFLAGS, CTARGET, CXX, INSTALL_MASK, LC_ALL, LINGUAS, PORTAGE_BINHOST, PORTAGE_BUNZIP2_COMMAND, PORTAGE_COMPRESS, PORTAGE_COMPRESS_FLAGS, PORTAGE_RSYNC_EXTRA_OPTS





emerge history:
2021-02-10T00:21:25 >>> sys-libs/binutils-libs-2.35.2
2021-02-10T00:21:31 >>> dev-lang/ocaml-4.11.1
2021-02-10T00:21:54 >>> dev-ml/findlib-1.8.1-r2
2021-02-10T00:21:59 >>> dev-ml/dune-2.8.2
2021-02-10T00:21:54 >>> dev-ml/ocamlbuild-0.14.0-r1
2021-02-10T00:22:02 >>> dev-ml/num-1.4
2021-02-10T00:21:59 >>> dev-ml/easy-format-1.2.0
2021-02-10T00:22:06 >>> dev-ml/cppo-1.6.7
2021-02-10T00:22:13 >>> dev-ml/biniou-1.2.1
2021-02-10T00:22:23 >>> dev-ml/yojson-1.7.0
2021-02-10T00:22:06 >>> dev-ml/menhir-20190924



>>> Unpacking source...
>>> Unpacking 8bb5801e17b8b23453262da69c981c091959eec7?filename=why3-2020-20200429-199EF-src.tar.gz to /var/tmp/portage/sci-mathematics/why3-for-spark-2020/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/why3-for-spark-2020/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/why3-for-spark-2020/work/why3-2020-20200429-199EF-src ...
 * Applying why3-for-spark-2020-gentoo.patch ...
 [ ok ]
 * Applying why3-for-spark-2020-flags.patch ...
 [ ok ]
 * Applying why3-for-spark-2020-bibtex.patch ...
 [ ok ]
 * Running eautoreconf in '/var/tmp/portage/sci-mathematics/why3-for-spark-2020/work/why3-2020-20200429-199EF-src' ...
 * Running aclocal ...
 [ ok ]
 * This package has a configure.in file which has long been deprecated.  Please
 * update it to use configure.ac instead as newer versions of autotools will die
 * when it finds this file.  See https://bugs.gentoo.org/426262 for details.
 * Running autoconf --force ...
 [ ok ]
 * Running elibtoolize in: why3-2020-20200429-199EF-src/
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/why3-for-spark-2020/work/why3-2020-20200429-199EF-src ...
 * econf: updating why3-2020-20200429-199EF-src/config.sub with /usr/share/gnuconfig/config.sub
 * econf: updating why3-2020-20200429-199EF-src/config.guess with /usr/share/gnuconfig/config.guess
./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/why3-for-spark-2020 --htmldir=/usr/share/doc/why3-for-spark-2020/html --libdir=/usr/lib64 --disable-pvs-libs --disable-isabelle-libs --enable-verbose-make --disable-coq-libs --disable-doc --disable-emacs-compilation --disable-ide --disable-html-pdf --enable-native-code --disable-zarith --disable-zip
checking executable suffix... <none>
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 for x86_64-pc-linux-gnu-gcc option to accept ISO C99... none needed
checking for x86_64-pc-linux-gnu-gcc option to accept ISO Standard C... (cached) none needed
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for a BSD-compatible install... /usr/lib/portage/python3.9/ebuild-helpers/xattr/install -c
checking for ocp-ocamlc... no
checking for ocamlc... ocamlc
ocaml version is 4.11.1
ocaml library path is /usr/lib64/ocaml
checking for ocp-ocamlopt... no
checking for ocamlopt... ocamlopt
checking ocamlopt version... ok
checking for ocp-ocamlc.opt... no
checking for ocamlc.opt... ocamlc.opt
checking ocamlc.opt version... ok
checking for ocp-ocamlopt.opt... no
checking for ocamlopt.opt... ocamlopt.opt
checking ocamlc.opt version... ok
checking for ocamldep... ocamldep
checking for ocamldep.opt... ocamldep.opt
checking for ocamllex... ocamllex
checking for ocamllex.opt... ocamllex.opt
checking for ocamlyacc... ocamlyacc
checking for ocamldoc... ocamldoc
checking for ocamldoc.opt... ocamldoc.opt
checking for menhir... menhir
checking for ocamlfind... ocamlfind
ocamlfind found compiler-libs in /usr/lib64/ocaml/compiler-libs
ocamlfind found num in /usr/lib64/ocaml/num
checking for /usr/lib64/ocaml/num/nums.cma... no
checking for /usr/lib64/ocaml/num/num.cmi... no
checking for /usr/lib64/ocaml/nums.cma... no
checking for /usr/lib64/ocaml/num.cmi... no
configure: error: Library Num not found.

!!! Please attach the following file when seeking support:
!!! /var/tmp/portage/sci-mathematics/why3-for-spark-2020/work/why3-2020-20200429-199EF-src/config.log
 * ERROR: sci-mathematics/why3-for-spark-2020::gentoo failed (configure phase):
 *   econf failed
 * 
 * Call stack:
 *               ebuild.sh, line  125:  Called src_configure
 *             environment, line 1619:  Called econf '--disable-pvs-libs' '--disable-isabelle-libs' '--enable-verbose-make' '--disable-coq-libs' '--disable-doc' '--disable-emacs-compilation' '--disable-ide' '--disable-html-pdf' '--enable-native-code' '--disable-zarith' '--disable-zip'
 *        phase-helpers.sh, line  680:  Called __helpers_die 'econf failed'
 *   isolated-functions.sh, line  112:  Called die
 * The specific snippet of code:
 *   		die "$@"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/why3-for-spark-2020::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/why3-for-spark-2020::gentoo'`.
 * The complete build log is located at '/var/log/emerge-log/build/sci-mathematics/why3-for-spark-2020:20210209-232238.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/why3-for-spark-2020/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/why3-for-spark-2020/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/why3-for-spark-2020/work/why3-2020-20200429-199EF-src'
 * S: '/var/tmp/portage/sci-mathematics/why3-for-spark-2020/work/why3-2020-20200429-199EF-src'