Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 602758 Details for
Bug 704928
sci-mathematics/coq-8.9.1-r1 - src_configure(): Num library not installed, required for OCaml 4.06 or later
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
build.log
build.log (text/plain), 2.60 KB, created by
Artem Shinkarov
on 2020-01-07 15:28:45 UTC
(
hide
)
Description:
build.log
Filename:
MIME Type:
Creator:
Artem Shinkarov
Created:
2020-01-07 15:28:45 UTC
Size:
2.60 KB
patch
obsolete
>>>> Verifying ebuild manifests > >>>> Emerging (1 of 1) sci-mathematics/coq-8.9.1-r1::gentoo > * coq-8.9.1.tar.gz BLAKE2B SHA512 size ;-) ... [ ok ] >>>> Unpacking source... >>>> Unpacking coq-8.9.1.tar.gz to /tmp/portage/sci-mathematics/coq-8.9.1-r1/work >>>> Source unpacked in /tmp/portage/sci-mathematics/coq-8.9.1-r1/work >>>> Preparing source in /tmp/portage/sci-mathematics/coq-8.9.1-r1/work/coq-8.9.1 ... >>>> Source prepared. >>>> Configuring source in /tmp/portage/sci-mathematics/coq-8.9.1-r1/work/coq-8.9.1 ... >You have OCaml 4.09.0. Good! >You have OCamlfind 1.8.1. Good! >You have Camlp5 7.10. Good! >You have native-code compilation. Good! >Num library not installed, required for OCaml 4.06 or later >Configuration script failed! > * ERROR: sci-mathematics/coq-8.9.1-r1::gentoo failed (configure phase): > * configure failed > * > * Call stack: > * ebuild.sh, line 125: Called src_configure > * environment, line 1477: 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.9.1-r1::gentoo'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/coq-8.9.1-r1::gentoo'`. > * The complete build log is located at '/tmp/portage/sci-mathematics/coq-8.9.1-r1/temp/build.log'. > * The ebuild environment file is located at '/tmp/portage/sci-mathematics/coq-8.9.1-r1/temp/environment'. > * Working directory: '/tmp/portage/sci-mathematics/coq-8.9.1-r1/work/coq-8.9.1' > * S: '/tmp/portage/sci-mathematics/coq-8.9.1-r1/work/coq-8.9.1' > >>>> Failed to emerge sci-mathematics/coq-8.9.1-r1, Log file: > >>>> '/tmp/portage/sci-mathematics/coq-8.9.1-r1/temp/build.log' > > * Messages for package sci-mathematics/coq-8.9.1-r1: > > * ERROR: sci-mathematics/coq-8.9.1-r1::gentoo failed (configure phase): > * configure failed > * > * Call stack: > * ebuild.sh, line 125: Called src_configure > * environment, line 1477: 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.9.1-r1::gentoo'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/coq-8.9.1-r1::gentoo'`. > * The complete build log is located at '/tmp/portage/sci-mathematics/coq-8.9.1-r1/temp/build.log'. > * The ebuild environment file is located at '/tmp/portage/sci-mathematics/coq-8.9.1-r1/temp/environment'. > * Working directory: '/tmp/portage/sci-mathematics/coq-8.9.1-r1/work/coq-8.9.1' > * S: '/tmp/portage/sci-mathematics/coq-8.9.1-r1/work/coq-8.9.1' >
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 704928
:
602756
| 602758 |
602770