2017-06-02 16:49:52 +01:00
|
|
|
{ mkDerivation
|
2017-02-25 15:44:01 +00:00
|
|
|
, lib
|
2018-10-24 19:53:06 +01:00
|
|
|
, fetchurl
|
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 {
|
2020-10-13 18:21:17 +01:00
|
|
|
name = "kile-2.9.93";
|
2011-10-04 12:12:11 +01:00
|
|
|
|
2018-10-24 19:53:06 +01:00
|
|
|
src = fetchurl {
|
|
|
|
url = "mirror://sourceforge/kile/${name}.tar.bz2";
|
2020-10-13 18:21:17 +01:00
|
|
|
sha256 = "BEmSEv/LJPs6aCkUmnyuTGrV15WYXwgIANbfcviMXfA=";
|
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";
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://www.kde.org/applications/office/kile/";
|
2017-05-16 16:56:41 +01:00
|
|
|
maintainers = with lib.maintainers; [ fridh ];
|
|
|
|
license = lib.licenses.gpl2Plus;
|
|
|
|
};
|
2011-10-04 12:12:11 +01:00
|
|
|
}
|