Skip to content

strip hls .so's? #3504

Open
Open
@unhammer

Description

@unhammer

I used to download a hls release from github, last time I did this for 8.10.7, the resulting file took 140M. Now I tried ghcup because there are no longer hls releases and it had to download for five different ghc's which altogether takes up 1.9G.

Can/should ghcup at least strip the .so's? That brings e.g. lib/8.10.7 down from 348M to 261M.

(It'd also be nice if it could just download the hls for the ghc I'm actually using, but I can understand if that's more complicated.)

Metadata

Metadata

Assignees

No one assigned

    Labels

    bindistsAnything to do with binary distributions of HLStype: enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions