Scroll to navigation

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

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

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

AVAILABILITY

The latest version of the Parma Polyhedra Library and all the documentation is available at http://www.cs.unipr.it/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>.

COPYRIGHT

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.

SEE ALSO

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

April 2009 ppl-config 0.10.2