pkgs/by-name/me/metis-prover/package.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchFromGitHub,
   5   perl,
   6   mlton,
   7 }:
   8
   9 stdenv.mkDerivation {
  10   pname = "metis-prover";
  11   version = "2.4.20200713";
  12
  13   src = fetchFromGitHub {
  14     owner = "gilith";
  15     repo = "metis";
  16     rev = "d17c3a8cf6537212c5c4bfdadcf865bd25723132";
  17     sha256 = "phu1x0yahK/B2bSOCvlze7UJw8smX9zw6dJTpDD9chM=";
  18   };
  19
  20   nativeBuildInputs = [ perl ];
  21   buildInputs = [ mlton ];
  22
  23   patchPhase = "patchShebangs .";
  24
  25   buildPhase = "make mlton";
  26
  27   installPhase = ''
  28     install -Dm0755 bin/mlton/metis $out/bin/metis
  29   '';
  30
  31   meta = with lib; {
  32     description = "Automatic theorem prover for first-order logic with equality";
  33     mainProgram = "metis";
  34     homepage = "https://www.gilith.com/research/metis/";
  35     license = licenses.mit;
  36     maintainers = with maintainers; [ gebner ];
  37     platforms = platforms.unix;
  38   };
  39 }