ppl-config - Man Page

obtain information about an installation of the Parma Polyhedra Library

Synopsis

ppl-config [OPTION]...

Description

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

Options

-h,  --help

prints this help text to stdout

-FFMT,  --format=FMT

sets the output format to FMT (one of `plain', `makefile', `sh' or `csh')

-IINT,  --interface=INT

selects a library interface (one of `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/.

Author

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

Reporting Bugs

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

Referenced By

libppl(3), libppl_c(3), ppl_lcdd(1), ppl_lpsol(1), ppl_pips(1).

February 2016 ppl-config 1.2