diff options
author | Gabriel Ebner <gebner@gebner.org> | 2019-08-25 15:33:35 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-08-25 15:33:35 +0200 |
commit | 26e64d31860fd0ba5de103fbd6931bee9f377651 (patch) | |
tree | 3ea05ca866289670ddf1b71847ee5ec32043a562 /pkgs/applications | |
parent | b27b62737a865c0afa545a4d9c1144dbab9c28bc (diff) | |
parent | 440c63a38a5c611806a00bd188b0a7623c6dcc3f (diff) | |
download | nixlib-26e64d31860fd0ba5de103fbd6931bee9f377651.tar nixlib-26e64d31860fd0ba5de103fbd6931bee9f377651.tar.gz nixlib-26e64d31860fd0ba5de103fbd6931bee9f377651.tar.bz2 nixlib-26e64d31860fd0ba5de103fbd6931bee9f377651.tar.lz nixlib-26e64d31860fd0ba5de103fbd6931bee9f377651.tar.xz nixlib-26e64d31860fd0ba5de103fbd6931bee9f377651.tar.zst nixlib-26e64d31860fd0ba5de103fbd6931bee9f377651.zip |
Merge pull request #67440 from gebner/vampire44
vampire: 4.2.2 -> 4.4
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/vampire/default.nix | 11 |
1 files changed, 4 insertions, 7 deletions
diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix index 08ab243fb96a..42963fe5f9c6 100644 --- a/pkgs/applications/science/logic/vampire/default.nix +++ b/pkgs/applications/science/logic/vampire/default.nix @@ -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)" ]; |