diff options
author | Sophia Donataccio <srdqty@gmail.com> | 2018-10-12 00:47:54 -0400 |
---|---|---|
committer | Sophia Donataccio <srdqty@gmail.com> | 2018-10-12 00:47:54 -0400 |
commit | bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce (patch) | |
tree | a8ab6e79e34744e1c5c0a922d4a2387699976506 /pkgs/development/compilers | |
parent | fd9a07c7d4dc1679805e2699bdea8ade3c0ed1d9 (diff) | |
download | nixlib-bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce.tar nixlib-bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce.tar.gz nixlib-bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce.tar.bz2 nixlib-bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce.tar.lz nixlib-bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce.tar.xz nixlib-bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce.tar.zst nixlib-bb7ed2cd8119583a8ed2f5ef0b8b71f26bd436ce.zip |
mlton: refactor and adds mlton20180207Binary mlton20180207 mltonHEAD
This commit adds mltonHEAD. Summary of all the changes in this branch: * mlton20130715 - for this one I just copy and pasted the old default.nix - I have tested some projects that compile with this version and don't compile with the newer version, so I think it makes sense to keep the old version * mlton20180207Binary - This is used to build the source derivations * mlton20180207 - latest release * mltonHEAD - latest commit to the master branch of the github repo at the time of creating this derivation
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/mlton/default.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mlton/default.nix b/pkgs/development/compilers/mlton/default.nix index b32a817e20ac..aaf588851402 100644 --- a/pkgs/development/compilers/mlton/default.nix +++ b/pkgs/development/compilers/mlton/default.nix @@ -15,4 +15,12 @@ rec { sha256 = "00rdd2di5x1dzac64il9z05m3fdzicjd3226wwjyynv631jj3q2a"; inherit stdenv fetchgit gmp; }; + + mltonHEAD = import ./from-git-source.nix { + mltonBootstrap = mlton20180207Binary; + version = "HEAD"; + rev = "e149c9917cfbfe6aba5c986a958ed76d5cc6cfde"; + sha256 = "0a0j1i0f0fxw2my1309srq5j3vz0kawrrln01gxms2m5hy5dl50d"; + inherit stdenv fetchgit gmp; + }; } |