ppl-config (1) Linux Manual Page
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/ .