{stdenv, fetchgit, perl, flex, bison, gmp, mpfr, cmake}:

assert stdenv.system == "x86_64-linux";

stdenv.mkDerivation {
  name = "path64-2010-07-02";

  src = fetchgit {
    url = git://github.com/path64/compiler.git;
    rev = "e17f7f952831bbf1d996";
    sha256 = "fa1320959e1131557d5f82e98f4621a222ec45e1d6e0e7f271d2c13de4fd0dd1";
  };

  patchPhase = ''
    sed -i s,/usr/bin/ld,$(type -P ld), src/driver/phases.c
    sed -i s,/lib64/ld-linux-x86-64.so.2,${stdenv.cc.libc.out}/lib/ld-linux-x86-64.so.2, src/include/main_defs.h.in
  '';

  cmakeFlags = ''
    -DPATH64_ENABLE_HUGEPAGES=ON 
    -DPATH64_ENABLE_MATHLIBS=ON -DPATH64_ENABLE_OPENMP=ON 
    -DPATH64_ENABLE_PSCRUNTIME=OFF
    -DPATH64_ENABLE_PROFILING=OFF -DPATH64_ENABLE_TARGETS=x8664 
    -DCMAKE_BUILD_TYPE=Debug -DPATH64_ENABLE_FORTRAN=OFF
    -DPSC_CRT_PATH=${stdenv.cc.libc.out}/lib
  '';

  makeFlags = "-j4";

  installPhase = ''
    exit 1; 
  '';

  buildInputs = [ perl flex bison gmp mpfr cmake ];
}