gnome-menus: rename from gnome3.gnome-menus

2018-12-25 20:14:32 -05:00
parent 2c76519900
commit 51088d7d96
6 changed files with 12 additions and 13 deletions
@@ -0,0 +1,22 @@
+{ stdenv, fetchurl, intltool, pkgconfig, glib, gobject-introspection }:
+
+stdenv.mkDerivation rec {
+  pname = "gnome-menus";
+  version = "3.10.1";
+
+  src = fetchurl {
+    url = "mirror://gnome/sources/${pname}/${stdenv.lib.versions.majorMinor version}/${pname}-${version}.tar.xz";
+    sha256 = "0wcacs1vk3pld8wvrwq7fdrm11i56nrajkrp6j1da6jc4yx0m5a6";
+  };
+
+  makeFlags = "INTROSPECTION_GIRDIR=$(out)/share/gir-1.0/ INTROSPECTION_TYPELIBDIR=$(out)/lib/girepository-1.0";
+
+  nativeBuildInputs = [ pkgconfig ];
+  buildInputs = [ intltool glib gobject-introspection ];
+
+  meta = {
+    homepage = https://www.gnome.org;
+    description = "Library that implements freedesktops's Desktop Menu Specification in GNOME";
+    platforms = stdenv.lib.platforms.linux;
+  };
+}