MirrorHub/nixpkgs
0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-17 15:22:59 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

metis-prover: init at 2.3

Browse source
This commit is contained in:
Gabriel Ebner 2015-09-21 09:38:38 +02:00
parent af9f1a5552
commit 5493dccfbb
2 changed files with 31 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

29
pkgs/applications/science/logic/metis-prover/default.nix Normal file
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 ];
};
}

2
pkgs/top-level/all-packages.nix
View file

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