diff options
| author | Kei Kebreau <kkebreau@posteo.net> | 2019-07-06 05:15:16 -0400 |
|---|---|---|
| committer | Kei Kebreau <kkebreau@posteo.net> | 2019-07-15 09:58:50 -0400 |
| commit | f828d05b28ed79c63c0eb521350506ad3b42cbf8 (patch) | |
| tree | ba69c81252cce40c4ec71a67b0671012651e1fc1 /gnu | |
| parent | d054fbf57dacdf9bd177bb920d7f4c941dc1f9e9 (diff) | |
| download | patches-f828d05b28ed79c63c0eb521350506ad3b42cbf8.tar patches-f828d05b28ed79c63c0eb521350506ad3b42cbf8.tar.gz | |
gnu: Add amtk.
* gnu/packages/gnome.scm (amtk): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/gnome.scm | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 3ddca75f81..92ba991fc2 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -3375,6 +3375,37 @@ playlists in a variety of formats.") which are easy to play with the aid of a mouse.") (license license:gpl3+))) +(define-public amtk + (package + (name "amtk") + (version "5.0.0") + (source (origin + (method url-fetch) + (uri (string-append "mirror://gnome/sources/" name "/" + (version-major+minor version) "/" + name "-" version ".tar.xz")) + (sha256 + (base32 + "1zriix7bdwcg0868mfc7jy6zbwjwdmjwbh0ah6dbddrhiabrda8j")))) + (build-system gnu-build-system) + (arguments + '(#:configure-flags '("--enable-gtk-doc"))) + (native-inputs + `(("gobject-introspection" ,gobject-introspection) + ("glib:bin" ,glib "bin") ; for glib-mkenums + ("gtk-doc" ,gtk-doc) + ("pkg-config" ,pkg-config))) + (inputs + `(("glib" ,glib) + ("gtk+" ,gtk+))) + (home-page "https://wiki.gnome.org/Projects/Amtk") + (synopsis "Actions, Menus and Toolbars Kit for GTK+ applications") + (description + "Amtk is the acronym for @acronym{Amtk, Actions Menus and Toolbars Kit}. +It is a basic GtkUIManager replacement based on GAction. It is suitable for +both a traditional UI or a modern UI with a GtkHeaderBar.") + (license license:lgpl2.1+))) + (define-public devhelp (package (name "devhelp") |