diff options
author | Will Dietz <w@wdtz.org> | 2018-07-05 07:34:10 -0500 |
---|---|---|
committer | Will Dietz <w@wdtz.org> | 2018-07-05 10:13:32 -0500 |
commit | 600abbedc9ddf6a454347db152021c6b4b0af093 (patch) | |
tree | 50a611e4cab4e3b79badf279f3f84e47da9fc93a /pkgs/applications | |
parent | 8e6db30bb78233e353844fe645e87c9a8cbbb44b (diff) | |
download | nixlib-600abbedc9ddf6a454347db152021c6b4b0af093.tar nixlib-600abbedc9ddf6a454347db152021c6b4b0af093.tar.gz nixlib-600abbedc9ddf6a454347db152021c6b4b0af093.tar.bz2 nixlib-600abbedc9ddf6a454347db152021c6b4b0af093.tar.lz nixlib-600abbedc9ddf6a454347db152021c6b4b0af093.tar.xz nixlib-600abbedc9ddf6a454347db152021c6b4b0af093.tar.zst nixlib-600abbedc9ddf6a454347db152021c6b4b0af093.zip |
vampire: portability fixes
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.
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/science/logic/vampire/default.nix | 23 |
1 files changed, 22 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/vampire/default.nix b/pkgs/applications/science/logic/vampire/default.nix index 3edb9bb03773..4f2154d2112e 100644 --- a/pkgs/applications/science/logic/vampire/default.nix +++ b/pkgs/applications/science/logic/vampire/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub, z3, zlib, git }: +{ stdenv, fetchFromGitHub, fetchpatch, z3, zlib, git }: stdenv.mkDerivation rec { version = "4.2.2"; @@ -18,6 +18,27 @@ stdenv.mkDerivation rec { 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 ''; |