from ../../lib/minisat-2.2.0/core/Solver.cc:24: /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h: At global scope: /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h:50:16: error: friend declaration of ‘Minisat::Lit mkLit(Minisat::Var, bool)’ specifies default arguments and isn’t a definition [-fpermissive] 50 | friend Lit mkLit(Var var, bool sign = false); | ^~~~~ /var/tmp/portage/sci-mathematics/kodkod-1.5.2-r1/work/kodkod-1.5/lib/minisat-2.2.0/core/SolverTypes.h:58:14: error: friend declaration of ‘Minisat::Lit Minisat::mkLit(Minisat::Var, bool)’ specifies default arguments and isn’t the only declaration [-fpermissive] ------------------------------------------------------------------- This is an unstable amd64 chroot image at a tinderbox (==build bot) name: 17.1-desktop-gnome-systemd_libressl_20190510-215014 ------------------------------------------------------------------- gcc-config -l: [1] x86_64-pc-linux-gnu-7.3.1 [2] x86_64-pc-linux-gnu-9.1.0 * Available Python interpreters, in order of preference: [1] python3.6 [2] python2.7 (fallback) Available Ruby profiles: [1] ruby24 (with Rubygems) [2] ruby25 (with Rubygems) [3] ruby26 (with Rubygems) * Available Rust versions: [1] rust-bin-1.34.1 * java-config: The following VMs are available for generation-2: *) IcedTea JDK 3.12.0 [icedtea-bin-8] Available Java Virtual Machines: [1] icedtea-bin-8 system-vm emerge -qpvO sci-mathematics/kodkod [ebuild N ] sci-mathematics/kodkod-1.5.2-r1 USE="-doc -source"
Created attachment 576348 [details] emerge-info.txt
Created attachment 576350 [details] emerge-history.txt
Created attachment 576352 [details] environment
Created attachment 576354 [details] etc.portage.tbz2
Created attachment 576356 [details] logs.tbz2
Created attachment 576358 [details] sci-mathematics:kodkod-1.5.2-r1:20190513-040550.log
Created attachment 576360 [details] temp.tbz2
Homepage is 404, and I can't find any trace of it after a quick search (the animal is apparently much more popular). Time to lastrite it?
The bug has been referenced in the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3f2620cd1f4626910d7b80b1ddd9b4af0c3e24c1 commit 3f2620cd1f4626910d7b80b1ddd9b4af0c3e24c1 Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2019-09-07 16:59:54 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2019-09-07 17:11:08 +0000 package.mask: Last rite sci-mathematics/kodkod{,i} Bug: https://bugs.gentoo.org/685802 Signed-off-by: Michał Górny <mgorny@gentoo.org> profiles/package.mask | 11 +++++++++++ 1 file changed, 11 insertions(+)
Tree cleaned along with sci-mathenatics/isabelle and other packages that were used by isabelle.
The bug has been closed via the following commit(s): https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=acce022383c5f0a0d923e9555cf02fc30373f29f commit acce022383c5f0a0d923e9555cf02fc30373f29f Author: Michał Górny <mgorny@gentoo.org> AuthorDate: 2019-10-07 08:26:01 +0000 Commit: Michał Górny <mgorny@gentoo.org> CommitDate: 2019-10-07 08:26:01 +0000 sci-mathematics/kodkod: Remove last-rited pkg Closes: https://bugs.gentoo.org/685802 Signed-off-by: Michał Górny <mgorny@gentoo.org> profiles/package.mask | 7 - sci-mathematics/kodkod/Manifest | 2 - ...in-most-specific-varargs-method-selection.patch | 28 ---- sci-mathematics/kodkod/kodkod-1.5.2-r1.ebuild | 141 --------------------- sci-mathematics/kodkod/metadata.xml | 21 --- 5 files changed, 199 deletions(-)
