2009-09-10 18:57:21 +02:00
|
|
|
args: with args;
|
|
|
|
|
stdenv.mkDerivation {
|
2010-02-11 03:43:48 +01:00
|
|
|
name = "gparted-0.5.1";
|
2009-09-10 18:57:21 +02:00
|
|
|
|
|
|
|
|
src = fetchurl {
|
2010-06-08 08:20:03 +02:00
|
|
|
url = mirror://sourceforge/gparted/gparted-0.5.1/gparted-0.5.1.tar.bz2;
|
2010-02-11 03:43:48 +01:00
|
|
|
sha256 = "1mqi1hxv6bahp771bqld0a6wx7khdxvz353n47q1wmqykmn4wbp0";
|
2009-09-10 18:57:21 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
configureFlags = "--disable-doc";
|
|
|
|
|
|
|
|
|
|
buildInputs = [parted gtk glib intltool gettext libuuid pkgconfig
|
|
|
|
|
gtkmm gnomedocutils libxml2];
|
|
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
|
description = "gui partition tool";
|
|
|
|
|
homepage = http://gparted.sourceforge.net;
|
|
|
|
|
license = "GPLv2";
|
|
|
|
|
};
|
|
|
|
|
}
|
