>>> 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'