2013-05-09 14:47:40 +01:00
|
|
|
{stdenv, fetchurl, ocaml, perl}:
|
|
|
|
|
let
|
|
|
|
|
s = # Generated upstream information
|
|
|
|
|
rec {
|
|
|
|
|
baseName="ekrhyper";
|
2014-03-08 17:06:16 +00:00
|
|
|
version="1_4_21022014";
|
2013-05-09 14:47:40 +01:00
|
|
|
name="${baseName}-${version}";
|
2014-03-08 17:06:16 +00:00
|
|
|
hash="14xaaxyvfli1nd4vd9fp4j1s8k76z2bhazxzzc7br3q6hc6b8ivw";
|
|
|
|
|
url="http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_1_4_21022014.tar.gz";
|
|
|
|
|
sha256="14xaaxyvfli1nd4vd9fp4j1s8k76z2bhazxzzc7br3q6hc6b8ivw";
|
2013-05-09 14:47:40 +01:00
|
|
|
};
|
|
|
|
|
buildInputs = [
|
|
|
|
|
ocaml perl
|
|
|
|
|
];
|
|
|
|
|
in
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
|
inherit (s) name version;
|
|
|
|
|
inherit buildInputs;
|
|
|
|
|
src = fetchurl {
|
|
|
|
|
inherit (s) url sha256;
|
|
|
|
|
};
|
|
|
|
|
setSourceRoot = "export sourceRoot=$(echo */ekrh/src/)";
|
|
|
|
|
preInstall = "export INSTALLDIR=$out";
|
|
|
|
|
postInstall = ''for i in "$out/casc"/*; do ln -s "$i" "$out/bin/ekrh-casc-$(basename $i)"; done '';
|
|
|
|
|
meta = {
|
|
|
|
|
inherit (s) version;
|
|
|
|
|
description = "Automated first-order theorem prover";
|
|
|
|
|
license = stdenv.lib.licenses.gpl2 ;
|
|
|
|
|
maintainers = [stdenv.lib.maintainers.raskin];
|
|
|
|
|
platforms = stdenv.lib.platforms.linux;
|
|
|
|
|
};
|
|
|
|
|
}
|
