Warning 22 [preprocessor]: Issue: BAD decision_level, in particular, if minimal-bj is ON File "src/plugins/AB-Why3/dune", line 24, characters 5-22: 24 | (ABWhy3Plugin.cmxs as plugins/AB-Why3-plugin.cmxs) ^^^^^^^^^^^^^^^^^ Error: No rule found for src/plugins/AB-Why3/ABWhy3Plugin.cmxs File "src/plugins/fm-simplex/dune", line 17, characters 5-25: 17 | (FmSimplexPlugin.cmxs as plugins/fm-simplex-plugin.cmxs) ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1_hardened-j4-20220531-135334 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-9.3.1 [2] x86_64-pc-linux-gnu-12.1.1 * clang/llvm (if any): clang version 14.0.4 Target: x86_64-pc-linux-gnu Thread model: posix InstalledDir: /usr/lib/llvm/14/bin /usr/lib/llvm/14 14.0.4 Python 3.9.13 Available Rust versions: [1] rust-1.61.0 * The following VMs are available for generation-2: 1) Eclipse Temurin JDK 11.0.15_p10 [openjdk-bin-11] *) Eclipse Temurin JDK 17.0.3_p7 [openjdk-bin-17] 3) Eclipse Temurin JDK 8.332_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 8.10.4 php cli: HEAD of ::gentoo commit 29c7ba32dde80d652c8c1c40eb59f1fc1f299774 Author: Repository mirror & CI <repomirrorci@gentoo.org> Date: Thu Jun 2 17:33:45 2022 +0000 2022-06-02 17:33:45 UTC emerge -qpvO sci-mathematics/alt-ergo [ebuild N ] sci-mathematics/alt-ergo-2.4.1_p20220407 USE="examples -ocamlopt"
Created attachment 782423 [details] emerge-info.txt
Created attachment 782426 [details] emerge-history.txt
Created attachment 782429 [details] environment
Created attachment 782432 [details] etc.portage.tar.bz2
Created attachment 782435 [details] sci-mathematics:alt-ergo-2.4.1_p20220407:20220602-181002.log
Created attachment 782438 [details] temp.tar.bz2
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cfa07369cb804ea360eef996a504b1297ced25cc commit cfa07369cb804ea360eef996a504b1297ced25cc Author: Alfredo Tupone <tupone@gentoo.org> AuthorDate: 2022-06-29 18:05:14 +0000 Commit: Alfredo Tupone <tupone@gentoo.org> CommitDate: 2022-06-29 18:05:37 +0000 sci-mathematics/alt-ergo: require ocamlopt Closes: https://bugs.gentoo.org/849374 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> ...lt-ergo-2.4.1_p20220407.ebuild => alt-ergo-2.4.1_p20220407-r1.ebuild} | 1 + 1 file changed, 1 insertion(+)
