Add wip eclipse 5 pkg.

pkgs/eclipse-5.nix

@@ -0,0 +1,32 @@
+with import <nixpkgs> {};
+stdenv.mkDerivation rec {
+  name = "eclipse-clp-${version}";
+  version = "5.10_147";
+
+  src = fetchurl {
+    url = "http://eclipseclp.org/Distribution/Old/${version}/src/eclipse_src.tgz";
+    sha256 = "1473b1byfjgygf80sqyjjl53pvybcyyr397w23f2gn64cv68f6qx";
+  };
+
+  # configureFlags = [ "--without-tcl" ];
+
+  preConfigure = ''
+    find -name Makefile.in | xargs sed -i "s,/bin/\(cp\|mv\|chmod\|pwd\),${coreutils}&,g"
+    sed -i "s,/bin/pwd,pwd,g;s,/usr/bin/ranlib,ranlib,g" RUNME
+    sed -i "s/-fforce-mem/-D_GNU_SOURCE/" configure
+    cp sepia/include/*.h icparc_solvers/
+  '';
+
+  postConfigure = ''
+    ln -s Makefile.*_* Makefile    # rename Makefile.x86_64_linux
+  '';
+
+  postInstall = ''
+    # eclipse puts files in bin/x86_64_linux...
+    mv $out/bin/*/* $out/bin/
+    rmdir $out/bin/*/
+  '';
+
+  buildInputs = [ tcl-8_5 gmp ];
+  # tcltk, java, mysqlclient, latex
+}