Skip to content
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

dev-haskell/data-default-class, dev-haskell/setlocale: fix profile USE flag #30773

Open
wants to merge 2 commits into
base: master
Choose a base branch
from

Conversation

szczot3k
Copy link
Contributor

When building either one of those packages with the profile USE flag, the GHC also needs to be built with profile USE flag.

Closes: https://bugs.gentoo.org/905132
Closes: https://bugs.gentoo.org/905133

@gentoo-bot
Copy link

Pull Request assignment

Submitter: @szczot3k
Areas affected: ebuilds
Packages affected: dev-haskell/data-default-class, dev-haskell/setlocale

dev-haskell/data-default-class: @gentoo/haskell
dev-haskell/setlocale: @gentoo/haskell

Linked bugs

Bugs linked: 905132, 905133


In order to force reassignment and/or bug reference scan, please append [please reassign] to the pull request title.

Docs: Code of ConductCopyright policy (expl.) ● DevmanualGitHub PRsProxy-maint guide

@gentoo-bot gentoo-bot added assigned PR successfully assigned to the package maintainer(s). bug linked Bug/Closes found in footer, and cross-linked with the PR. labels Apr 27, 2023
@gentoo-repo-qa-bot
Copy link
Collaborator

Pull request CI report

Report generated at: 2023-04-27 10:43 UTC
Newest commit scanned: 1797716
Status: ✅ good

There are existing issues already. Please look into the report to make sure none of them affect the packages in question:
https://qa-reports.gentoo.org/output/gentoo-ci/2f58d3f20f/output.html

@szczot3k szczot3k closed this May 2, 2023
@szczot3k szczot3k deleted the fix/ghcprofile branch May 2, 2023 02:12
@szczot3k szczot3k restored the fix/ghcprofile branch May 2, 2023 02:29
@szczot3k szczot3k reopened this May 2, 2023
@szczot3k
Copy link
Contributor Author

szczot3k commented May 2, 2023

Accidentally removed the branch from my fork, my bad.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
assigned PR successfully assigned to the package maintainer(s). bug linked Bug/Closes found in footer, and cross-linked with the PR.
Projects
None yet
4 participants