Merge pull request #394 from ckoparkar/master

Add a Nix build script

package/nix/default.nix

@@ -0,0 +1,31 @@
+{ pkgs   ? import <nixpkgs> {},
+  stdenv ? pkgs.stdenv,
+  gcc ? pkgs.gcc,
+  gmp ? pkgs.gmp,
+  git ? pkgs.git,
+  gnumake ? pkgs.gnumake,
+  binutils ? pkgs.binutils-unwrapped,
+  bash ? pkgs.bash,
+  mlton ? pkgs.mlton
+}:
+
+stdenv.mkDerivation rec {
+  name = "mlton";
+
+  # The root "mlton" directory.
+  src = ../../.;
+
+  buildInputs = [ gcc gmp git gnumake binutils bash mlton ];
+
+  doCheck = true;
+
+  buildPhase = ''
+    find . -type f | grep -v -e '\.tgz''$' | xargs sed -i "s@/usr/bin/env bash@$(type -p bash)@"
+    make
+  '';
+
+  installPhase = ''
+    make install PREFIX=$out
+  '';
+
+}