ppl-config - Online in the Cloud

PROGRAM:

NAME

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

Use ppl-config online using onworks.net services