Merge #192065: knot-*: set .meta.mainProgram

This commit is contained in:
Vladimír Čunát 2022-09-25 17:06:45 +02:00
commit 0c0c230cd2
No known key found for this signature in database
GPG key ID: E747DF1F9575A3AA
2 changed files with 3 additions and 0 deletions

View file

@ -81,5 +81,6 @@ stdenv.mkDerivation rec {
license = licenses.gpl3Plus; license = licenses.gpl3Plus;
platforms = platforms.unix; platforms = platforms.unix;
maintainers = [ maintainers.vcunat ]; maintainers = [ maintainers.vcunat ];
mainProgram = "knotd";
}; };
} }

View file

@ -98,6 +98,7 @@ unwrapped = stdenv.mkDerivation rec {
license = licenses.gpl3Plus; license = licenses.gpl3Plus;
platforms = platforms.unix; platforms = platforms.unix;
maintainers = [ maintainers.vcunat /* upstream developer */ ]; maintainers = [ maintainers.vcunat /* upstream developer */ ];
mainProgram = "kresd";
}; };
}; };
@ -112,6 +113,7 @@ wrapped-full = runCommand unwrapped.name
]; ];
preferLocalBuild = true; preferLocalBuild = true;
allowSubstitutes = false; allowSubstitutes = false;
inherit (unwrapped) meta;
} }
'' ''
mkdir -p "$out"/bin mkdir -p "$out"/bin