2021-04-25 19:48:35 +02:00
|
|
|
{ lib
|
|
|
|
, stdenv
|
2021-11-02 11:02:19 +01:00
|
|
|
, fetchFromGitHub
|
2021-04-25 19:48:35 +02:00
|
|
|
, autoconf
|
|
|
|
, automake
|
|
|
|
, bc
|
|
|
|
, fluxbox
|
|
|
|
, gettext
|
|
|
|
, glibmm
|
|
|
|
, gtkmm2
|
|
|
|
, libglademm
|
|
|
|
, libsigcxx
|
|
|
|
, pkg-config
|
|
|
|
}:
|
2014-09-03 09:47:47 +02:00
|
|
|
|
2020-06-07 23:11:08 +02:00
|
|
|
stdenv.mkDerivation rec {
|
2019-08-15 14:41:18 +02:00
|
|
|
pname = "fme";
|
2014-09-03 09:47:47 +02:00
|
|
|
version = "1.1.3";
|
2021-01-01 14:46:40 +01:00
|
|
|
|
2021-11-02 11:02:19 +01:00
|
|
|
src = fetchFromGitHub {
|
|
|
|
owner = "rdehouss";
|
|
|
|
repo = "fme";
|
|
|
|
rev = "v${version}";
|
|
|
|
sha256 = "sha256-P67OmExBdWM6NZhDyYceVJOZiy8RC+njk/QvgQcWZeQ=";
|
2014-09-03 09:47:47 +02:00
|
|
|
};
|
|
|
|
|
2021-04-25 19:48:35 +02:00
|
|
|
nativeBuildInputs = [
|
|
|
|
autoconf
|
|
|
|
automake
|
|
|
|
gettext
|
|
|
|
pkg-config
|
|
|
|
];
|
|
|
|
buildInputs = [
|
|
|
|
bc
|
|
|
|
fluxbox
|
|
|
|
glibmm
|
|
|
|
gtkmm2
|
|
|
|
libglademm
|
|
|
|
libsigcxx
|
|
|
|
];
|
2014-09-03 09:47:47 +02:00
|
|
|
|
|
|
|
preConfigure = ''
|
|
|
|
./autogen.sh
|
|
|
|
'';
|
|
|
|
|
2021-01-11 08:54:33 +01:00
|
|
|
meta = with lib; {
|
2021-04-25 19:48:35 +02:00
|
|
|
homepage = "https://github.com/rdehouss/fme/";
|
2014-09-03 09:47:47 +02:00
|
|
|
description = "Editor for Fluxbox menus";
|
|
|
|
longDescription = ''
|
2021-04-25 19:48:35 +02:00
|
|
|
Fluxbox Menu Editor is a menu editor for the Window Manager Fluxbox
|
|
|
|
written in C++ with the libraries Gtkmm, Glibmm, libglademm and gettext
|
|
|
|
for internationalization. Its user-friendly interface will help you to
|
|
|
|
edit, delete, move (Drag and Drop) a row, a submenu, etc very easily.
|
2014-09-03 09:47:47 +02:00
|
|
|
'';
|
2021-04-25 19:48:35 +02:00
|
|
|
license = licenses.gpl2Plus;
|
2014-09-10 20:59:54 +02:00
|
|
|
maintainers = [ maintainers.AndersonTorres ];
|
|
|
|
platforms = platforms.linux;
|
2014-09-03 09:47:47 +02:00
|
|
|
};
|
|
|
|
}
|