33 lines
896 B
Nix
33 lines
896 B
Nix
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
|
|
}
|