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: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-20231027-034515 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-13 * clang/llvm (if any): clang version 17.0.4 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/17/bin Configuration file: /etc/clang/x86_64-pc-linux-gnu-clang.cfg /usr/lib/llvm/17 17.0.4 Python 3.11.6 Available Ruby profiles: [1] ruby31 (with Rubygems) * Available Rust versions: [1] rust-bin-1.73.0 [2] rust-1.73.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.20.1_p1 [openjdk-bin-11] 2) Eclipse Temurin JDK 17.0.8.1_p1 [openjdk-bin-17] 3) Eclipse Temurin JDK 21.0.1_p12 [openjdk-bin-21] *) Eclipse Temurin JDK 8.382_p05 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 system-vm [2] openjdk-bin-11 [3] openjdk-bin-17 [4] openjdk-bin-21 The Glorious Glasgow Haskell Compilation System, version 9.2.8 php cli (if any): go version go1.21.3 linux/amd64 HEAD of ::gentoo commit f732a5f1162524ccd3821b9c670c2daef82bb032 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Thu Nov 2 11:16:54 2023 +0000 2023-11-02 11:16:54 UTC emerge -qpvO sci-mathematics/proverif [ebuild N ] sci-mathematics/proverif-2.04 USE="-emacs -ocamlopt"
Created attachment 873907 [details] emerge-info.txt
Created attachment 873908 [details] emerge-history.txt.xz
Created attachment 873909 [details] environment
Created attachment 873910 [details] etc.clang.tar.xz
Created attachment 873911 [details] etc.portage.tar.xz
Created attachment 873912 [details] qlist-info.txt.xz
Created attachment 873913 [details] sci-mathematics:proverif-2.04:20231102-124104.log
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=49db8fda121c048515f6801689438f4ba94cd83f commit 49db8fda121c048515f6801689438f4ba94cd83f Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-11-02 15:59:08 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-11-02 22:11:18 +0000 sci-mathematics/proverif: require ocamlopt Closes: https://bugs.gentoo.org/916717 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../proverif/{proverif-2.04.ebuild => proverif-2.04-r1.ebuild} | 9 ++++++--- sci-mathematics/proverif/proverif-9999.ebuild | 9 ++++++--- 2 files changed, 12 insertions(+), 6 deletions(-)
