update planaritry to 4.0.0.0#40153
Conversation
|
It works in Fedora 42, and the gnu17 option is no more needed now. |
|
You'll also need the Gentoo patch for dev-gap/digraphs |
|
And this fedora patch for semigroups would help for gap_packages. |
|
works on Arch, thanks! |
|
The |
|
@antonio-rojas this should fix the regression you pointed out. Hopefully upstream has settled on the header naming scheme. |
I gather it's https://gitweb.gentoo.org/repo/gentoo.git/tree/dev-gap/digraphs/files/digraphs-planarity-4.x.patch |
|
@antonio-rojas - could you review it? |
|
Builds on Arch and uses system planarity |
long overdue - also, supports gcc-15 out of the box
removed compile checks, as they were testing for a very old planarity version, and keeping it needs figuring out the header version to use.
|
Documentation preview for this PR (built with commit 9c31736; changes) is ready! 🎉 |
sagemathgh-40153: update planaritry to 4.0.0.0 long overdue - also, supports gcc-15 out of the box ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#40153 Reported by: Dima Pasechnik Reviewer(s): gmou3
sagemathgh-40153: update planaritry to 4.0.0.0 long overdue - also, supports gcc-15 out of the box ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#40153 Reported by: Dima Pasechnik Reviewer(s): gmou3
sagemathgh-40153: update planaritry to 4.0.0.0 long overdue - also, supports gcc-15 out of the box ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#40153 Reported by: Dima Pasechnik Reviewer(s): gmou3
sagemathgh-40153: update planaritry to 4.0.0.0 long overdue - also, supports gcc-15 out of the box ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#40153 Reported by: Dima Pasechnik Reviewer(s): gmou3
sagemathgh-40153: update planaritry to 4.0.0.0 long overdue - also, supports gcc-15 out of the box ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#40153 Reported by: Dima Pasechnik Reviewer(s): gmou3
sagemathgh-40153: update planaritry to 4.0.0.0 long overdue - also, supports gcc-15 out of the box ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> URL: sagemath#40153 Reported by: Dima Pasechnik Reviewer(s): gmou3
sagemathgh-40204: Remove pkgconf spkg `pkgconf`, a.k.a. `pkg-config`, is available on all systems we support - even on the "naked" (no homebrew/macports) macOS one can install a formally certified/notarised package https://github.com/donmccaughey/pkg-config_pkg - so there is no reason to keep it in the tree. There are big advantages to have pkg-config available at configure time, as recognition of several crucial external spkgs, such as (open)blas, zlib, etc. hinges upon pkg-config. With this PR in, we proceed to remove them. Last but not the least, it simplifies the Makefile by getting rid of `base` target, which becomes empty ## 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> - sagemath#40011 - remove bzip2 spkg. - sagemath#40153 - planarity spkg fix (can't build otherwise) URL: sagemath#40204 Reported by: Dima Pasechnik Reviewer(s): Dima Pasechnik, Tobias Diez
sagemathgh-40204: Remove pkgconf spkg `pkgconf`, a.k.a. `pkg-config`, is available on all systems we support - even on the "naked" (no homebrew/macports) macOS one can install a formally certified/notarised package https://github.com/donmccaughey/pkg-config_pkg - so there is no reason to keep it in the tree. There are big advantages to have pkg-config available at configure time, as recognition of several crucial external spkgs, such as (open)blas, zlib, etc. hinges upon pkg-config. With this PR in, we proceed to remove them. Last but not the least, it simplifies the Makefile by getting rid of `base` target, which becomes empty ## 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> - [x] The title is concise and informative. - [x] The description explains in detail what this PR is about. - [x] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation and checked the documentation preview. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on. For example, --> <!-- - sagemath#12345: short description why this is a dependency --> <!-- - sagemath#34567: ... --> - sagemath#40011 - remove bzip2 spkg. - sagemath#40153 - planarity spkg fix (can't build otherwise) URL: sagemath#40204 Reported by: Dima Pasechnik Reviewer(s): Dima Pasechnik, Tobias Diez
long overdue - also, supports gcc-15 out of the box
📝 Checklist
⌛ Dependencies