PPL-CONFIG(1) User Commands PPL-CONFIG(1) NAME ppl-config - obtain information about an installation of the Parma Polyhe- dra 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/. AUTHOR See the file CREDITS in the source distribution or use the command ppl-con- fig --credits for a list of contributors. REPORTING BUGS Report bugs to <ppl-devel@cs.unipr.it>. COPYRIGHT AND NO WARRANTY Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> 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 PARTIC- ULAR PURPOSE. REPORTING BUGS Report bugs to <ppl-devel@cs.unipr.it>. SEE ALSO libppl(3) libppl_c(3) Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhe- dra Library User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/ . Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhe- dra Library C Language Interface User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/ . Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhe- dra Library Java Language Interface User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/ . Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhe- dra Library OCaml Language Interface User's Manual (version 1.2), available (in several formats) at http://bugseng.com/products/ppl/ . Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella. The Parma Polyhe- dra Library Prolog Language Interface User's Manual (version 1.2), avail- able (in several formats) at http://bugseng.com/products/ppl/ . ppl-config 1.2 February 2016 PPL-CONFIG(1)
NAME | SYNOPSIS | DESCRIPTION | OPTIONS | AVAILABILITY | AUTHOR | REPORTING BUGS | COPYRIGHT AND NO WARRANTY | REPORTING BUGS | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=ppl-config&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>