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.