# Generated by makepkg 6.1.0
# Sun Jan  4 14:22:27 UTC 2026
pkgbase = mingw-w64-ppl
	pkgdesc = Parma Polyhedra Library - convex polyhedra + numerical abstractions (mingw-w64)
	pkgver = 1.2
	pkgrel = 2
	url = https://bugseng.com/products/ppl
	arch = any
	license = spdx:GPL-3.0-or-later
	makedepends = mingw-w64-ucrt-x86_64-autotools
	makedepends = mingw-w64-ucrt-x86_64-cc
	depends = mingw-w64-ucrt-x86_64-cc-libs
	depends = mingw-w64-ucrt-x86_64-glpk
	depends = mingw-w64-ucrt-x86_64-gmp
	options = !docs
	source = https://support.bugseng.com/ppl/download/ftp/releases/1.2/ppl-1.2.tar.gz
	source = 0001-make-test-immune-from-LTO.patch
	source = 0002-use-frounding-math-on-clang.patch
	sha256sums = 6bc36dd4a87abc429d8f9c00c53e334e5041a9b0857cfc00dbad6ef14294aac8
	sha256sums = 1703c76fac3375652b0f7aaa64c825eb9cf7aac6264ddc045e1ddbee8f96cd39
	sha256sums = 0ed0507823562ab986bb414f09de5af7df5eadf17428f4f5028e3b4ebde29b71

pkgname = mingw-w64-ucrt-x86_64-ppl
