[script] use graalvm for t1-helper

Signed-off-by: Avimitin <[email protected]>

nix/overlay.nix

@@ -22,7 +22,7 @@ in
   fetchMillDeps = final.callPackage ./pkgs/mill-builder.nix { };
   circt-full = final.callPackage ./pkgs/circt-full.nix { };
 
-  mill = let jre = final.jdk21; in
+  mill = let jre = final.graalvm-ce; in
     (prev.mill.override { inherit jre; }).overrideAttrs (_: {
       passthru = { inherit jre; };
     });

script/build.sc

@@ -17,4 +17,21 @@ object script extends RootModule with ScalaModule {
   def scalaVersion = v.scala3
   def scalacOptions = Seq("-new-syntax")
   override def ivyDeps = Agg(v.mainargs, v.oslib, v.upickle)
+
+  def nativeImage = T {
+    val jar = super.assembly()
+    val nativeImageArgs = Seq(
+      // don't fallback to using JRE, so that we can get a minimal size binary.
+      "--no-fallback"
+    )
+    val outputArgs = Seq(
+      "-jar",
+      jar.path.toString(),
+      (T.dest / "out.elf").toString()
+    )
+    os.proc(
+      Seq("native-image") ++ nativeImageArgs ++ outputArgs
+    ).call(stdout = os.Inherit, stderr = os.Inherit)
+    PathRef(T.dest / "out.elf")
+  }
 }

script/default.nix

@@ -4,10 +4,7 @@
 , makeWrapper
 
 , metals
-, gnugrep
-, jre
 , mill
-, strip-nondeterminism
 }:
 
 let
@@ -36,7 +33,8 @@ let
     passthru.dev = self.overrideAttrs (old: {
       nativeBuildInputs = old.nativeBuildInputs ++ [
         metals
-        gnugrep
+        # Metals require java to work correctly
+        mill.passthru.jre
       ];
 
       shellHook = ''
@@ -50,24 +48,18 @@ let
 
     nativeBuildInputs = [
       mill
-      strip-nondeterminism
 
       makeWrapper
       passthru.millDeps.setupHook
     ];
 
     buildPhase = ''
-      mill -i assembly
+      mill -i nativeImage
     '';
 
     installPhase = ''
-      mkdir -p $out/share/java "$out"/bin
-
-      strip-nondeterminism out/assembly.dest/out.jar
-
-      mv out/assembly.dest/out.jar $out/share/java/"$name".jar
-
-      makeWrapper ${jre}/bin/java "$out"/bin/"$name" --add-flags "-jar $out/share/java/$name.jar"
+      mkdir -p "$out"/bin
+      cp out/nativeImage.dest/out.elf "$out"/bin/"$name"
     '';
   };
 in