ghc8102BinaryMinimal: Re-add docs, remove more profiling files
(cherry picked from commit 7bd21d3e2da8b9ae394258cef9f18bf0a8dd2d47)
This commit is contained in:
parent
8201f4f6fd
commit
dda47e489a
@ -7,8 +7,6 @@
|
|||||||
# regular builds and GHC bootstrapping.
|
# regular builds and GHC bootstrapping.
|
||||||
# This is "useful" for staying within hydra's output limits for at least the
|
# This is "useful" for staying within hydra's output limits for at least the
|
||||||
# aarch64-linux architecture.
|
# aarch64-linux architecture.
|
||||||
# Examples of unnecessary files are the bundled documentation and files that
|
|
||||||
# are only needed for profiling builds.
|
|
||||||
, minimal ? false
|
, minimal ? false
|
||||||
}:
|
}:
|
||||||
|
|
||||||
@ -182,11 +180,15 @@ stdenv.mkDerivation rec {
|
|||||||
done
|
done
|
||||||
'' +
|
'' +
|
||||||
stdenv.lib.optionalString minimal ''
|
stdenv.lib.optionalString minimal ''
|
||||||
# Remove profiling objects
|
# Remove profiling files
|
||||||
find $out -type f -name '*.p_o' -delete
|
find $out -type f -name '*.p_o' -delete
|
||||||
|
find $out -type f -name '*.p_hi' -delete
|
||||||
|
find $out -type f -name '*_p.a' -delete
|
||||||
rm $out/lib/ghc-*/bin/ghc-iserv-prof
|
rm $out/lib/ghc-*/bin/ghc-iserv-prof
|
||||||
# Remove docs
|
# Hydra will redistribute this derivation, so we have to keep the docs for
|
||||||
rm -r $out/share/{doc,man}
|
# legal reasons (retaining the legal notices etc)
|
||||||
|
# As a last resort we could unpack the docs separately and symlink them in.
|
||||||
|
# They're in $out/share/{doc,man}.
|
||||||
'';
|
'';
|
||||||
|
|
||||||
doInstallCheck = true;
|
doInstallCheck = true;
|
||||||
|
Loading…
x
Reference in New Issue
Block a user