1
0
Fork 0
mirror of https://github.com/nix-community/home-manager synced 2024-11-27 05:29:46 +01:00

eclipse: add option enableLombok

This commit is contained in:
Robert Helgesson 2018-01-09 22:03:13 +01:00
parent b2ed0a902b
commit d7715f71ad
No known key found for this signature in database
GPG key ID: C3DB11069E65DC86

View file

@ -15,6 +15,16 @@ in
programs.eclipse = {
enable = mkEnableOption "Eclipse";
enableLombok = mkOption {
type = types.bool;
default = false;
example = true;
description = ''
Whether to enable the Lombok Java Agent in Eclipse. This is
necessary to use the Lombok class annotations.
'';
};
jvmArgs = mkOption {
type = types.listOf types.str;
default = [];
@ -33,7 +43,10 @@ in
home.packages = [
(pkgs.eclipses.eclipseWithPlugins {
eclipse = pkgs.eclipses.eclipse-platform;
jvmArgs = cfg.jvmArgs;
jvmArgs =
cfg.jvmArgs
++ optional cfg.enableLombok
"-javaagent:${pkgs.lombok}/share/java/lombok.jar";
plugins = cfg.plugins;
})
];