Merge pull request #9976 from gebner/metis

metis: init at 2.3
This commit is contained in:
Arseniy Seroka 2015-09-21 22:54:32 +03:00
commit eeea90a61d
2 changed files with 31 additions and 0 deletions

View file

@ -0,0 +1,29 @@
{ stdenv, fetchurl, perl, mlton }:
stdenv.mkDerivation rec {
name = "metis-prover-${version}";
version = "2.3";
src = fetchurl {
url = "http://www.gilith.com/software/metis/metis.tar.gz";
sha256 = "07wqhic66i5ip2j194x6pswwrxyxrimpc4vg0haa5aqv9pfpmxad";
};
nativeBuildInputs = [ perl ];
buildInputs = [ mlton ];
patchPhase = "patchShebangs scripts/mlpp";
buildPhase = "make mlton";
installPhase = ''
install -Dm0755 bin/mlton/metis $out/bin/metis
'';
meta = with stdenv.lib; {
description = "Automatic theorem prover for first-order logic with equality";
homepage = http://www.gilith.com/research/metis/;
license = licenses.mit;
maintainers = with maintainers; [ gebner ];
};
}

View file

@ -14349,6 +14349,8 @@ let
ocaml_mysql ocamlnet ulex08 camlzip ocaml_pcre;
});
metis-prover = callPackage ../applications/science/logic/metis-prover { };
minisat = callPackage ../applications/science/logic/minisat {};
opensmt = callPackage ../applications/science/logic/opensmt { };