ppl-config (1) Linux Manual Page
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://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 [at] cs.unipr.it>.
REPORTING BUGS
Report bugs to <ppl-devel [at] cs.unipr.it>.
COPYRIGHT
Copyright (C) 2001-2010 Roberto Bagnara <bagnara [at] cs.unipr.it> Copyright (C) 2010-2011 BUGSENG srl (http://bugseng.com)
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.11.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.11.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.11.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.11.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.11.2), available (in several formats) at http://www.cs.unipr.it/ppl/ .