PPL-CONFIG(1)

💖 NAME 💖

ok so ppl-config — she's your girl for getting info about an installation of the Parma Polyhedra Library ✨ like, any installation, any format, she's got you 🫶

🌸 SYNOPSIS 🌸

ppl-config [OPTION]...

✨ DESCRIPTION ✨

Bestie. This tool literally just displays information about an installation of the Parma Polyhedra Library, and it does it in various formats depending on what you ask for. That's it. That's the whole job. No cap 💅

🎀 OPTIONS 🎀

okay here's the full menu, read it carefully, no skipping 🍓

• -h, --help — prints this help text to stdout 👑
• -FFMT, --format=FMT — sets the output format to FMT, which has to be one of plain, makefile, sh or csh 🌈
• -IINT, --interface=INT — selects a library interface, and the options are C++, C, Ciao-Prolog, GNU-Prolog, SICStus-Prolog, SWI-Prolog, XSB-Prolog, YAP-Prolog, OCaml or Java 🦋
• -A, --application — selects output for building an application 🔥
• -L, --library — selects output for building a library 💜
• -p[PFX], --prefix[=PFX] — prints or sets library prefix information
• -e[PFX], --exec-prefix[=PFX] — prints or sets library exec-prefix information
• -O, --configure-options — prints configuration options
• -V, --version — prints version information
• -M, --version-major — prints version major number
• -N, --version-minor — prints version minor number
• -R, --version-revision — prints version revision number
• -B, --version-beta — prints version beta number
• -E, --banner — prints library banner ⭐
• -n, --coefficients — prints type of library coefficients
• -i, --includedir — prints include files directory
• -b, --bindir — prints binary executables directory
• -l, --libdir — prints library files directory
• -P, --cppflags — prints preprocessor flags
• -C, --cflags — prints C compiler flags
• -X, --cxxflags — prints C++ compiler flags
• -D, --ldflags — prints linker flags
• -g, --license — prints synthetic licensing information
• -c, --copying — prints detailed licensing information
• -u, --bugs — prints bug reporting information 🙈
• -r, --credits — prints credits 🫶

🌟 AVAILABILITY 🌟

The latest version of the Parma Polyhedra Library and all the documentation is available at http://bugseng.com/products/ppl/. go get her 🧚

👑 AUTHOR 👑

See the file CREDITS in the source distribution, or just run ppl-config --credits for a list of contributors 💖

💀 REPORTING BUGS 💀

Report bugs to <ppl-devel@cs.unipr.it>.

📜 COPYRIGHT AND NO WARRANTY 📜

Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> Copyright (C) 2010-2016 BUGSENG srl (http://bugseng.com)

This is free software; see the file COPYING in the source distribution or use the command ppl-config --copying to obtain the copying conditions.

There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. like literally none, zero, nada 😭

💀 REPORTING BUGS 💀

(yes bestie, she said it twice, and honestly? iconic.)

Report bugs to <ppl-devel@cs.unipr.it>.

🔥 SEE ALSO 🔥

• libppl(3)
• libppl_c(3)
• Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/.
• Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library C Language Interface User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/.
• Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library Java Language Interface User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/.
• Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/.
• Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/.

and that's the whole page bestie 🎀 this was ppl-config version 1.2, from way back in February 2016 — old but absolutely still serving main character energy. mwah 💅✨