Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 250783 Details for
Bug 341187
sci-mathematics/coq fails to build with make 3.82
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
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
(
hide
)
Description:
Build log
Filename:
MIME Type:
Creator:
Diego Elio Pettenò (RETIRED)
Created:
2010-10-15 22:54:02 UTC
Size:
1.59 KB
patch
obsolete
> * 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'
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 341187
: 250783 |
250857