diff options
author | Mitch Tishmack <mitch.tishmack@gmail.com> | 2017-02-19 14:39:48 -0600 |
---|---|---|
committer | Timo Teräs <timo.teras@iki.fi> | 2017-02-21 13:50:32 +0000 |
commit | f18fdcb41ea0524542edea6c3053197394403919 (patch) | |
tree | 6e062815799386e40bb4133a84e1b341db062e37 /testing/ghc/ghc.post-install | |
parent | 2e1bdd7a3cdd8f6f393422962e9c0a8bff59210f (diff) | |
download | aports-f18fdcb41ea0524542edea6c3053197394403919.tar.bz2 aports-f18fdcb41ea0524542edea6c3053197394403919.tar.xz |
testing/ghc: Split ghc into ghc and ghc-dev, add post-install script
While here ensure that strip --strip-unneeded is called on all
shared libraries and static archives. This reduces the overall
install sizes a skosh.
The larger win here, is stripping out the profiled debugging libraries
from the default ghc package. If someone wanted to debug now
they will need to install ghc-dev to get that RTS and debug libraries.
Realistically this only affects those users that are building
packages that need to debug. As well as future enhancements
to the ghc/haskell which will build packages with profiled libraries
as well. But this compromise for the overall install size
is preferable to users installing libraries they likely won't
need/use and overal bandwidth that consumes.
Since we install via make install DESTDIR=... we need to regenerate the
ghc pkg db at post install time.
[TT: flatten commits]
Diffstat (limited to 'testing/ghc/ghc.post-install')
-rwxr-xr-x | testing/ghc/ghc.post-install | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/testing/ghc/ghc.post-install b/testing/ghc/ghc.post-install new file mode 100755 index 0000000000..43a1034bf6 --- /dev/null +++ b/testing/ghc/ghc.post-install @@ -0,0 +1,5 @@ +#!/bin/sh +# Force ghc-pkg to recache the base installed packages. Necessary as we +# did make install DESTDIR=... so the cache has invalid locations. + +ghc-pkg recache |