From aee31a125d97e312da84da39895e65b5187e4ee7 Mon Sep 17 00:00:00 2001
From: Matthias Koeppe <mkoeppe@math.ucdavis.edu>
Date: Mon, 8 Jan 2024 15:37:53 -0800
Subject: [PATCH] build/pkgs/pplite: New

---
 build/pkgs/pplite/SPKG.rst            | 23 +++++++++++++++++++++++
 build/pkgs/pplite/checksums.ini       |  5 +++++
 build/pkgs/pplite/dependencies        |  1 +
 build/pkgs/pplite/package-version.txt |  1 +
 build/pkgs/pplite/spkg-check.in       |  2 ++
 build/pkgs/pplite/spkg-install.in     |  4 ++++
 build/pkgs/pplite/type                |  1 +
 7 files changed, 37 insertions(+)
 create mode 100644 build/pkgs/pplite/SPKG.rst
 create mode 100644 build/pkgs/pplite/checksums.ini
 create mode 100644 build/pkgs/pplite/dependencies
 create mode 100644 build/pkgs/pplite/package-version.txt
 create mode 100644 build/pkgs/pplite/spkg-check.in
 create mode 100644 build/pkgs/pplite/spkg-install.in
 create mode 100644 build/pkgs/pplite/type

diff --git a/build/pkgs/pplite/SPKG.rst b/build/pkgs/pplite/SPKG.rst
new file mode 100644
index 00000000000..3bd33e117b9
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..f964c058ee0
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..494cabf2c9f
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..51176c7c891
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..0ec021633a2
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..2aaf0e99043
--- /dev/null
+++ 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
new file mode 100644
index 00000000000..134d9bc32d5
--- /dev/null
+++ b/build/pkgs/pplite/type
@@ -0,0 +1 @@
+optional