mlton: enable aarch64-linux

official binary for bootstrapping added in 20241230
2026-02-11 16:56:13 +01:00
parent f5f4f5e061
commit c886a7c16f
2 changed files with 6 additions and 0 deletions
@@ -19,6 +19,11 @@ stdenv.mkDerivation rec {
        url = "https://github.com/MLton/mlton/releases/download/on-${version}-release/${pname}-${version}-1.amd64-linux.ubuntu-24.04_glibc2.39.tgz";
        sha256 = "sha256-ldXnjHcWGu77LP9WL6vTC6FngzhxPFAUflAA+bpIFZM=";
      })
+    else if stdenv.hostPlatform.system == "aarch64-linux" then
+      (fetchurl {
+        url = "https://github.com/MLton/mlton/releases/download/on-${version}-release/${pname}-${version}-1.arm64-linux.ubuntu-24.04-arm_glibc2.39.tgz";
+        sha256 = "sha256-rn65t253SfUShAM3kXiLQJHT7JS7EO3fAPB23LWIwfc=";
+      })
    else if stdenv.hostPlatform.system == "x86_64-darwin" then
      (fetchurl {
        url = "https://github.com/MLton/mlton/releases/download/on-${version}-release/${pname}-${version}-1.amd64-darwin.macos-13_gmp-static.tgz";
@@ -17,6 +17,7 @@
  platforms = [
    "i686-linux"
    "x86_64-linux"
+    "aarch64-linux"
    "x86_64-darwin"
    "aarch64-darwin"
  ];