Bug 916717

Summary:	sci-mathematics/proverif-2.04 - Failed to run command: sh ./build -nointeract
Product:	Gentoo Linux	Reporter:	Toralf Förster <toralf>
Component:	Current packages	Assignee:	Gentoo Team for the ML programming language family <ml>
Status:	RESOLVED FIXED
Severity:	normal	CC:	sci-mathematics
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	emerge-info.txt emerge-history.txt.xz environment etc.clang.tar.xz etc.portage.tar.xz qlist-info.txt.xz sci-mathematics:proverif-2.04:20231102-124104.log

Description Toralf Förster gentoo-dev

2023-11-02 13:01:23 UTC

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"

Comment 1 Toralf Förster gentoo-dev

2023-11-02 13:01:24 UTC

Created attachment 873907 [details]
emerge-info.txt

Comment 2 Toralf Förster gentoo-dev

2023-11-02 13:01:25 UTC

Created attachment 873908 [details]
emerge-history.txt.xz

Comment 3 Toralf Förster gentoo-dev

2023-11-02 13:01:26 UTC

Created attachment 873909 [details]
environment

Comment 4 Toralf Förster gentoo-dev

2023-11-02 13:01:27 UTC

Created attachment 873910 [details]
etc.clang.tar.xz

Comment 5 Toralf Förster gentoo-dev

2023-11-02 13:01:28 UTC

Created attachment 873911 [details]
etc.portage.tar.xz

Comment 6 Toralf Förster gentoo-dev

2023-11-02 13:01:29 UTC

Created attachment 873912 [details]
qlist-info.txt.xz

Comment 7 Toralf Förster gentoo-dev

2023-11-02 13:01:30 UTC

Created attachment 873913 [details]
sci-mathematics:proverif-2.04:20231102-124104.log

Comment 8 Larry the Git Cow gentoo-dev

2023-11-02 22:11:25 UTC

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(-)