Something went wrong. Try again.
What happens if I push all of nixpkgs
Something went wrong. Try again.
822 B · 49 lines
Nix
1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950{ 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 mltonBootstrap ];
buildInputs = [ gmp ];
strictDeps = true;
# build fails otherwise enableParallelBuilding = false;
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;}