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