diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/pplite')
-rw-r--r-- | nixpkgs/pkgs/development/libraries/pplite/default.nix | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/pplite/default.nix b/nixpkgs/pkgs/development/libraries/pplite/default.nix new file mode 100644 index 000000000000..c9c0d1863382 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/pplite/default.nix @@ -0,0 +1,19 @@ +{ 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; + }; +} |