>>> Configuring source in /var/tmp/portage/sci-mathematics/cubicle-1.2.0-r1/work/cubicle-1.2.0 ... * econf: updating cubicle-1.2.0/config.sub with /usr/share/gnuconfig/config.sub * econf: updating cubicle-1.2.0/config.guess with /usr/share/gnuconfig/config.guess ./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 --datarootdir=/usr/share --docdir=/usr/share/doc/cubicle-1.2.0-r1 --htmldir=/usr/share/doc/cubicle-1.2.0-r1/html --libdir=/usr/lib64 --without-z3 configure: loading site script /usr/share/config.site checking for ocamlc.opt... no configure: error: Cannot find ocamlc. !!! Please attach the following file when seeking support: ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20230211-090115 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-10 [2] x86_64-pc-linux-gnu-12 * clang/llvm (if any): clang version 15.0.7 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/15/bin Configuration file: /etc/clang/clang.cfg /usr/lib/llvm/15 15.0.7 Python 3.10.10 Available Rust versions: [1] rust-bin-1.67.1 [2] rust-1.67.1 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.18_p10 [openjdk-bin-11] *) Eclipse Temurin JDK 17.0.6_p10 [openjdk-bin-17] 3) Eclipse Temurin JDK 8.362_p09 [openjdk-bin-8] Available Java Virtual Machines: [1] openjdk-bin-8 [2] openjdk-bin-11 [3] openjdk-bin-17 system-vm The Glorious Glasgow Haskell Compilation System, version 9.0.2 php cli (if any): HEAD of ::gentoo commit a74537f20af01c2768eb9afddef94d57f0fe9c72 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Sat Feb 18 04:46:58 2023 +0000 2023-02-18 04:46:58 UTC emerge -qpvO sci-mathematics/cubicle [ebuild N ] sci-mathematics/cubicle-1.2.0-r1 USE="-emacs -examples -ocamlopt"
Created attachment 852474 [details] emerge-info.txt
Created attachment 852476 [details] emerge-history.txt.bz2
Created attachment 852478 [details] environment
Created attachment 852480 [details] etc.clang.tar.bz2
Created attachment 852482 [details] etc.portage.tar.bz2
Created attachment 852484 [details] logs.tar.bz2
Created attachment 852486 [details] sci-mathematics:cubicle-1.2.0-r1:20230218-045212.log
Created attachment 852488 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0c9116b3aef8f3e47e801bc1c8afce931f9b790b commit 0c9116b3aef8f3e47e801bc1c8afce931f9b790b Author: Maciej Barć <xgqt@gentoo.org> AuthorDate: 2023-03-08 21:38:20 +0000 Commit: Maciej Barć <xgqt@gentoo.org> CommitDate: 2023-03-08 21:38:54 +0000 sci-mathematics/cubicle: require ocamlopt Closes: https://bugs.gentoo.org/895214 Signed-off-by: Maciej Barć <xgqt@gentoo.org> .../cubicle/{cubicle-1.2.0-r1.ebuild => cubicle-1.2.0-r2.ebuild} | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-)
