PPL-CONFIG

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.

−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

The latest version of the Parma Polyhedra Library and all the documentation is available at http://www.cs.unipr.it/ppl/.

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

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

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

Copyright (C) 2001−2009 Roberto Bagnara <bagnara@cs.unipr.it>
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.

libppl(3)

libppl_c(3)

Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library User’s Manual (version 0.10.2), available (in several formats) at http://www.cs.unipr.it/ppl/ .

Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library C Language Interface User’s Manual (version 0.10.2), available (in several formats) at http://www.cs.unipr.it/ppl/ .

Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library Java Language Interface User’s Manual (version 0.10.2), available (in several formats) at http://www.cs.unipr.it/ppl/ .

Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library OCaml Language Interface User’s Manual (version 0.10.2), available (in several formats) at http://www.cs.unipr.it/ppl/ .

Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhedra Library Prolog Language Interface User’s Manual (version 0.10.2), available (in several formats) at http://www.cs.unipr.it/ppl/ .