2016-06-29 22:05:48 +02:00
|
|
|
{ back, base, gui, gsmakeDerivation, fetchurl }:
|
2014-12-12 17:58:21 +01:00
|
|
|
let
|
2018-09-27 21:01:08 +02:00
|
|
|
version = "1.2.0";
|
2014-12-12 17:58:21 +01:00
|
|
|
in
|
2015-01-25 17:34:52 +01:00
|
|
|
gsmakeDerivation {
|
2014-12-12 17:58:21 +01:00
|
|
|
name = "system_preferences-${version}";
|
|
|
|
src = fetchurl {
|
|
|
|
url = "ftp://ftp.gnustep.org/pub/gnustep/usr-apps/SystemPreferences-${version}.tar.gz";
|
2018-09-27 21:01:08 +02:00
|
|
|
sha256 = "1fg7c3ihfgvl6n21rd17fs9ivx3l8ps874m80vz86n1callgs339";
|
2014-12-12 17:58:21 +01:00
|
|
|
};
|
2015-01-25 17:34:52 +01:00
|
|
|
# GNUSTEP_MAKEFILES = "${gnustep_make}/share/GNUstep/Makefiles";
|
2016-06-27 22:32:47 +02:00
|
|
|
buildInputs = [ back base gui ];
|
2015-01-25 17:34:52 +01:00
|
|
|
# propagatedBuildInputs = [ gnustep_back gnustep_base gnustep_gui ];
|
2014-12-12 17:58:21 +01:00
|
|
|
meta = {
|
2016-07-11 22:00:49 +02:00
|
|
|
description = "The settings manager for the GNUstep environment and its applications";
|
2014-12-12 17:58:21 +01:00
|
|
|
};
|
|
|
|
}
|