sci-mathematics:coq-8.4_p2:20131202-153546.log

sci-mathematics:coq-8.4_p2:20131202-153546.log (text/plain), 1.90 KB, created by Martin Bays on 2013-12-02 18:08:53 UTC

 * Package:    sci-mathematics/coq-8.4_p2
 * Repository: gentoo
 * Maintainer: [e-mail] [e-mail]
 * USE:        elibc_glibc gtk kernel_linux ocamlopt userland_GNU x86
 * FEATURES:   ccache preserve-libs sandbox splitdebug userpriv usersandbox
>>> FEATURES="assume-digests binpkg-logs ccache config-protect-if-modified distlocks ebuild-locks fixlafiles merge-sync metadata-transfer news parallel-fetch preserve-libs protect-owned sandbox sfperms splitdebug strict unknown-features-warn unmerge-logs unmerge-orphans userfetch userpriv usersandbox usersync"
GNU Make >= 3.81 is needed.
Make 3.81 can be downloaded from ftp://ftp.gnu.org/gnu/make/make-3.81.tar.gz
then locally installed on a Unix-style system by issuing:
  tar xzvf make-3.81.tar.gz
  cd make-3.81
  ./configure
  make
  mv make ..
  cd ..
Restart then the configure script and later use ./make instead of make.
 * ERROR: sci-mathematics/coq-8.4_p2::gentoo failed (configure phase):
 *   configure failed
 * 
 * Call stack:
 *     ebuild.sh, line  93:  Called src_configure
 *   environment, line 2537:  Called die
 * The specific snippet of code:
 *       ./configure $myconf || die "configure failed"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/coq-8.4_p2::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/coq-8.4_p2::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:coq-8.4_p2:20131202-153546.log'.
 * For convenience, a symlink to the build log is located at '/mnt/seabass/tmp-portage/portage/sci-mathematics/coq-8.4_p2/temp/build.log'.
 * The ebuild environment file is located at '/mnt/seabass/tmp-portage/portage/sci-mathematics/coq-8.4_p2/temp/environment'.
 * Working directory: '/mnt/seabass/tmp-portage/portage/sci-mathematics/coq-8.4_p2/work/coq-8.4pl2'
 * S: '/mnt/seabass/tmp-portage/portage/sci-mathematics/coq-8.4_p2/work/coq-8.4pl2'