diff options
author | Ben Gamari <ben@smart-cactus.org> | 2023-05-21 08:56:46 -0400 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2023-05-21 12:28:24 -0500 |
commit | 601b8658d53c5e25ac3b5203e4a163122a77a84b (patch) | |
tree | 423d10720c05b6f2eb45d3cbc719f930290ddd5e | |
parent | a74a4a2f324fb54637a9e2597ef1fdca6ad869c8 (diff) |
souffle: 2.3 -> 2.4
-rw-r--r-- | pkgs/development/compilers/souffle/default.nix | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/pkgs/development/compilers/souffle/default.nix b/pkgs/development/compilers/souffle/default.nix index 96d3b5f6fc422..6a06213e95994 100644 --- a/pkgs/development/compilers/souffle/default.nix +++ b/pkgs/development/compilers/souffle/default.nix @@ -10,22 +10,17 @@ let in stdenv.mkDerivation rec { pname = "souffle"; - version = "2.3"; + version = "2.4"; src = fetchFromGitHub { owner = "souffle-lang"; repo = "souffle"; rev = version; - sha256 = "sha256-wdTBSmyA2I+gaSV577NNKA2oY2fdVTGmvV7h15NY1tU="; + sha256 = "sha256-5g2Ikbfm5nQrsgGntZZ/VbjqSDOj0AP/mnH1nW2b4co="; }; patches = [ ./threads.patch - (fetchpatch { - name = "missing-override.patch"; - url = "https://github.com/souffle-lang/souffle/commit/da2d778f0cca94f206686546fa56b9ffc738ad75.patch"; - sha256 = "Oefm3vRRwOyom94oGSOK2w9m23gkbJ++9gcWrdLlkyk="; - }) ]; hardeningDisable = lib.optionals stdenv.isDarwin [ "strictoverflow" ]; |