ppl-config(1) on Linux
The text 3d2bb6c75c2f, as Arch Linux 2026-11-01, Debian 13 (Trixie), Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it. The page shows this text now.
obtain information about an installation of the Parma Polyhedra Library
Flags it lists
-
--application -
--banner -
--bindir -
--bugs -
--cflags -
--coefficients -
--configure-options -
--copying -
--cppflags -
--credits -
--cxxflags -
--exec-prefix -
--format -
--help -
--includedir -
--interface -
--ldflags -
--libdir -
--library -
--license -
--prefix -
--version -
--version-beta -
--version-major -
--version-minor -
--version-revision -
-A -
-B -
-C -
-D -
-E -
-FFMT -
-IINT -
-L -
-M -
-N -
-O -
-P -
-R -
-V -
-X -
-b -
-c -
-e -
-g -
-h -
-i -
-l -
-n -
-p -
-r -
-u