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.

Sign up for GitHub

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

Jump to bottom

Implement a 'v2-reconfigure' command #5591

Closed
23Skidoo opened this issue Sep 25, 2018 · 1 comment · Fixed by #7402
Closed

Implement a 'v2-reconfigure' command #5591

23Skidoo opened this issue Sep 25, 2018 · 1 comment · Fixed by #7402
Assignees
@emilypi
Labels
cabal-install: cmd/(re)configure cabal-install: nix-local-build type: enhancement
Milestone
Considered for 3.4

Comments

@23Skidoo
Copy link
Member

For old-build we have a useful reconfigure command (originally implemented by @ttuegel), which is like configure, but instead of fully overwriting the old settings file, it mappends the new flags on top of the old ones and records that. I think it'd be useful to have this for v2-build as well.

/cc @bugthunk
@23Skidoo 23Skidoo added this to the 3.0 milestone Sep 25, 2018
@23Skidoo 23Skidoo modified the milestones: 3.0, 3.0.1.0 Oct 16, 2019
@phadej phadej modified the milestones: 3.0.1.0, 3.2, 3.4 Nov 27, 2019
@emilypi
Copy link
Member

emilypi commented Jan 28, 2021 •
edited
Loading

I would like to take this on if possible. Mind if i assign to myself?

@emilypi emilypi self-assigned this Jan 28, 2021
@ptkato ptkato mentioned this issue May 19, 2021
Merged
3 tasks
@emilypi emilypi mentioned this issue May 24, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@emilypi emilypi

Labels
cabal-install: cmd/(re)configure cabal-install: nix-local-build type: enhancement
Projects
None yet
Milestone
Considered for 3.4
Development

Successfully merging a pull request may close this issue.

cabal v2-configure ptkato/cabal
4 participants
@23Skidoo @phadej @fgaz @emilypi