.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.40.11.
.TH PPL-CONFIG "1" "February 2016" "ppl-config 1.2" "User Commands"
.SH NAME
ppl-config \- obtain information about an installation of the Parma Polyhedra Library
.SH SYNOPSIS
.B ppl-config
[\fIOPTION\fR]...
.SH DESCRIPTION
Displays information, in various formats, about an installation
of the Parma Polyhedra Library.
.SH OPTIONS
.TP
\fB\-h\fR, \fB\-\-help\fR
prints this help text to stdout
.TP
\fB\-FFMT\fR, \fB\-\-format\fR=\fIFMT\fR
sets the output format to FMT
(one of `plain', `makefile', `sh' or `csh')
.TP
\fB\-IINT\fR, \fB\-\-interface\fR=\fIINT\fR
selects a library interface (one of `C++', `C',
`Ciao\-Prolog', `GNU\-Prolog', `SICStus\-Prolog',
`SWI\-Prolog', `XSB\-Prolog', `YAP\-Prolog',
`OCaml' or `Java')
.TP
\fB\-A\fR, \fB\-\-application\fR
selects output for building an application
.TP
\fB\-L\fR, \fB\-\-library\fR
selects output for building a library
.TP
\fB\-p[PFX]\fR, \fB\-\-prefix\fR[=\fIPFX\fR]
prints or sets library prefix information
.TP
\fB\-e[PFX]\fR, \fB\-\-exec\-prefix\fR[=\fIPFX\fR]
prints or sets library exec\-prefix information
.TP
\fB\-O\fR, \fB\-\-configure\-options\fR
prints configuration options
.TP
\fB\-V\fR, \fB\-\-version\fR
prints version information
.TP
\fB\-M\fR, \fB\-\-version\-major\fR
prints version major number
.TP
\fB\-N\fR, \fB\-\-version\-minor\fR
prints version minor number
.TP
\fB\-R\fR, \fB\-\-version\-revision\fR
prints version revision number
.TP
\fB\-B\fR, \fB\-\-version\-beta\fR
prints version beta number
.TP
\fB\-E\fR, \fB\-\-banner\fR
prints library banner
.TP
\fB\-n\fR, \fB\-\-coefficients\fR
prints type of library coefficients
.TP
\fB\-i\fR, \fB\-\-includedir\fR
prints include files directory
.TP
\fB\-b\fR, \fB\-\-bindir\fR
prints binary executables directory
.TP
\fB\-l\fR, \fB\-\-libdir\fR
prints library files directory
.TP
\fB\-P\fR, \fB\-\-cppflags\fR
prints preprocessor flags
.TP
\fB\-C\fR, \fB\-\-cflags\fR
prints C compiler flags
.TP
\fB\-X\fR, \fB\-\-cxxflags\fR
prints C++ compiler flags
.TP
\fB\-D\fR, \fB\-\-ldflags\fR
prints linker flags
.TP
\fB\-g\fR, \fB\-\-license\fR
prints synthetic licensing information
.TP
\fB\-c\fR, \fB\-\-copying\fR
prints detailed licensing information
.TP
\fB\-u\fR, \fB\-\-bugs\fR
prints bug reporting information
.TP
\fB\-r\fR, \fB\-\-credits\fR
prints credits
.SH AVAILABILITY
The latest version of the Parma Polyhedra Library and all the documentation
is available at \fBhttp://bugseng.com/products/ppl/\fR.

.SH AUTHOR
See the file \fBCREDITS\fR in the source distribution or use the command
\fBppl\-config \-\-credits\fR for a list of contributors.

.SH "REPORTING BUGS"
Report bugs to <ppl\-devel@cs.unipr.it>.
.SH "COPYRIGHT AND NO WARRANTY"
Copyright (C) 2001\-2010 Roberto Bagnara <bagnara@cs.unipr.it>
Copyright (C) 2010\-2016 BUGSENG srl (http://bugseng.com)
.br
This is free software; see the file \fBCOPYING\fR in the source
distribution or use the command \fBppl\-config \-\-copying\fR to
obtain the copying conditions.  There is NO warranty; not even for
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
.SH "REPORTING BUGS"
Report bugs to <ppl\-devel@cs.unipr.it>.
.SH "SEE ALSO"
.BR libppl(3)
.sp
.BR libppl_c(3)
.sp
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
.IR "The Parma Polyhedra Library User's Manual (version 1.2)",
available (in several formats) at
\fBhttp://bugseng.com/products/ppl/\fR .
.sp
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
.IR "The Parma Polyhedra Library C Language Interface User's Manual (version 1.2)",
available (in several formats) at
\fBhttp://bugseng.com/products/ppl/\fR .
.sp
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
.IR "The Parma Polyhedra Library Java Language Interface User's Manual (version 1.2)",
available (in several formats) at
\fBhttp://bugseng.com/products/ppl/\fR .
.sp
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
.IR "The Parma Polyhedra Library OCaml Language Interface User's Manual (version 1.2)",
available (in several formats) at
\fBhttp://bugseng.com/products/ppl/\fR .
.sp
Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.
.IR "The Parma Polyhedra Library Prolog Language Interface User's Manual (version 1.2)",
available (in several formats) at
\fBhttp://bugseng.com/products/ppl/\fR .