diff options
author | Robert Scott <code@humanleg.org.uk> | 2019-12-08 16:44:07 +0000 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2019-12-12 10:37:02 -0600 |
commit | b9185a96be097574241e038ef6468d7cb37336c9 (patch) | |
tree | 69345bd09b9bad6ecb341f76b0968b12e552d2e1 /pkgs/applications/science/logic | |
parent | 6f0ec169fe23c2c8dba0020b8ffc3beb6eae3bed (diff) | |
download | nixlib-b9185a96be097574241e038ef6468d7cb37336c9.tar nixlib-b9185a96be097574241e038ef6468d7cb37336c9.tar.gz nixlib-b9185a96be097574241e038ef6468d7cb37336c9.tar.bz2 nixlib-b9185a96be097574241e038ef6468d7cb37336c9.tar.lz nixlib-b9185a96be097574241e038ef6468d7cb37336c9.tar.xz nixlib-b9185a96be097574241e038ef6468d7cb37336c9.tar.zst nixlib-b9185a96be097574241e038ef6468d7cb37336c9.zip |
boolector: add patch for CVE-2019-7560
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/boolector/default.nix | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/boolector/default.nix b/pkgs/applications/science/logic/boolector/default.nix index f1f74bcb5810..4cf0b0f1ea1e 100644 --- a/pkgs/applications/science/logic/boolector/default.nix +++ b/pkgs/applications/science/logic/boolector/default.nix @@ -1,4 +1,4 @@ -{ stdenv, fetchFromGitHub +{ stdenv, fetchFromGitHub, fetchpatch , cmake, lingeling, btor2tools }: @@ -13,6 +13,14 @@ stdenv.mkDerivation rec { sha256 = "15i3ni5klss423m57wcy1gx0m5wfrjmglapwg85pm7fb3jj1y7sz"; }; + patches = [ + (fetchpatch { + name = "CVE-2019-7560.patch"; + url = "https://github.com/Boolector/boolector/commit/8d979d02e0482c7137c9f3a34e6d430dbfd1f5c5.patch"; + sha256 = "1a1g02mk8b0azzjcigdn5zpshn0dn05fciwi8sd5q38yxvnvpbbi"; + }) + ]; + nativeBuildInputs = [ cmake ]; buildInputs = [ lingeling btor2tools ]; |