PPL-CONFIG(1) User Commands PPL-CONFIG(1)

ppl-config - obtain information about an installation of the Parma Polyhedra Library

ppl-config [OPTION]...

Displays information, in various formats, about an installation of the Parma Polyhedra Library.

prints this help text to stdout
sets the output format to FMT (one of `plain', `makefile', `sh' or `csh')
selects a library interface (one of `C++', `C', `Ciao-Prolog', `GNU-Prolog', `SICStus-Prolog', `SWI-Prolog', `XSB-Prolog', `YAP-Prolog', `OCaml' or `Java')
selects output for building an application
selects output for building a library
prints or sets library prefix information
prints or sets library exec-prefix information
prints configuration options
prints version information
prints version major number
prints version minor number
prints version revision number
prints version beta number
prints library banner
prints type of library coefficients
prints include files directory
prints binary executables directory
prints library files directory
prints preprocessor flags
prints C compiler flags
prints C++ compiler flags
prints linker flags
prints synthetic licensing information
prints detailed licensing information
prints bug reporting information
prints credits

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

See the file CREDITS in the source distribution or use the command ppl-config --credits for a list of contributors.

REPORTING BUGS

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

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.

REPORTING BUGS

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

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/ .

February 2016 ppl-config 1.2