Merge pull request #95875 from Pamplemousse/gdb

gdb: Give it a `pname`
This commit is contained in:
John Ericson 2020-08-21 14:12:20 -04:00 committed by GitHub
commit 728f8e21d4
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -17,20 +17,19 @@
}: }:
let let
basename = "gdb-${version}"; basename = "gdb";
version = "9.2"; targetPrefix = stdenv.lib.optionalString (stdenv.targetPlatform != stdenv.hostPlatform)
"${stdenv.targetPlatform.config}-";
in in
assert pythonSupport -> python3 != null; assert pythonSupport -> python3 != null;
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = pname = targetPrefix + basename;
stdenv.lib.optionalString (stdenv.targetPlatform != stdenv.hostPlatform) version = "9.2";
(stdenv.targetPlatform.config + "-")
+ basename;
src = fetchurl { src = fetchurl {
url = "mirror://gnu/gdb/${basename}.tar.xz"; url = "mirror://gnu/gdb/${basename}-${version}.tar.xz";
sha256 = "0mf5fn8v937qwnal4ykn3ji1y2sxk0fa1yfqi679hxmpg6pdf31n"; sha256 = "0mf5fn8v937qwnal4ykn3ji1y2sxk0fa1yfqi679hxmpg6pdf31n";
}; };