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

       -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-Pro-
	      log', `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-2010 Roberto Bagnara <bagnara@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 condi-
       tions.  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/ .

ppl-config 0.11.2						   February 2011						     PPL-CONFIG(1)