2017-06-02 16:49:52 +01:00
|
|
|
{ mkDerivation
|
2017-02-25 15:44:01 +00:00
|
|
|
, lib
|
|
|
|
, fetchgit
|
2017-02-26 12:49:15 +00:00
|
|
|
, extra-cmake-modules
|
2017-02-25 15:44:01 +00:00
|
|
|
, kdoctools
|
2017-05-16 16:56:41 +01:00
|
|
|
, wrapGAppsHook
|
2017-02-25 15:44:01 +00:00
|
|
|
, qtscript
|
|
|
|
, kconfig
|
|
|
|
, kcrash
|
|
|
|
, kdbusaddons
|
|
|
|
, kdelibs4support
|
|
|
|
, kguiaddons
|
|
|
|
, kiconthemes
|
|
|
|
, kinit
|
|
|
|
, khtml
|
|
|
|
, konsole
|
|
|
|
, kparts
|
|
|
|
, ktexteditor
|
|
|
|
, kwindowsystem
|
2017-04-23 17:00:40 +01:00
|
|
|
, okular
|
2017-02-25 15:44:01 +00:00
|
|
|
, poppler
|
2015-09-27 16:11:01 +01:00
|
|
|
}:
|
2011-10-04 12:12:11 +01:00
|
|
|
|
2017-05-16 16:56:41 +01:00
|
|
|
mkDerivation rec {
|
|
|
|
name = "kile-${version}";
|
|
|
|
version = "2017-02-09";
|
2011-10-04 12:12:11 +01:00
|
|
|
|
2017-05-16 16:56:41 +01:00
|
|
|
src = fetchgit {
|
|
|
|
url = git://anongit.kde.org/kile.git;
|
|
|
|
rev = "f77f6e627487c152f111e307ad6dc71699ade746";
|
|
|
|
sha256 = "0wpqaix9ssa28cm7qqjj0zfrscjgk8s3kmi5b4kk8h583gsrikib";
|
2011-10-04 12:12:11 +01:00
|
|
|
|
2017-05-16 16:56:41 +01:00
|
|
|
};
|
2011-10-04 12:12:11 +01:00
|
|
|
|
2017-05-16 16:56:41 +01:00
|
|
|
nativeBuildInputs = [ extra-cmake-modules wrapGAppsHook ];
|
2012-06-20 10:11:58 +01:00
|
|
|
|
2017-05-16 16:56:41 +01:00
|
|
|
propagatedBuildInputs = [
|
|
|
|
kconfig
|
|
|
|
kcrash
|
|
|
|
kdbusaddons
|
|
|
|
kdelibs4support
|
|
|
|
kdoctools
|
|
|
|
kguiaddons
|
|
|
|
kiconthemes
|
|
|
|
kinit
|
|
|
|
khtml
|
|
|
|
kparts
|
|
|
|
ktexteditor
|
|
|
|
kwindowsystem
|
|
|
|
okular
|
|
|
|
poppler
|
|
|
|
qtscript
|
|
|
|
];
|
2017-02-25 15:44:01 +00:00
|
|
|
|
2017-05-16 16:56:41 +01:00
|
|
|
propagatedUserEnvPkgs = [ konsole ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Kile is a user friendly TeX/LaTeX authoring tool for the KDE desktop environment";
|
|
|
|
homepage = https://www.kde.org/applications/office/kile/;
|
|
|
|
maintainers = with lib.maintainers; [ fridh ];
|
|
|
|
license = lib.licenses.gpl2Plus;
|
|
|
|
};
|
2011-10-04 12:12:11 +01:00
|
|
|
}
|