mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-13 01:03:25 +00:00
600abbedc9
These have been submitted upstream, but seconds before writing this message so naturally no upstream response "yet" :). Regardless of response, fetch patches from the corresponding PR's for context and of course hopefully they'll be included in next version.
58 lines
1.5 KiB
Nix
58 lines
1.5 KiB
Nix
{ stdenv, fetchFromGitHub, fetchpatch, 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" "CC:=$(CC)" "CXX:=$(CXX)" ];
|
|
|
|
patches = [
|
|
# https://github.com/vprover/vampire/pull/54
|
|
(fetchpatch {
|
|
name = "fix-apple-cygwin-defines.patch";
|
|
url = https://github.com/vprover/vampire/pull/54.patch;
|
|
sha256 = "0i6nrc50wlg1dqxq38lkpx4rmfb3lf7s8f95l4jkvqp0nxa20cza";
|
|
})
|
|
# https://github.com/vprover/vampire/pull/55
|
|
(fetchpatch {
|
|
name = "fix-wait-any.patch";
|
|
url = https://github.com/vprover/vampire/pull/55.patch;
|
|
sha256 = "1pwfpwpl23bqsgkmmvw6bnniyvp5j9v8l3z9s9pllfabnfcrcz9l";
|
|
})
|
|
# https://github.com/vprover/vampire/pull/56
|
|
(fetchpatch {
|
|
name = "fenv.patch";
|
|
url = https://github.com/vprover/vampire/pull/56.patch;
|
|
sha256 = "0xl3jcyqmk146mg3qj5hdd0pbja6wbq3250zmfhbxqrjh40mm40g";
|
|
})
|
|
];
|
|
|
|
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 ];
|
|
};
|
|
}
|