diff options
author | Luca Bruno <lucabru@src.gnome.org> | 2014-05-18 21:08:04 +0200 |
---|---|---|
committer | Luca Bruno <lucabru@src.gnome.org> | 2014-05-20 13:41:33 +0200 |
commit | d05fa3ccfeafbf81e514a82cf2f04fff2b03659b (patch) | |
tree | 06daeb89a6b398fa369a45a37f995b0dccc67d6a /pkgs/desktops/gnome-3/apps/gnome-music | |
parent | 139608dd34414ae63e6679d34436588029d463b0 (diff) | |
download | nixlib-d05fa3ccfeafbf81e514a82cf2f04fff2b03659b.tar nixlib-d05fa3ccfeafbf81e514a82cf2f04fff2b03659b.tar.gz nixlib-d05fa3ccfeafbf81e514a82cf2f04fff2b03659b.tar.bz2 nixlib-d05fa3ccfeafbf81e514a82cf2f04fff2b03659b.tar.lz nixlib-d05fa3ccfeafbf81e514a82cf2f04fff2b03659b.tar.xz nixlib-d05fa3ccfeafbf81e514a82cf2f04fff2b03659b.tar.zst nixlib-d05fa3ccfeafbf81e514a82cf2f04fff2b03659b.zip |
Branch gnome 3.12
Diffstat (limited to 'pkgs/desktops/gnome-3/apps/gnome-music')
-rw-r--r-- | pkgs/desktops/gnome-3/apps/gnome-music/default.nix | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/pkgs/desktops/gnome-3/apps/gnome-music/default.nix b/pkgs/desktops/gnome-3/apps/gnome-music/default.nix deleted file mode 100644 index b8d2bbc79efd..000000000000 --- a/pkgs/desktops/gnome-3/apps/gnome-music/default.nix +++ /dev/null @@ -1,54 +0,0 @@ -{ stdenv, intltool, fetchurl, gdk_pixbuf, tracker -, python3, libxml2, python3Packages, libnotify -, pkgconfig, gtk3, glib, hicolor_icon_theme, cairo -, makeWrapper, itstool, gnome3, librsvg, gst_all_1 }: - -stdenv.mkDerivation rec { - name = "gnome-music-3.10.4"; - - src = fetchurl { - url = "mirror://gnome/sources/gnome-music/3.10/${name}.tar.xz"; - sha256 = "64220d4c0f9115a6ed27ec99c7ec7afc065d12e5a32371936f303ef981f5325f"; - }; - - propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ]; - - buildInputs = [ pkgconfig gtk3 glib intltool itstool gnome3.libmediaart - gdk_pixbuf gnome3.gnome_icon_theme librsvg python3 - gnome3.grilo libxml2 python3Packages.pygobject3 libnotify - python3Packages.pycairo python3Packages.dbus - gst_all_1.gstreamer gst_all_1.gst-plugins-base - gst_all_1.gst-plugins-good gst_all_1.gst-plugins-bad - hicolor_icon_theme gnome3.gnome_icon_theme_symbolic - gnome3.gsettings_desktop_schemas makeWrapper tracker ]; - - enableParallelBuilding = true; - - preFixup = - let - libPath = stdenv.lib.makeLibraryPath - [ glib gtk3 libnotify tracker gnome3.grilo cairo - gst_all_1.gstreamer gst_all_1.gst-plugins-base - gst_all_1.gst-plugins-good gst_all_1.gst-plugins-bad ]; - in - '' - wrapProgram "$out/bin/gnome-music" \ - --set GDK_PIXBUF_MODULE_FILE "$GDK_PIXBUF_MODULE_FILE" \ - --prefix XDG_DATA_DIRS : "${gnome3.gnome_themes_standard}/share:$XDG_ICON_DIRS:$GSETTINGS_SCHEMAS_PATH" \ - --prefix GI_TYPELIB_PATH : "$GI_TYPELIB_PATH" \ - --prefix LD_LIBRARY_PATH : "${libPath}" \ - --prefix GST_PLUGIN_SYSTEM_PATH_1_0 : "$GST_PLUGIN_SYSTEM_PATH_1_0" \ - --prefix GRL_PLUGIN_PATH : "${gnome3.grilo-plugins}/lib/grilo-0.2" \ - --prefix PYTHONPATH : "$PYTHONPATH" - - rm $out/share/icons/hicolor/icon-theme.cache - ''; - - meta = with stdenv.lib; { - homepage = https://wiki.gnome.org/Apps/Music; - description = "Music player and management application for the GNOME desktop environment"; - maintainers = with maintainers; [ lethalman ]; - license = licenses.gpl2; - platforms = platforms.linux; - }; -} |