From 21af19fa5cbf04784303c65a688ce665c9a39e6f Mon Sep 17 00:00:00 2001
From: Mauricio Collares <mauricio@collares.org>
Date: Sun, 30 Mar 2025 22:52:25 -0300
Subject: [PATCH] pplite: fix build with flint 3.2

---
 pkgs/by-name/pp/pplite/package.nix | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/pkgs/by-name/pp/pplite/package.nix b/pkgs/by-name/pp/pplite/package.nix
index cbdc9be37986..c128142921ca 100644
--- a/pkgs/by-name/pp/pplite/package.nix
+++ b/pkgs/by-name/pp/pplite/package.nix
@@ -2,6 +2,7 @@
   stdenv,
   lib,
   fetchurl,
+  fetchpatch,
   flint3,
   gmp,
 }:
@@ -20,6 +21,15 @@ stdenv.mkDerivation {
     gmp
   ];
 
+  patches = [
+    # https://github.com/ezaffanella/PPLite/pull/1
+    (fetchpatch {
+      name = "flint-3_2.patch";
+      url = "https://github.com/ezaffanella/PPLite/commit/96fd1e50131f70bb78efdd60985525e970c9df06.patch";
+      hash = "sha256-8FNyL8h/rBm2Hegib2l08vqEmFDU0PhMCV8Ui2G4xHQ=";
+    })
+  ];
+
   meta = {
     homepage = "https://github.com/ezaffanella/PPLite";
     description = "Convex polyhedra library for Abstract Interpretation";