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

Exclude documentation from ghc installations #4438

Open
miniBill opened this Issue Dec 9, 2018 · 5 comments

Comments

Projects
None yet
3 participants
@miniBill
Copy link

miniBill commented Dec 9, 2018

I think that the ghc docs shouldn't be installed by default (I'm talking about the docs in .stack/programs/x86_64-linux/ghc-X.Y.Z/share/doc/ghc-X.Y.Z/html).

@mattaudesse

This comment has been minimized.

Copy link
Member

mattaudesse commented Dec 10, 2018

Hey @miniBill,

Could you say a little bit more about why you think those docs should be excluded? Is it a space consideration?

$ du -hsc ~/.stack/programs/x86_64-linux/ghc-tinfo6-8.4.4/share/doc/ghc-8.4.4/html
381M    /home/matt/.stack/programs/x86_64-linux/ghc-tinfo6-8.4.4/share/doc/ghc-8.4.4/html
381M    total

381 megabytes definitely isn't small, but on the other hand...

$ du -hsc ~/.stack
11G     /home/matt/.stack
11G     total

:-)

@miniBill

This comment has been minimized.

Copy link

miniBill commented Dec 10, 2018

@dbaynard

This comment has been minimized.

Copy link
Contributor

dbaynard commented Dec 10, 2018

Seems like a good option (with my 64GB ssd I speak from personal experience) — though selecting it as default would require more discussion. I suspect as an option it should go in the config.yaml as it doesn't affect reproducibility of builds.

@miniBill Would you like to investigate?

@dbaynard

This comment has been minimized.

Copy link
Contributor

dbaynard commented Dec 10, 2018

(If it goes in config — which is where it belongs — it will need a fix to #3887, too)

@mattaudesse

This comment has been minimized.

Copy link
Member

mattaudesse commented Dec 10, 2018

Thanks @miniBill - Allowing people to selectively skip storing docs there makes sense to me too.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment