mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-09-30 11:50:06 +00:00
54 lines
1.1 KiB
Nix
54 lines
1.1 KiB
Nix
{
|
|
lib,
|
|
stdenv,
|
|
fetchFromGitHub,
|
|
cmake,
|
|
z3,
|
|
z3' ? z3.overrideAttrs rec {
|
|
version = "4.14.0";
|
|
src = fetchFromGitHub {
|
|
owner = "Z3Prover";
|
|
repo = "z3";
|
|
rev = "z3-${version}";
|
|
hash = "sha256-Bv7+0J7ilJNFM5feYJqDpYsOjj7h7t1Bx/4OIar43EI=";
|
|
};
|
|
},
|
|
nix-update-script,
|
|
}:
|
|
stdenv.mkDerivation (finalAttrs: {
|
|
pname = "vampire";
|
|
version = "5.0.1";
|
|
|
|
src = fetchFromGitHub {
|
|
owner = "vprover";
|
|
repo = "vampire";
|
|
tag = "v${finalAttrs.version}";
|
|
hash = "sha256-Ka9HmicIf7b5VN9nbiCW604ZZrGpJuP57RPTzOnwJbU=";
|
|
fetchSubmodules = true;
|
|
};
|
|
|
|
nativeBuildInputs = [ cmake ];
|
|
buildInputs = [
|
|
z3'
|
|
];
|
|
|
|
cmakeFlags = [ (lib.cmakeFeature "Z3_DIR" "${z3'.dev}/lib/cmake") ];
|
|
|
|
enableParallelBuilding = true;
|
|
|
|
prePatch = ''
|
|
rm -rf z3
|
|
'';
|
|
|
|
passthru.updateScript = nix-update-script { };
|
|
|
|
meta = {
|
|
homepage = "https://vprover.github.io/";
|
|
description = "Vampire Theorem Prover";
|
|
mainProgram = "vampire";
|
|
platforms = lib.platforms.unix;
|
|
license = lib.licenses.bsd3;
|
|
maintainers = with lib.maintainers; [ sempiternal-aurora ];
|
|
};
|
|
})
|