Commit 21af19fa authored by Mauricio Collares's avatar Mauricio Collares
Browse files

pplite: fix build with flint 3.2

parent 2d9de404

pkgs/by-name/pp/pplite/package.nix

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