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

Do not keep the build directory #266

Closed
mehdid opened this issue Oct 28, 2012 · 1 comment
Closed

Do not keep the build directory #266

mehdid opened this issue Oct 28, 2012 · 1 comment
Milestone

Comments

@mehdid
Copy link
Contributor

mehdid commented Oct 28, 2012

Hi,

I'm a new user of opam. I think I like it (so far) :) though, one thing bothers me is that Opam keeps the build dir by default. It doesn't make any harm except using disk space uselessly.

Is there any way to tell opam to not keep the build directory after installed the requested packages? (in case of build success). Apologies if the facility is already provided but I didn't find it.

Regards

@samoht
Copy link
Member

samoht commented Oct 28, 2012

We are indeed keeping the build directory to be able to understand what happen when a package fails to build. It is a good idea to suppress the directory when the build succeeds, though, I'll add it in 0.8.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants