···

       
1
       
1
       
-
       
{ lib, stdenv, fetchurl, patchelf, gmp }:

     

       
1
       
1
       
+
       
{ lib, stdenv, fetchpatch, fetchurl, patchelf, gmp }:

     

       
2
       
2
       
 
       
let

     

       
3
       
3
       
 
       
  dynamic-linker = stdenv.cc.bintools.dynamicLinker;

     

       
4
       
4
       
 
       
in

     
···

       
9
       
9
       
 
       
  src =

     

       
10
       
10
       
 
       
    if stdenv.hostPlatform.system == "x86_64-linux" then

     

       
11
       
11
       
 
       
      (fetchurl {

     

       
12
       
12
       
-
       
        url = "https://github.com/MLton/mlton/releases/download/on-${version}-release/${pname}-${version}-1.amd64-linux-glibc2.31.tgz.tgz";

     

       
13
       
13
       
-
       
        sha256 = "0f4q575yfm5dpg4a2wsnqn4l2zrar96p6rlsk0dw10ggyfwvsjlf";

     

       
12
       
12
       
+
       
        url = "https://github.com/MLton/mlton/releases/download/on-${version}-release/${pname}-${version}-1.amd64-linux-glibc2.31.tgz";

     

       
13
       
13
       
+
       
        sha256 = "1lj51xg9p75qj1x5036lvjvd4a2j21kfi6vh8d0n9kdcdffvb73l";

     

       
14
       
14
       
 
       
      })

     

       
15
       
15
       
 
       
    else if stdenv.hostPlatform.system == "x86_64-darwin" then

     

       
16
       
16
       
 
       
      (fetchurl {

     

       
17
       
17
       
 
       
        url = "https://github.com/MLton/mlton/releases/download/on-${version}-release/${pname}-${version}-1.amd64-darwin-19.6.gmp-static.tgz";

     

       
18
       
18
       
-
       
        sha256 = "1cw7yhw48qp12q0adwf8srpjzrgkp84kmlkqw3pz8vkxz4p9hbdv";

     

       
18
       
18
       
+
       
        sha256 = "0xndr2awlxdqr81j6snl9zqjx8r6f5fy9x65j1w899kf2dh9zsjv";

     

       
19
       
19
       
 
       
      })

     

       
20
       
20
       
 
       
    else

     

       
21
       
21
       
 
       
      throw "Architecture not supported";

     

       
22
       
22
       
+
       


     

       
23
       
23
       
+
       
  patches = [

     

       
24
       
24
       
+
       
    (fetchpatch {

     

       
25
       
25
       
+
       
      name = "remove-duplicate-if.patch";

     

       
26
       
26
       
+
       
      url = "https://github.com/MLton/mlton/commit/22002cd0a53a1ab84491d74cb8dc6a4e50c1f7b7.patch";

     

       
27
       
27
       
+
       
      decode = "sed -e 's|Makefile\.binary|Makefile|g'";

     

       
28
       
28
       
+
       
      hash = "sha256-Gtmc+OIh+m7ordSn74fpOKVDQDtYyLHe6Le2snNCBYQ=";

     

       
29
       
29
       
+
       
    })

     

       
30
       
30
       
+
       
  ];

     

       
22
       
31
       
 
       


     

       
23
       
32
       
 
       
  buildInputs = [ gmp ];

     

       
24
       
33
       
 
       
  nativeBuildInputs = lib.optional stdenv.isLinux patchelf;

     

···

       
15
       
15
       
 
       
  mlton20210117Binary = callPackage ./20210117-binary.nix { };

     

       
16
       
16
       
 
       


     

       
17
       
17
       
 
       
  mlton20210117 = callPackage ./from-git-source.nix {

     

       
18
       
18
       
-
       
    mltonBootstrap = mlton20180207Binary;

     

       
18
       
18
       
+
       
    mltonBootstrap = mlton20210117Binary;

     

       
19
       
19
       
 
       
    version = "20210117";

     

       
20
       
20
       
 
       
    rev = "on-20210117-release";

     

       
21
       
21
       
 
       
    sha256 = "sha256-rqL8lnzVVR+5Hc7sWXK8dCXN92dU76qSoii3/4StODM=";

     

       
22
       
22
       
 
       
  };

     

       
23
       
23
       
 
       


     

       
24
       
24
       
 
       
  mltonHEAD = callPackage ./from-git-source.nix {

     

       
25
       
25
       
-
       
    mltonBootstrap = mlton20180207Binary;

     

       
25
       
25
       
+
       
    mltonBootstrap = mlton20210117Binary;

     

       
26
       
26
       
 
       
    version = "HEAD";

     

       
27
       
27
       
 
       
    rev = "875f7912a0b135a9a7e86a04ecac9cacf0bfe5e5";

     

       
28
       
28
       
 
       
    sha256 = "sha256-/MIoVqqv8qrJPehU7VRFpXtAAo8UUzE3waEvB7WnS9A=";