tjh.dev
1{ fetchgit
2, gmp
3, mltonBootstrap
4, url ? "https://github.com/mlton/mlton"
5, rev
6, sha256
7, stdenv
8, version
9}:
10
11stdenv.mkDerivation {
12 name = "mlton-${version}";
13
14 src = fetchgit {
15 inherit url rev sha256;
16 };
17
18 buildInputs = [mltonBootstrap gmp];
19
20 preBuild = ''
21 find . -type f | grep -v -e '\.tgz''$' | xargs sed -i "s@/usr/bin/env bash@$(type -p bash)@"
22
23 makeFlagsArray=(
24 MLTON_VERSION="${version} ${rev}"
25 CC="$(type -p cc)"
26 PREFIX="$out"
27 WITH_GMP_INC_DIR="${gmp.dev}/include"
28 WITH_GMP_LIB_DIR="${gmp}/lib"
29 )
30 '';
31
32 doCheck = true;
33
34 meta = import ./meta.nix;
35}