PPL-CONFIG - Online Linux Manual PageSection : 1
Updated : April 2009
Source : ppl-config 0.10.2
Note : User Commands
NAMEppl-config − obtain information about an installation of the Parma Polyhedra Library
SYNOPSISppl-config [OPTION]...
DESCRIPTIONDisplays 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
AVAILABILITYThe latest version of the Parma Polyhedra Library and all the documentation is available at http://www.cs.unipr.it/ppl/.
AUTHORSee the file CREDITS in the source distribution or use the command ppl−config −−credits for a list of contributors.
REPORTING BUGSReport bugs to <ppl−devel@cs.unipr.it>.
REPORTING BUGSReport bugs to <ppl−devel@cs.unipr.it>.
COPYRIGHTCopyright (C) 2001−2009 Roberto Bagnara <bagnara@cs.unipr.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 PARTICULAR PURPOSE.
SEE ALSOlibppl(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/ . 0
Johanes Gumabo
Data Size : 19,389 byte
man-ppl-config.1Build : 2024-12-05, 20:55 :
Visitor Screen : x
Visitor Counter ( page / site ) : 3 / 236,549
Visitor ID : :
Visitor IP : 52.15.70.0 :
Visitor Provider : AMAZON-02 :
Provider Position ( lat x lon ) : 39.962500 x -83.006100 : x
Provider Accuracy Radius ( km ) : 1000 :
Provider City : Columbus :
Provider Province : Ohio , : ,
Provider Country : United States :
Provider Continent : North America :
Visitor Recorder : Version :
Visitor Recorder : Library :
Online Linux Manual Page : Version : Online Linux Manual Page - Fedora.40 - march=x86-64 - mtune=generic - 24.12.05
Online Linux Manual Page : Library : lib_c - 24.10.03 - march=x86-64 - mtune=generic - Fedora.40
Online Linux Manual Page : Library : lib_m - 24.10.03 - march=x86-64 - mtune=generic - Fedora.40
Data Base : Version : Online Linux Manual Page Database - 24.04.13 - march=x86-64 - mtune=generic - fedora-38
Data Base : Library : lib_c - 23.02.07 - march=x86-64 - mtune=generic - fedora.36
Very long time ago, I have the best tutor, Wenzel Svojanovsky . If someone knows the email address of Wenzel Svojanovsky , please send an email to johanes_gumabo@yahoo.co.id .
If error, please print screen and send to johanes_gumabo@yahoo.co.id
Under development. Support me via PayPal.