ppl-config1

Usage

Overview

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

Copyright and no warranty

Copyright (C) 2001-2010 Roberto Bagnara <[email protected]> Copyright (C) 2010-2016 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.