diff options
author | Gabriel Ebner <gebner@gebner.org> | 2018-07-05 09:32:41 +0200 |
---|---|---|
committer | Gabriel Ebner <gebner@gebner.org> | 2018-07-05 09:34:28 +0200 |
commit | 57ae4e8d8e3135b7b0419fed16ad11b6d546bb3f (patch) | |
tree | 4af0165039cdc3dfe1323bf5694815ee3314fca2 /pkgs/applications/science/logic/vampire | |
parent | d2b6be544bf041dd4cc41548a9bb8f29e3899689 (diff) | |
download | nixpkgs-57ae4e8d8e3135b7b0419fed16ad11b6d546bb3f.tar nixpkgs-57ae4e8d8e3135b7b0419fed16ad11b6d546bb3f.tar.gz nixpkgs-57ae4e8d8e3135b7b0419fed16ad11b6d546bb3f.tar.bz2 nixpkgs-57ae4e8d8e3135b7b0419fed16ad11b6d546bb3f.tar.lz nixpkgs-57ae4e8d8e3135b7b0419fed16ad11b6d546bb3f.tar.xz nixpkgs-57ae4e8d8e3135b7b0419fed16ad11b6d546bb3f.tar.zst nixpkgs-57ae4e8d8e3135b7b0419fed16ad11b6d546bb3f.zip |
vampire: init at 4.2.2
Diffstat (limited to 'pkgs/applications/science/logic/vampire')
-rw-r--r-- | pkgs/applications/science/logic/vampire/default.nix | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix new file mode 100644 index 00000000000..12b2a36c6ea --- /dev/null +++ b/pkgs/applications/science/logic/vampire/default.nix @@ -0,0 +1,36 @@ +{ stdenv, fetchFromGitHub, z3, zlib, git }: + +stdenv.mkDerivation rec { + version = "4.2.2"; + name = "vampire-${version}"; + + src = fetchFromGitHub { + owner = "vprover"; + repo = "vampire"; + rev = version; + sha256 = "080zwgmyhn0b2c6hqlhcgaw7n3frz02sh894v5kk68kzxbqr29w2"; + fetchSubmodules = true; + leaveDotGit = true; + }; + + nativeBuildInputs = [ git ]; + buildInputs = [ z3 zlib ]; + + makeFlags = [ "vampire_z3_rel" ]; + + fixupPhase = '' + rm -rf z3 + ''; + + installPhase = '' + install -m0755 -D vampire_z3_rel* $out/bin/vampire + ''; + + meta = with stdenv.lib; { + homepage = "https://vprover.github.io/"; + description = "The Vampire Theorem Prover"; + platforms = platforms.unix; + license = licenses.unfree; + maintainers = with maintainers; [ gebner ]; + }; +} |