gtk3: change name to gtk+3-3.*, don't lower priority
This is to allow alongside installation of gtk2 and gtk3 in user envs. Therefore, decreasing the priority of gtk3 was superfluous now.
This commit is contained in:
parent
908ce109f9
commit
48811001c4
2 changed files with 3 additions and 3 deletions
|
@ -13,7 +13,7 @@ let
|
|||
ver_min = "6";
|
||||
in
|
||||
stdenv.mkDerivation rec {
|
||||
name = "gtk+-${ver_maj}.${ver_min}";
|
||||
name = "gtk+3-${ver_maj}.${ver_min}";
|
||||
|
||||
src = fetchurl {
|
||||
url = "mirror://gnome/sources/gtk+/${ver_maj}/${name}.tar.xz";
|
||||
|
|
|
@ -4366,9 +4366,9 @@ let
|
|||
cupsSupport = config.gtk2.cups or stdenv.isLinux;
|
||||
};
|
||||
|
||||
gtk3 = lowPrio (callPackage ../development/libraries/gtk+/3.x.nix {
|
||||
gtk3 = callPackage ../development/libraries/gtk+/3.x.nix {
|
||||
inherit (gnome3) at_spi2_atk;
|
||||
});
|
||||
};
|
||||
|
||||
gtk = pkgs.gtk2;
|
||||
|
||||
|
|
Loading…
Reference in a new issue