Man Pages

ppl-config(1) - phpMan ppl-config(1) - phpMan

Command: man perldoc info search(apropos)  


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-Pro-
              log', '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 contribu-
       tors.


REPORTING BUGS
       Report bugs to <ppl-develATcs.it>.

REPORTING BUGS
       Report bugs to <ppl-develATcs.it>.

COPYRIGHT
       Copyright (C) 2001-2009 Roberto Bagnara <bagnaraATcs.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 PARTICU-
       LAR 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/ .



ppl-config 0.10.2                 April 2009                     PPL-CONFIG(1)