This is the command ppl-config that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator
PROGRAM:
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://bugseng.com/products/ppl/.
Use ppl-config online using onworks.net services
