diff options
author | Sophia Donataccio <srdqty@gmail.com> | 2018-10-12 00:30:48 -0400 |
---|---|---|
committer | Sophia Donataccio <srdqty@gmail.com> | 2018-10-12 00:30:48 -0400 |
commit | a130228fe87c06a75f2f19343caea6905f611388 (patch) | |
tree | e1e6395c4c85020631fdda3b0f54f031f1f5082b /pkgs/development/compilers | |
parent | 30da2b565917622f52108bcb93bf759700e6a144 (diff) | |
download | nixlib-a130228fe87c06a75f2f19343caea6905f611388.tar nixlib-a130228fe87c06a75f2f19343caea6905f611388.tar.gz nixlib-a130228fe87c06a75f2f19343caea6905f611388.tar.bz2 nixlib-a130228fe87c06a75f2f19343caea6905f611388.tar.lz nixlib-a130228fe87c06a75f2f19343caea6905f611388.tar.xz nixlib-a130228fe87c06a75f2f19343caea6905f611388.tar.zst nixlib-a130228fe87c06a75f2f19343caea6905f611388.zip |
mlton: adds mlton version 20180207
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 10 | ||||
-rw-r--r-- | pkgs/development/compilers/mlton/from-git-source.nix | 33 |
2 files changed, 42 insertions, 1 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index a0662cd18a31..b32a817e20ac 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchurl, fetchFromGitHub, patchelf, gmp }: +{ stdenv, fetchurl, fetchgit, patchelf, gmp }: rec { mlton20130715 = import ./20130715.nix { inherit stdenv fetchurl patchelf gmp; @@ -7,4 +7,12 @@ rec { mlton20180207Binary = import ./20180207-binary.nix { inherit stdenv fetchurl patchelf gmp; }; + + mlton20180207 = import ./from-git-source.nix { + mltonBootstrap = mlton20180207Binary; + version = "20180207"; + rev = "on-20180207-release"; + sha256 = "00rdd2di5x1dzac64il9z05m3fdzicjd3226wwjyynv631jj3q2a"; + inherit stdenv fetchgit gmp; + }; } diff --git a/pkgs/development/compilers/mlton/from-git-source.nix b/pkgs/development/compilers/mlton/from-git-source.nix new file mode 100644 index 000000000000..6678335b4b9c --- /dev/null +++ b/pkgs/development/compilers/mlton/from-git-source.nix @@ -0,0 +1,33 @@ +{ fetchgit +, gmp +, mltonBootstrap +, url ? "https://github.com/mlton/mlton" +, rev +, sha256 +, stdenv +, version +}: + +stdenv.mkDerivation { + name = "mlton-${version}"; + + src = fetchgit { + inherit url rev sha256; + }; + + buildInputs = [mltonBootstrap gmp]; + + preBuild = '' + makeFlagsArray=( + MLTON_VERSION="${version} ${rev}" + CC="$(type -p cc)" + PREFIX="$out" + WITH_GMP_INC_DIR="${gmp.dev}/include" + WITH_GMP_LIB_DIR="${gmp}/lib" + ) + ''; + + doCheck = true; + + meta = import ./meta.nix; +} |