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

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