3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #218561 from lf-/jade/ubootTools-man

ubootTools: add man pages
This commit is contained in:
Doron Behar 2023-08-23 09:43:19 +00:00 committed by GitHub
commit c121c5f0fa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -8,6 +8,7 @@
, fetchurl
, flex
, gnutls
, installShellFiles
, libuuid
, meson-tools
, ncurses
@ -61,6 +62,7 @@ let
bison
dtc
flex
installShellFiles
openssl
(buildPackages.python3.withPackages (p: [
p.libfdt
@ -132,6 +134,12 @@ in {
dontStrip = false;
extraMeta.platforms = lib.platforms.linux;
extraMakeFlags = [ "HOST_TOOLS_ALL=y" "CROSS_BUILD_TOOLS=1" "NO_SDL=1" "tools" ];
outputs = [ "out" "man" ];
postInstall = ''
installManPage doc/*.1
'';
filesToInstall = [
"tools/dumpimage"
"tools/fdtgrep"