Commit 038238e6 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

pplite: init at 0.11

parent 86f54318

pkgs/development/libraries/pplite/default.nix

0 → 100644
+19 −0
Original line number Diff line number Diff line 
{ stdenv, lib, fetchurl, flint, gmp }:



stdenv.mkDerivation {

  pname = "pplite";

  version = "0.11";



  src = fetchurl {

    url = "https://github.com/ezaffanella/PPLite/raw/main/releases/pplite-0.11.tar.gz";

    hash = "sha256-6IS5zVab8X+gnhK8/qbPH5FODFaG6vIsIG9TTEpfHEI=";

  };



  buildInputs = [ flint gmp ];



  meta = {

    homepage = "https://github.com/ezaffanella/PPLite";

    description = "Convex polyhedra library for Abstract Interpretation";

    license = lib.licenses.gpl3Only;

  };

}

pkgs/top-level/all-packages.nix

+2 −0
Original line number Diff line number Diff line
@@ -12215,6 +12215,8 @@ with pkgs; 














  ppl = callPackage ../development/libraries/ppl { };



























  pplite = callPackage ../development/libraries/pplite { };



























  ppp = callPackage ../tools/networking/ppp { };





























  pptp = callPackage ../tools/networking/pptp { };