"Build profile" message doesn't reflect optimization setting from ~/.cabal/config #8487
Labels
Comments
ulysses4ever
added
type: enhancement
re: user experience
ulysses4ever
added a commit
that referenced
this issue
Sep 20, 2022
It still reports local config's optimization level if it was set. Fix #8487.
3 tasks
|
Objections? I think a fix should be welcome! |
|
PR is posted #8488 |
ulysses4ever
added a commit
that referenced
this issue
Sep 20, 2022
It still reports local config's optimization level if it was set. Fix #8487.
ulysses4ever
added a commit
that referenced
this issue
Sep 21, 2022
It still reports local config's optimization level if it was set. Fix #8487.
ulysses4ever
added a commit
that referenced
this issue
Sep 21, 2022
It still reports local config's optimization level if it was set. Fix #8487.
|
@mouse07410: could you kindly review, given that this PR is based on your input? |
|
Edit: ideally, test locally and review. |
|
Edit: wrong window. :) |
andreabedini
pushed a commit
that referenced
this issue
Oct 1, 2022
It still reports local config's optimization level if it was set. Fix #8487.
alexbiehl
pushed a commit
to alexbiehl/cabal
that referenced
this issue
Dec 15, 2022
It still reports local config's optimization level if it was set. Fix haskell#8487.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Originally posted by @mouse07410 in #6221 (comment)
The title says it all. I checked that the
optimization: 2in the global config is not reflected, but the local packages respect it (unless it was overridden down the line -- in cabal.project(.local) or .cabal files). It's not hard to fix. I could take it if there's no objections.The text was updated successfully, but these errors were encountered: