ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-29 06:45:54 +03:00
Code Issues Projects Releases Wiki Activity

vampire: init at 4.2.2

Browse Source
This commit is contained in:
Gabriel Ebner 2018-07-05 09:32:41 +02:00
parent d2b6be544b
commit 57ae4e8d8e
2 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

36
pkgs/applications/science/logic/vampire/default.nix Normal file
View File

@ -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 ];
};
}

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

@ -5529,6 +5529,8 @@ with pkgs;
vacuum = callPackage ../applications/networking/instant-messengers/vacuum {};
vampire = callPackage ../applications/science/logic/vampire {};
volatility = callPackage ../tools/security/volatility { };
vbetool = callPackage ../tools/system/vbetool { };