pinwheel: Pin JDK for scala

2024-06-03 21:25:01 +02:00
parent ec3be3c7b1
commit dc2d10b22c
1 changed files with 4 additions and 1 deletions
--- a/hosts/pinwheel/modules/scala/default.nix
+++ b/hosts/pinwheel/modules/scala/default.nix
@@ -12,7 +12,10 @@ in
  config = lib.mkIf enabled {
    home-manager.users.alex = {
      home.packages = [
-        pkgs.metals
+        pkgs.scala-cli
+        (pkgs.scala_2_13.override { jre = pkgs.jdk17; })
+        (pkgs.sbt.override { jre = pkgs.jdk17; })
+        (pkgs.metals.override { jre = pkgs.jdk17; })
      ];
    };
  };