pinwheel: Add JAVA_HOME to scala module

This commit is contained in:
Alexander Heldt
2024-07-01 12:23:55 +02:00
parent d8e52d8666
commit 75ca66c2b3

View File

@@ -1,6 +1,8 @@
{ pkgs, lib, config, ... }: { pkgs, lib, config, ... }:
let let
enabled = config.mod.scala.enable; enabled = config.mod.scala.enable;
globalJDKVersion = pkgs.jdk17;
in in
{ {
options = { options = {
@@ -11,11 +13,15 @@ in
config = lib.mkIf enabled { config = lib.mkIf enabled {
home-manager.users.alex = { home-manager.users.alex = {
home.sessionVariables.JAVA_HOME = "${globalJDKVersion.home}";
home.packages = [ home.packages = [
globalJDKVersion
pkgs.scala-cli pkgs.scala-cli
(pkgs.scala_2_13.override { jre = pkgs.jdk17; }) (pkgs.scala_2_13.override { jre = globalJDKVersion; })
(pkgs.sbt.override { jre = pkgs.jdk17; }) (pkgs.sbt.override { jre = globalJDKVersion; })
(pkgs.metals.override { jre = pkgs.jdk17; }) (pkgs.metals.override { jre = globalJDKVersion; })
]; ];
}; };
}; };