Skip to content

local config files #549

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

Closed
bos opened this issue May 24, 2012 · 4 comments
Closed

local config files #549

bos opened this issue May 24, 2012 · 4 comments

Comments

@bos
Copy link
Contributor

bos commented May 24, 2012

(Imported from Trac #556, reported by guest on 2009-05-31)

It would be nice if I could locally (for a project/directory) store the options I want to pass to "cabal configure".

An example use case would be in the darcs project which has a flag "-ftype-witnesses". We don't want to inflict this on most users because it increases our compile time, but for developers of certain branches of darcs want to be systematically using this flag so that they can catch errors. These developers could just "cabal configure -ftype-witnesses", but then if they do a "cabal clean" for any reason, the next time they run "cabal configure", they may forget to pass the flag along.

To be clear, this is something to be used by individual developers; it's not something we want for the .cabal file itself. Duncan says that this would be a bit like a local .ghci file, if it helps.

@bos
Copy link
Contributor Author

bos commented May 24, 2012

(Imported comment by @dcoutts on 2009-05-31)

This is related to #294 but would use the cabal-install set of config flags, not just the Cabal lib config flags.

We would also want to make hackage check for these files and reject them if found.

@bos
Copy link
Contributor Author

bos commented May 24, 2012

(Imported comment by @kosmikus on 2009-05-31)

Also see #780.

@bos
Copy link
Contributor Author

bos commented May 24, 2012

(Imported comment by @kosmikus on 2012-03-06)

Also see #910.

@jsl
Copy link

jsl commented Feb 24, 2015

Given that there is no activity on this ticket since 2009 (the comment in 2012 doesn't seem to link to a related issue), I propose closing this ticket. Please re-open or create a new ticket if this is still desired.

/cc @tibbe

@tibbe tibbe closed this as completed Feb 24, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

3 participants