sci-mathematics:flocq-4.1.1:20241001-170638.log

sci-mathematics:flocq-4.1.1:20241001-170638.log (text/plain), 2.39 KB, created by Toralf Förster on 2024-10-01 17:30:13 UTC

 * Package:    sci-mathematics/flocq-4.1.1:0
 * Repository: gentoo
 * Maintainer: [e-mail]
 * Upstream:   https://gitlab.inria.fr/flocq/flocq/-/issues/
 * USE:        abi_x86_64 amd64 elibc_glibc kernel_linux
 * FEATURES:   network-sandbox preserve-libs sandbox userpriv usersandbox

>>> Unpacking source...
>>> Unpacking flocq-4.1.1.tar.gz to /var/tmp/portage/sci-mathematics/flocq-4.1.1/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/flocq-4.1.1/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/flocq-4.1.1/work/flocq-4.1.1 ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/flocq-4.1.1/work/flocq-4.1.1 ...
./configure --prefix=/usr --build=x86_64-pc-linux-gnu --host=x86_64-pc-linux-gnu --mandir=/usr/share/man --infodir=/usr/share/info --datadir=/usr/share --sysconfdir=/etc --localstatedir=/var/lib --libdir=/usr/lib64
checking for coqc... ./configure: line 2103: which: command not found
not found
configure: error: missing Coq compiler

!!! Please attach the following file when seeking support:
!!! /var/tmp/portage/sci-mathematics/flocq-4.1.1/work/flocq-4.1.1/config.log
 * ERROR: sci-mathematics/flocq-4.1.1::gentoo failed (configure phase):
 *   econf failed
 * 
 * Call stack:
 *               ebuild.sh, line 136:  Called src_configure
 *             environment, line 636:  Called default
 *      phase-functions.sh, line 874:  Called default_src_configure
 *      phase-functions.sh, line 909:  Called __eapi2_src_configure
 *        phase-helpers.sh, line 766:  Called econf
 *        phase-helpers.sh, line 647:  Called __helpers_die 'econf failed'
 *   isolated-functions.sh, line 112:  Called die
 * The specific snippet of code:
 *   		die "$@"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/flocq-4.1.1::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/flocq-4.1.1::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:flocq-4.1.1:20241001-170638.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/flocq-4.1.1/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/flocq-4.1.1/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/flocq-4.1.1/work/flocq-4.1.1'
 * S: '/var/tmp/portage/sci-mathematics/flocq-4.1.1/work/flocq-4.1.1'