pkgs/applications/science/logic/ekrhyper/default.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchurl,
   5   ocaml,
   6   perl,
   7 }:
   8
   9 stdenv.mkDerivation rec {
  10   pname = "ekrhyper";
  11   version = "1_4_21022014";
  12
  13   src = fetchurl {
  14     url = "http://userpages.uni-koblenz.de/~bpelzer/ekrhyper/ekrh_${version}.tar.gz";
  15     sha256 = "sha256-fEe0DIMGj7wO+79/BZf45kykgyTXpbZJsyFSt31XqpM=";
  16   };
  17
  18   strictDeps = true;
  19   nativeBuildInputs = [
  20     ocaml
  21     perl
  22   ];
  23   setSourceRoot = "export sourceRoot=$(echo */ekrh/src)";
  24   preInstall = "export INSTALLDIR=$out";
  25   postInstall = ''for i in "$out/casc"/*; do ln -s "$i" "$out/bin/ekrh-casc-$(basename $i)"; done '';
  26
  27   meta = with lib; {
  28     description = "Automated first-order theorem prover";
  29     license = licenses.gpl2;
  30     maintainers = with maintainers; [ raskin ];
  31     platforms = platforms.linux;
  32   };
  33 }