-
-
Notifications
You must be signed in to change notification settings - Fork 656
build/pkgs/free_fonts
: Fix fedora system package information
#37073
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
Actually, it looks like The actual rpms are called |
OK for Fedora 38 and OpenBSD - tested on real systems |
…o do not set IGNORE_MISSING_SYSTEM_PACKAGES=no
Documentation preview for this PR (built with commit b7032a1; changes) is ready! 🎉 |
Thanks for fixing this. LGTM. Did this pass the "CI Linux Incremental" test? Perhaps "CI Linux Incremental" does not check optional system packages. |
I tested with some fedora versions. It works well. I read this:
but I still don't understand the purpose of
? |
Thanks for testing!
It's all about balancing the effective use of system packages vs. the burden of maintenance:
Before this PR, we had the line
This marked The comment from the ticket description says that because gnu-free-sans-fonts is not available on It's admittedly a bit twisty... |
Thanks for the detailed explanation. |
Thanks! |
sagemathgh-37073: `build/pkgs/free_fonts`: Fix fedora system package information <!-- ^^^^^ Please provide a concise, informative and self-explanatory title. Don't put issue numbers in there, do this in the PR body below. For example, instead of "Fixes sagemath#1234" use "Introduce new method to calculate 1+1" --> <!-- Describe your changes here in detail --> The package `gnu-free-fonts` does not exist, as seen for example in - `fedora-36-maximal` (https://github.com/sagemath/sage/actions/runs/752 1668027/job/20497322866). - `fedora-39-maximal` (https://github.com/sagemath/sage/actions/runs/752 1668027/job/20497323960#step:11:20270) `gnu-free-fonts` is merely the name of the source package, the actual rpms are called `gnu-free-mono-fonts`, `gnu-free-sans-fonts `, `gnu- free-serif-fonts` https://koji.fedoraproject.org/koji/buildinfo?buildID=2308657 Here we adjust for it. According to https://rpmfind.net/linux/rpm2html/search.php?query=gnu- free-sans-fonts, the packages are available for fedora >=37, EPEL 9, centos-7, centos-stream-8. Accordingly we remove the setting `IGNORE_MISSING_SYSTEM_PACKAGES=no` from fedora < 37. Also adding fedora-40, the new rawhide. <!-- Why is this change required? What problem does it solve? --> <!-- If this PR resolves an open issue, please link to it here. For example "Fixes sagemath#12345". --> <!-- If your change requires a documentation PR, please link it appropriately. --> ### 📝 Checklist <!-- Put an `x` in all the boxes that apply. --> <!-- If your change requires a documentation PR, please link it appropriately --> <!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> <!-- Feel free to remove irrelevant items. --> - [x] The title is concise, informative, and self-explanatory. - [x] The description explains in detail what this PR is about. - [ ] I have linked a relevant issue or discussion. - [ ] I have created tests covering the changes. - [ ] I have updated the documentation accordingly. ### ⌛ Dependencies <!-- List all open PRs that this PR logically depends on - sagemath#12345: short description why this is a dependency - sagemath#34567: ... --> <!-- If you're unsure about any of these, don't hesitate to ask. We're here to help! --> URL: sagemath#37073 Reported by: Matthias Köppe Reviewer(s): Kwankyu Lee
The package
gnu-free-fonts
does not exist, as seen for example infedora-36-maximal
(https://github.com/sagemath/sage/actions/runs/7521668027/job/20497322866).fedora-39-maximal
(https://github.com/sagemath/sage/actions/runs/7521668027/job/20497323960#step:11:20270)gnu-free-fonts
is merely the name of the source package, the actual rpms are calledgnu-free-mono-fonts
,gnu-free-sans-fonts
,gnu-free-serif-fonts
https://koji.fedoraproject.org/koji/buildinfo?buildID=2308657Here we adjust for it.
According to https://rpmfind.net/linux/rpm2html/search.php?query=gnu-free-sans-fonts, the packages are available for fedora >=37, EPEL 9, centos-7, centos-stream-8. Accordingly we remove the setting
IGNORE_MISSING_SYSTEM_PACKAGES=no
from fedora < 37.Also adding fedora-40, the new rawhide.
📝 Checklist
⌛ Dependencies