colin/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vampire: 4.2.2 -> 4.4

Browse Source
This commit is contained in:
Gabriel Ebner 2019-08-25 14:43:51 +02:00
parent 2d54a79f48
commit 440c63a38a
1 changed files with 4 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/applications/science/logic/vampire/default.nix
View File

@ -1,19 +1,16 @@
{ stdenv, fetchFromGitHub, fetchpatch, z3, zlib, git }:
{ stdenv, fetchFromGitHub, fetchpatch, z3, zlib }:
stdenv.mkDerivation rec {
version = "4.2.2";
name = "vampire-${version}";
pname = "vampire";
version = "4.4";
src = fetchFromGitHub {
owner = "vprover";
repo = "vampire";
rev = version;
sha256 = "03dqjxr3cwz4h6sn9074kc6b6wjz12kpsvsi0mq2w0j5l9f8d80y";
#fetchSubmodules = true;
#leaveDotGit = true;
sha256 = "0v2fdfnk7l5xr5c4y54r25g1nbp4vi85zv29nbklh3r7aws3w9q1";
};
nativeBuildInputs = [ git ];
buildInputs = [ z3 zlib ];
makeFlags = [ "vampire_z3_rel" "CC:=$(CC)" "CXX:=$(CXX)" ];