Man page or keyword search:   man All Sections 1 - General Commands 2 - System Calls 3 - Subroutines, Functions 4 - Special Files 5 - File Formats 6 - Games and Screensavers 7 - Macros and Conventions 8 - Maintenence Commands 9 - Kernel Interface New Commands Server 4.4BSD AIX Alpinelinux Archlinux Aros BSDOS BSDi Bifrost CentOS Cygwin Darwin Debian DigitalUNIX DragonFly ElementaryOS Fedora FreeBSD Gentoo GhostBSD HP-UX Haiku Hurd IRIX Inferno JazzOS Kali Knoppix LinuxMint MacOSX Mageia Mandriva Manjaro Minix MirBSD NeXTSTEP NetBSD OPENSTEP OSF1 OpenBSD OpenDarwin OpenIndiana OpenMandriva OpenServer OpenSuSE OpenVMS Oracle PC-BSD Peanut Pidora Plan9 QNX Raspbian RedHat Scientific Slackware SmartOS Solaris SuSE SunOS Syllable Tru64 UNIXv7 Ubuntu Ultrix UnixWare Xenix YellowDog aLinux   31170 pages apropos Keyword Search (all sections) Output format html ascii pdf view pdf save postscript

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-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  documen‐
       tation 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)

Vote for polarhome