e17gtk: finish decoupling from gnome3 version

This commit is contained in:
José Romildo Malaquias 2017-08-29 14:24:17 +02:00 committed by Vladimír Čunát
parent 2858c41823
commit fe6c5adecf
No known key found for this signature in database
GPG Key ID: E747DF1F9575A3AA

View File

@ -1,18 +1,14 @@
{ stdenv, fetchFromGitHub, gnome3 }: { stdenv, fetchFromGitHub }:
let
gnome3 = { version = "3.22"; }; # FIXME
in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "e17gtk-${version}"; name = "e17gtk-${version}";
version = "${gnome3.version}.1"; version = "3.22.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "tsujan"; owner = "tsujan";
repo = "E17gtk"; repo = "E17gtk";
rev = "V${version}"; rev = "V${version}";
sha256 = { sha256 = "0y1v5hamssgzgcmwbr60iz7wipb9yzzj3ypzkc6i65mp4pyazrv8";
"3.22" = "0y1v5hamssgzgcmwbr60iz7wipb9yzzj3ypzkc6i65mp4pyazrv8";
}."${gnome3.version}";
}; };
installPhase = '' installPhase = ''