From 6c51b1c397d635b5cf58b7bc31b9405ae1518183 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Thu, 1 Jan 2026 23:02:33 -0800 Subject: [PATCH 1/2] picat: Fix build with GCC 15 Signed-off-by: Anders Kaseorg --- pkgs/by-name/pi/picat/package.nix | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/pkgs/by-name/pi/picat/package.nix b/pkgs/by-name/pi/picat/package.nix index 839161187d46..6d6ce810b6b3 100644 --- a/pkgs/by-name/pi/picat/package.nix +++ b/pkgs/by-name/pi/picat/package.nix @@ -2,6 +2,7 @@ lib, stdenv, fetchurl, + fetchpatch, zlib, }: @@ -14,6 +15,15 @@ stdenv.mkDerivation { hash = "sha256-H+aFmagdb7jU4LZCYrNPa4ZWVB1ziiJHrUe4b1ImWks="; }; + patches = [ + # Fix build with GCC 15 + # https://github.com/picat-lang/Picat/pull/1 + (fetchpatch { + url = "https://github.com/picat-lang/Picat/commit/c50265dc565f1637e3d22c92b4bf9c4c79d57a03.patch"; + hash = "sha256-21F35CVNgX4Zj0pK0zUyJaVpK0e399lQXD7vQf7GXgQ="; + }) + ]; + buildInputs = [ zlib ]; env.ARCH = From b2acdc06d531894db964e943ac4b6e1c5a1df392 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Thu, 1 Jan 2026 21:32:58 -0800 Subject: [PATCH 2/2] =?UTF-8?q?picat:=203.8#7=20=E2=86=92=203.9#4?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Anders Kaseorg --- pkgs/by-name/pi/picat/package.nix | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/by-name/pi/picat/package.nix b/pkgs/by-name/pi/picat/package.nix index 6d6ce810b6b3..9686bb196c47 100644 --- a/pkgs/by-name/pi/picat/package.nix +++ b/pkgs/by-name/pi/picat/package.nix @@ -8,11 +8,11 @@ stdenv.mkDerivation { pname = "picat"; - version = "3.8#7"; + version = "3.9#4"; src = fetchurl { - url = "https://picat-lang.org/download/picat387_src.tar.gz"; - hash = "sha256-H+aFmagdb7jU4LZCYrNPa4ZWVB1ziiJHrUe4b1ImWks="; + url = "https://picat-lang.org/download/picat394_src.tar.gz"; + hash = "sha256-dAYiV2zG2Z01qBshsqORL9oR2NvNnRavvGSDaOEJdDk="; }; patches = [