build/pkgs/pplite: New

sagemath · Jan 15, 2024 · aee31a1 · aee31a1
1 parent 439065e
commit aee31a1
Show file tree

Hide file tree

Showing 7 changed files with 37 additions and 0 deletions.
diff --git a/build/pkgs/pplite/SPKG.rst b/build/pkgs/pplite/SPKG.rst
@@ -0,0 +1,23 @@
+pplite: Convex polyhedra library
+================================
+
+Description
+-----------
+
+PPLite is an open-source C++ library implementing the abstract domain
+of convex polyhedra.
+
+While being derived from the PPL (Parma Polyhedra Library), PPLite has
+a very different goal: to provide researchers and students with a
+lighter framework for experimenting with new ideas and algorithms in
+the context of polyhedral computations.
+
+License
+-------
+
+GPL 3
+
+Upstream Contact
+----------------
+
+https://github.com/ezaffanella/PPLite
diff --git a/build/pkgs/pplite/checksums.ini b/build/pkgs/pplite/checksums.ini
@@ -0,0 +1,5 @@
+tarball=pplite-VERSION.tar.gz
+sha1=b66718d1e7cbbbec7fde7d27b096097496e4afef
+md5=86f2b75e275d55bd11280cd3dc9b24c9
+cksum=1738921308
+upstream_url=https://github.com/ezaffanella/PPLite/raw/main/releases/pplite-VERSION.tar.gz
diff --git a/build/pkgs/pplite/dependencies b/build/pkgs/pplite/dependencies
@@ -0,0 +1 @@
+$(MP_LIBRARY) mpfr flint
diff --git a/build/pkgs/pplite/package-version.txt b/build/pkgs/pplite/package-version.txt
@@ -0,0 +1 @@
+0.11
diff --git a/build/pkgs/pplite/spkg-check.in b/build/pkgs/pplite/spkg-check.in
@@ -0,0 +1,2 @@
+cd src
+make check
diff --git a/build/pkgs/pplite/spkg-install.in b/build/pkgs/pplite/spkg-install.in
@@ -0,0 +1,4 @@
+cd src
+sdh_configure
+sdh_make
+sdh_make_install
diff --git a/build/pkgs/pplite/type b/build/pkgs/pplite/type
@@ -0,0 +1 @@
+optional