-
Notifications
You must be signed in to change notification settings - Fork 19
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
Clean up source dependency build artefacts #138
Comments
However i would be 👍 on an extra command option like |
I think if you delete those directories it will corrupt your cache? need to verify that. Ideally we should treat source dependencies the same as hackage ones and build a copy of the source in the global cache, that's the real fix I think. |
That's... concerning. Why? Data files? |
AFAIK you don't get any reuse out of those |
Yeah it is, I'm not 100% on that, I just have my suspicions that's it could be a problem |
I have 22GB worth of build artefacts inside
dist
dirs in source dependencies. Seems like this would be easy to nuke insidemafia clean
, i.e. removelib/source-dep/dist
for each source dep.Any reason not to implement this? @jystic
The text was updated successfully, but these errors were encountered: