diff options
author | Gabriel Ebner <gebner@gebner.org> | 2020-09-09 20:16:18 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2020-09-09 20:16:55 +0200 |
commit | ad0d43e1a714e7fcc10aef96c61a726d6254217b (patch) | |
tree | 5e8b12421704d4de298caffd981a17669dc95018 | |
parent | a7f9d336b7fa7c0a14f056e5acdadae9d7b3c58e (diff) |
mlton: use callPackage
-rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 17 |
1 files changed, 6 insertions, 11 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index 67dfd3d268989..e4381774781c1 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -1,26 +1,21 @@ -{ stdenv, fetchurl, fetchgit, patchelf, gmp, which }: +{ callPackage }: + rec { - mlton20130715 = import ./20130715.nix { - inherit stdenv fetchurl patchelf gmp; - }; + mlton20130715 = callPackage ./20130715.nix {}; - mlton20180207Binary = import ./20180207-binary.nix { - inherit stdenv fetchurl patchelf gmp; - }; + mlton20180207Binary = callPackage ./20180207-binary.nix {}; - mlton20180207 = import ./from-git-source.nix { + mlton20180207 = callPackage ./from-git-source.nix { mltonBootstrap = mlton20180207Binary; version = "20180207"; rev = "on-20180207-release"; sha256 = "00rdd2di5x1dzac64il9z05m3fdzicjd3226wwjyynv631jj3q2a"; - inherit stdenv fetchgit gmp which; }; - mltonHEAD = import ./from-git-source.nix { + mltonHEAD = callPackage ./from-git-source.nix { mltonBootstrap = mlton20180207Binary; version = "HEAD"; rev = "e149c9917cfbfe6aba5c986a958ed76d5cc6cfde"; sha256 = "0a0j1i0f0fxw2my1309srq5j3vz0kawrrln01gxms2m5hy5dl50d"; - inherit stdenv fetchgit gmp which; }; } |