* Package:    sci-mathematics/coq-8.2_p2
 * Repository: gentoo
 * Maintainer: ml@gentoo.org sci-mathematics@gentoo.org
 * 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'