2016-03-04 00:53:42 +00:00
|
|
|
# This module provides JAVA_HOME, with a different way to install java
|
|
|
|
# system-wide.
|
|
|
|
|
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.programs.java;
|
|
|
|
in
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
programs.java = {
|
|
|
|
|
2022-08-30 00:30:04 +00:00
|
|
|
enable = mkEnableOption (lib.mdDoc "java") // {
|
|
|
|
description = lib.mdDoc ''
|
2016-03-04 00:53:42 +00:00
|
|
|
Install and setup the Java development kit.
|
2022-08-30 00:30:04 +00:00
|
|
|
|
|
|
|
::: {.note}
|
|
|
|
This adds JAVA_HOME to the global environment, by sourcing the
|
|
|
|
jdk's setup-hook on shell init. It is equivalent to starting a shell
|
|
|
|
through 'nix-shell -p jdk', or roughly the following system-wide
|
|
|
|
configuration:
|
|
|
|
|
|
|
|
environment.variables.JAVA_HOME = ''${pkgs.jdk.home}/lib/openjdk;
|
|
|
|
environment.systemPackages = [ pkgs.jdk ];
|
|
|
|
:::
|
2016-03-04 00:53:42 +00:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
package = mkOption {
|
|
|
|
default = pkgs.jdk;
|
2021-10-03 16:06:03 +00:00
|
|
|
defaultText = literalExpression "pkgs.jdk";
|
2022-07-28 21:19:15 +00:00
|
|
|
description = lib.mdDoc ''
|
2016-03-04 00:53:42 +00:00
|
|
|
Java package to install. Typical values are pkgs.jdk or pkgs.jre.
|
|
|
|
'';
|
|
|
|
type = types.package;
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
|
|
|
|
|
|
|
environment.systemPackages = [ cfg.package ];
|
|
|
|
|
|
|
|
environment.shellInit = ''
|
|
|
|
test -e ${cfg.package}/nix-support/setup-hook && source ${cfg.package}/nix-support/setup-hook
|
|
|
|
'';
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|