aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorRaghav Gururajan <raghavgururajan@disroot.org>2019-12-30 13:37:53 -0500
committerJan Nieuwenhuizen <janneke@gnu.org>2019-12-30 20:57:49 +0100
commit304162651aa4785eefdf447b4a9ea771e2a4d06d (patch)
treea713e83051b0a1afa1c1aaed9cf3540f09bac3cb /gnu
parentfc4eb87dc45b169e3912c73bbf60cb8ce76b7c7c (diff)
downloadguix-304162651aa4785eefdf447b4a9ea771e2a4d06d.tar
guix-304162651aa4785eefdf447b4a9ea771e2a4d06d.tar.gz
gnu: Add gnome-menus.
* gnu/packages/gnome.scm (gnome-menus). New variable.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/gnome.scm23
1 files changed, 23 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index e0712bf99a..ad3e78c284 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -246,6 +246,29 @@ Desktop. It is designed to be as simple as possible and has some unique
features to enable users to create their discs easily and quickly.")
(license license:gpl2+)))
+(define-public gnome-menus
+ (package
+ (name "gnome-menus")
+ (version "3.32.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "mirror://gnome/sources/gnome-menus/"
+ (version-major+minor version) "/"
+ name "-" version ".tar.xz"))
+ (sha256
+ (base32
+ "0x2blzqrapmbsbfzxjcdcpa3vkw9hq5k96h9kvjmy9kl415wcl68"))))
+ (build-system gnu-build-system)
+ (native-inputs
+ `(("gettext" ,gettext-minimal)
+ ("glib" ,glib)
+ ("pkg-config" ,pkg-config)))
+ (synopsis "Menu support for GNOME desktop")
+ (description "GNOME Menus contains the libgnome-menu library, the layout
+configuration files for the GNOME menu, as well as a simple menu editor.")
+ (home-page "https://gitlab.gnome.org/GNOME/gnome-menus")
+ (license license:gpl2)))
+
(define-public deja-dup
(package
(name "deja-dup")