Build log

coq-8.2_p2:20101015-194206.log (text/plain), 1.59 KB, created by Diego Elio Pettenò (RETIRED) on 2010-10-15 22:54:02 UTC

 * Package:    sci-mathematics/coq-8.2_p2
 * Repository: gentoo
 * Maintainer: [e-mail] [e-mail]
 * USE:  elibc_glibc kernel_linux ocamlopt realanalysis test userland_GNU x86
>>> Unpacking source...
>>> Unpacking coq-8.2pl2.tar.gz to /var/tmp/portage/sci-mathematics/coq-8.2_p2/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/coq-8.2_p2/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/coq-8.2_p2/work/coq-8.2pl2 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/coq-8.2_p2/work/coq-8.2pl2 ...
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.2_p2 failed:
 *   configure failed
 * 
 * Call stack:
 *     ebuild.sh, line  56:  Called src_configure
 *   environment, line 2511:  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.2_p2',
 * the complete build log and the output of 'emerge -pqv =sci-mathematics/coq-8.2_p2'.
 * The complete build log is located at '/var/log/portage/build/sci-mathematics/coq-8.2_p2:20101015-194206.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/coq-8.2_p2/temp/environment'.
 * S: '/var/tmp/portage/sci-mathematics/coq-8.2_p2/work/coq-8.2pl2'