diff options
author | Luca Bruno <lucabru@src.gnome.org> | 2014-04-06 14:45:33 +0200 |
---|---|---|
committer | Luca Bruno <lucabru@src.gnome.org> | 2014-04-06 15:23:12 +0200 |
commit | 289d554babc7184c8d350fb9ecd86b0ad2b6bda7 (patch) | |
tree | 4cc3ca3409190dbdeb1c611724ca6b795690d43c /pkgs/desktops | |
parent | 994a1ee4ef105401eddbb7419181a6ed5b7b45d4 (diff) | |
download | nixlib-289d554babc7184c8d350fb9ecd86b0ad2b6bda7.tar nixlib-289d554babc7184c8d350fb9ecd86b0ad2b6bda7.tar.gz nixlib-289d554babc7184c8d350fb9ecd86b0ad2b6bda7.tar.bz2 nixlib-289d554babc7184c8d350fb9ecd86b0ad2b6bda7.tar.lz nixlib-289d554babc7184c8d350fb9ecd86b0ad2b6bda7.tar.xz nixlib-289d554babc7184c8d350fb9ecd86b0ad2b6bda7.tar.zst nixlib-289d554babc7184c8d350fb9ecd86b0ad2b6bda7.zip |
totem: new package
Movie player for the GNOME desktop based on GStreamer https://wiki.gnome.org/Apps/Videos
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome-3/core/totem/default.nix | 48 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/default.nix | 2 |
2 files changed, 50 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/core/totem/default.nix b/pkgs/desktops/gnome-3/core/totem/default.nix new file mode 100644 index 000000000000..a6acbd192dbe --- /dev/null +++ b/pkgs/desktops/gnome-3/core/totem/default.nix @@ -0,0 +1,48 @@ +{ stdenv, intltool, fetchurl, gst_all_1 +, clutter_gtk, clutter-gst, pygobject3, shared_mime_info +, pkgconfig, gtk3, glib, hicolor_icon_theme +, bash, makeWrapper, itstool, libxml2, dbus_glib +, gnome3, librsvg, gdk_pixbuf, file }: + +stdenv.mkDerivation rec { + name = "totem-3.10.1"; + + src = fetchurl { + url = "mirror://gnome/sources/totem/3.10/${name}.tar.xz"; + sha256 = "b6b6038c9104965671a6d25e98496a487c3a9c590c9c104f668bd9f4fa7be9e2"; + }; + + doCheck = true; + + enableParallelBuilding = true; + + NIX_CFLAGS_COMPILE = "-I${gnome3.glib}/include/gio-unix-2.0"; + + propagatedUserEnvPkgs = [ gnome3.gnome_themes_standard ]; + propagatedBuildInputs = [ gdk_pixbuf gnome3.gnome_icon_theme librsvg + hicolor_icon_theme gnome3.gnome_icon_theme_symbolic ]; + + buildInputs = [ pkgconfig gtk3 glib intltool itstool libxml2 gnome3.grilo + clutter_gtk clutter-gst gnome3.totem-pl-parser + gst_all_1.gstreamer gst_all_1.gst-plugins-base + gst_all_1.gst-plugins-good gst_all_1.gst-plugins-bad + gnome3.libpeas pygobject3 shared_mime_info dbus_glib + gnome3.gsettings_desktop_schemas makeWrapper file ]; + + preFixup = '' + wrapProgram "$out/bin/totem" \ + --set GDK_PIXBUF_MODULE_FILE "$GDK_PIXBUF_MODULE_FILE" \ + --prefix GST_PLUGIN_SYSTEM_PATH_1_0 : "$GST_PLUGIN_SYSTEM_PATH_1_0" \ + --prefix XDG_DATA_DIRS : "${gtk3}/share:${gnome3.gnome_themes_standard}/share:$out/share:$XDG_ICON_DIRS:$GSETTINGS_SCHEMAS_PATH" + + rm $out/share/icons/hicolor/icon-theme.cache + ''; + + meta = with stdenv.lib; { + homepage = https://wiki.gnome.org/Apps/Videos; + description = "Movie player for the GNOME desktop based on GStreamer"; + maintainers = with maintainers; [ lethalman ]; + license = licenses.gpl2; + platforms = platforms.linux; + }; +} diff --git a/pkgs/desktops/gnome-3/default.nix b/pkgs/desktops/gnome-3/default.nix index e471616d9603..ee40ff19e716 100644 --- a/pkgs/desktops/gnome-3/default.nix +++ b/pkgs/desktops/gnome-3/default.nix @@ -110,6 +110,8 @@ rec { rest = callPackage ./core/rest { }; + totem = callPackage ./core/totem { }; + totem-pl-parser = callPackage ./core/totem-pl-parser { }; vte = callPackage ./core/vte { }; |