3
0
Fork 0
forked from mirrors/nixpkgs

gnome3.gnome-shell-extensions: fix build

This commit is contained in:
Jan Tojnar 2018-03-13 23:46:11 +01:00
parent 039b2923eb
commit 32b59d0961
No known key found for this signature in database
GPG key ID: 7FAB2A15F7A607A4

View file

@ -1,5 +1,4 @@
{ stdenv, intltool, fetchurl, libgtop, pkgconfig, gtk3, glib { stdenv, fetchurl, meson, ninja, gettext, pkgconfig, spidermonkey_52, glib, gnome3 }:
, bash, makeWrapper, itstool, gnome3, file }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gnome-shell-extensions-${version}"; name = "gnome-shell-extensions-${version}";
@ -11,16 +10,18 @@ stdenv.mkDerivation rec {
}; };
passthru = { passthru = {
updateScript = gnome3.updateScript { packageName = "gnome-shell-extensions"; attrPath = "gnome3.gnome-shell-extensions"; }; updateScript = gnome3.updateScript {
packageName = "gnome-shell-extensions";
attrPath = "gnome3.gnome-shell-extensions";
};
}; };
doCheck = true; doCheck = true;
nativeBuildInputs = [ pkgconfig ]; nativeBuildInputs = [ meson ninja pkgconfig gettext glib ];
buildInputs = [ gtk3 glib libgtop intltool itstool buildInputs = [ spidermonkey_52 ];
makeWrapper file ];
configureFlags = [ "--enable-extensions=all" ]; mesonFlags = [ "-Dextension_set=all" ];
meta = with stdenv.lib; { meta = with stdenv.lib; {
homepage = https://wiki.gnome.org/Projects/GnomeShell/Extensions; homepage = https://wiki.gnome.org/Projects/GnomeShell/Extensions;