sci-mathematics:proverif-2.04:20231102-124104.log

sci-mathematics:proverif-2.04:20231102-124104.log (text/plain), 2.25 KB, created by Toralf Förster on 2023-11-02 13:01:30 UTC

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

>>> Unpacking source...
>>> Unpacking proverif-v2.04.tar.bz2 to /var/tmp/portage/sci-mathematics/proverif-2.04/work
>>> Source unpacked in /var/tmp/portage/sci-mathematics/proverif-2.04/work
>>> Preparing source in /var/tmp/portage/sci-mathematics/proverif-2.04/work/proverif-v2.04/proverif ...
>>> Source prepared.
>>> Configuring source in /var/tmp/portage/sci-mathematics/proverif-2.04/work/proverif-v2.04/proverif ...
>>> Source configured.
>>> Compiling source in /var/tmp/portage/sci-mathematics/proverif-2.04/work/proverif-v2.04/proverif ...
 * Running sh ./build -nointeract ...
36 states, 401 transitions, table size 1820 bytes
10 shift/reduce conflicts.
43 states, 762 transitions, table size 3306 bytes
151 shift/reduce conflicts.
111 states, 3108 transitions, table size 13098 bytes
./build: line 129: ocamlopt: command not found
 [ !! ]
 * ERROR: sci-mathematics/proverif-2.04::gentoo failed (compile phase):
 *   Failed to run command: sh ./build -nointeract
 * 
 * Call stack:
 *     ebuild.sh, line  136:  Called src_compile
 *   environment, line 1011:  Called edob 'sh' './build' '-nointeract'
 *   environment, line  580:  Called die
 * The specific snippet of code:
 *       eend $? || die -n "Failed to run command: $@"
 * 
 * If you need support, post the output of `emerge --info '=sci-mathematics/proverif-2.04::gentoo'`,
 * the complete build log and the output of `emerge -pqv '=sci-mathematics/proverif-2.04::gentoo'`.
 * The complete build log is located at '/var/log/portage/sci-mathematics:proverif-2.04:20231102-124104.log'.
 * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/proverif-2.04/temp/build.log'.
 * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/proverif-2.04/temp/environment'.
 * Working directory: '/var/tmp/portage/sci-mathematics/proverif-2.04/work/proverif-v2.04/proverif'
 * S: '/var/tmp/portage/sci-mathematics/proverif-2.04/work/proverif-v2.04/proverif'