summary refs log blame commit diff
path: root/pkgs/development/compilers/mlton/from-git-source.nix
blob: ec0b96bbf23a34903a2b60d858f8673912087acf (plain) (tree)
1
2
3
4
5
6
7
8
9







                                        
       


                     

                  




                           

                                


                                     
                                                                                                
                                           
 












                                           
{ fetchgit
, gmp
, mltonBootstrap
, url ? "https://github.com/mlton/mlton"
, rev
, sha256
, stdenv
, version
, which
}:

stdenv.mkDerivation {
  pname = "mlton";
  inherit version;

  src = fetchgit {
    inherit url rev sha256;
  };

  nativeBuildInputs = [ which ];

  buildInputs = [mltonBootstrap gmp];

  preBuild = ''
    find . -type f | grep -v -e '\.tgz''$' | xargs sed -i "s@/usr/bin/env bash@$(type -p bash)@"
    sed -i "s|/tmp|$TMPDIR|" bin/regression

    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;
}