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

   1 { lib, stdenv, fetchurl, which, enableHO ? false }:
   2
   3 stdenv.mkDerivation rec {
   4   pname = "eprover";
   5   version = "3.1";
   6
   7   src = fetchurl {
   8     url = "https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_${version}/E.tgz";
   9     hash = "sha256-+E2z7JAkiNXhZrWRXFbhI5f9NmB0Q4eixab4GlAFqYY=";
  10   };
  11
  12   buildInputs = [ which ];
  13
  14   preConfigure = ''
  15     sed -e 's/ *CC *= *gcc$//' -i Makefile.vars
  16   '';
  17   configureFlags = [
  18     "--exec-prefix=$(out)"
  19     "--man-prefix=$(out)/share/man"
  20   ] ++ lib.optionals enableHO [
  21     "--enable-ho"
  22   ];
  23
  24   meta = with lib; {
  25     description = "Automated theorem prover for full first-order logic with equality";
  26     homepage = "http://www.eprover.org/";
  27     license = licenses.gpl2;
  28     maintainers = with maintainers; [ raskin gebner ];
  29     platforms = platforms.all;
  30   };
  31 }