| Commit message (Collapse) | Author | Age | Files |
| |
|
|
|
|
|
|
| |
We don't want to use the upstream targets, so we need to get the name
right when we remove it. If I was not so devious the first time around,
the rm would have failed without -f.
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
|
|
|
|
|
|
|
| |
I thought this built OK against the new libplanarity, but bug 977995
reveals that the build system was falling back to a bundled copy of
planarity-4.x. The new revision requires >= planarity-5, supported with
a patch (and eautoreconf), and deletes the bundled libraries to prevent
similar mistakes in the future.
Closes: https://bugs.gentoo.org/977995
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
|
|
|
|
| |
Includes https://github.com/semigroups/Semigroups/pull/1181
to fix a failing test that snuck in.
Closes: https://bugs.gentoo.org/977319
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
|
| |
Closes: https://bugs.gentoo.org/974508
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
|
| |
Closes: https://bugs.gentoo.org/974277
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
|
| |
Closes: https://bugs.gentoo.org/973822
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|
| |
|
|
| |
Signed-off-by: Michael Orlitzky <mjo@gentoo.org>
|