Commit 6c51b1c3 authored by Anders Kaseorg's avatar Anders Kaseorg
Browse files

picat: Fix build with GCC 15 



Signed-off-by: default avatarAnders Kaseorg <andersk@mit.edu>
parent cad22e7d

pkgs/by-name/pi/picat/package.nix

+10 −0
Original line number Diff line number Diff line
@@ -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 =