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

Add project-file config option to cabal cradle #263

Closed
jneira opened this issue Nov 9, 2020 · 5 comments · Fixed by #357
Closed

Add project-file config option to cabal cradle #263

jneira opened this issue Nov 9, 2020 · 5 comments · Fixed by #357
Labels
good first issue Good for newcomers type: enhancement New feature or request

Comments

@jneira
Copy link
Member

jneira commented Nov 9, 2020

@jneira jneira added the type: enhancement New feature or request label Nov 9, 2020
@fendor
Copy link
Collaborator

fendor commented Nov 9, 2020

I don't think it would help with #195, because cabal uses the same dist-newstyle directory, afaict.

@jneira
Copy link
Member Author

jneira commented Nov 10, 2020

Oh, you are right: https://cabal.readthedocs.io/en/latest/cabal-project.html#cmdoption-builddir. There is an open issue about: haskell/cabal#5271
So to workaround that we should add a builddiroption, for both stack and cabal and use it when executing them.

@fendor
Copy link
Collaborator

fendor commented Nov 10, 2020

Adding a builddir option feels like a temporary hack for something that should be fixed eventually by asking for the relevant information directly. I want to avoid adding fields that should become obsolete at some point in the future.

@jneira
Copy link
Member Author

jneira commented Nov 10, 2020

So cabal-build-info will not generate any build products that may be in another location? is it a pure query of a preexisting build, without trigger any cabal command?

@fendor
Copy link
Collaborator

fendor commented Nov 14, 2020

It triggers a configure, and builds dependencies if necessary, iirc. It is not a pure query.

EDIT: sorry for the late response.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
good first issue Good for newcomers type: enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants