2020-08-06 15:35:49 +00:00
|
|
|
# Java is a rice variant, a coffee blend, an island, and a programming language.
|
|
|
|
# It sure is a flexible thing.
|
|
|
|
{ config, options, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
2020-10-20 15:56:10 +00:00
|
|
|
|
|
|
|
let
|
|
|
|
cfg = config.modules.dev.java;
|
|
|
|
in
|
2020-08-06 15:35:49 +00:00
|
|
|
{
|
|
|
|
options.modules.dev.java = {
|
|
|
|
enable = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2020-10-20 15:56:10 +00:00
|
|
|
config = mkIf cfg.enable {
|
2020-08-16 08:33:44 +00:00
|
|
|
my.packages = with pkgs; [
|
2020-08-06 15:35:49 +00:00
|
|
|
jdk # The Java Development Kit.
|
|
|
|
jre # The Java Runtime Environment for running Java apps.
|
|
|
|
];
|
|
|
|
};
|
|
|
|
}
|