Java

Options

Whether to enable tools for Java development.

Type: boolean

Default:

false

Example:

true

Whether to enable gradle.

Type: boolean

Default:

false

Example:

true

The Gradle package to use. The Gradle package by default inherits the JDK from languages.java.jdk.package.

Type: package

Default:

pkgs.gradle.override { java = cfg.jdk.package; }

The JDK package to use. This will also become available as JAVA_HOME.

Type: package

Default:

pkgs.jdk

Example:

pkgs.jdk8

Whether to enable Java Language Server.

Type: boolean

Default:

true

Example:

true

The Java language server package to use.

Type: package

Default:

pkgs.jdt-language-server

Whether to enable maven.

Type: boolean

Default:

false

Example:

true

The Maven package to use. The Maven package by default inherits the JDK from languages.java.jdk.package.

Type: package

Default:

pkgs.maven.override { jdk_headless = cfg.jdk.package; }