PPL-CONFIG
Section: User Commands (1)Updated: April 2009
Index Return to Main Contents
NAME
ppl-config - obtain information about an installation of the Parma Polyhedra LibrarySYNOPSIS
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@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/ .
Index
- NAME
- SYNOPSIS
- DESCRIPTION
- OPTIONS
- AVAILABILITY
- AUTHOR
- REPORTING BUGS
- REPORTING BUGS
- COPYRIGHT
- SEE ALSO
This document was created by man2html, using the manual pages.
Time: 05:29:09 GMT, December 24, 2015