1PPL-CONFIG(1)                    User Commands                   PPL-CONFIG(1)
2
3
4

NAME

6       ppl-config  -  obtain  information  about  an installation of the Parma
7       Polyhedra Library
8

SYNOPSIS

10       ppl-config [OPTION]...
11

DESCRIPTION

13       Displays information, in various formats, about an installation of  the
14       Parma Polyhedra Library.
15

OPTIONS

17       -h, --help
18              prints this help text to stdout
19
20       -FFMT, --format=FMT
21              sets  the output format to FMT (one of `plain', `makefile', `sh'
22              or `csh')
23
24       -IINT, --interface=INT
25              selects a library interface (one of `C++',  `C',  `Ciao-Prolog',
26              `GNU-Prolog',   `SICStus-Prolog',   `SWI-Prolog',  `XSB-Prolog',
27              `YAP-Prolog', `OCaml' or `Java')
28
29       -A, --application
30              selects output for building an application
31
32       -L, --library
33              selects output for building a library
34
35       -p[PFX], --prefix[=PFX]
36              prints or sets library prefix information
37
38       -e[PFX], --exec-prefix[=PFX]
39              prints or sets library exec-prefix information
40
41       -O, --configure-options
42              prints configuration options
43
44       -V, --version
45              prints version information
46
47       -M, --version-major
48              prints version major number
49
50       -N, --version-minor
51              prints version minor number
52
53       -R, --version-revision
54              prints version revision number
55
56       -B, --version-beta
57              prints version beta number
58
59       -E, --banner
60              prints library banner
61
62       -n, --coefficients
63              prints type of library coefficients
64
65       -i, --includedir
66              prints include files directory
67
68       -b, --bindir
69              prints binary executables directory
70
71       -l, --libdir
72              prints library files directory
73
74       -P, --cppflags
75              prints preprocessor flags
76
77       -C, --cflags
78              prints C compiler flags
79
80       -X, --cxxflags
81              prints C++ compiler flags
82
83       -D, --ldflags
84              prints linker flags
85
86       -g, --license
87              prints synthetic licensing information
88
89       -c, --copying
90              prints detailed licensing information
91
92       -u, --bugs
93              prints bug reporting information
94
95       -r, --credits
96              prints credits
97

AVAILABILITY

99       The latest version of the Parma Polyhedra Library and all the  documen‐
100       tation is available at http://bugseng.com/products/ppl/.
101
102

AUTHOR

104       See  the  file  CREDITS  in  the source distribution or use the command
105       ppl-config --credits for a list of contributors.
106
107

REPORTING BUGS

109       Report bugs to <ppl-devel@cs.unipr.it>.
110

112       Copyright (C) 2001-2010 Roberto Bagnara <bagnara@cs.unipr.it> Copyright
113       (C) 2010-2016 BUGSENG srl (http://bugseng.com)
114       This  is free software; see the file COPYING in the source distribution
115       or use the command ppl-config --copying to obtain  the  copying  condi‐
116       tions.   There  is NO warranty; not even for MERCHANTABILITY or FITNESS
117       FOR A PARTICULAR PURPOSE.
118

REPORTING BUGS

120       Report bugs to <ppl-devel@cs.unipr.it>.
121

SEE ALSO

123       libppl(3)
124
125       libppl_c(3)
126
127       Roberto Bagnara, Patricia M. Hill,  and  Enea  Zaffanella.   The  Parma
128       Polyhedra  Library  User's  Manual (version 1.2), available (in several
129       formats) at http://bugseng.com/products/ppl/ .
130
131       Roberto Bagnara, Patricia M. Hill,  and  Enea  Zaffanella.   The  Parma
132       Polyhedra  Library  C  Language  Interface User's Manual (version 1.2),
133       available (in several formats) at http://bugseng.com/products/ppl/ .
134
135       Roberto Bagnara, Patricia M. Hill,  and  Enea  Zaffanella.   The  Parma
136       Polyhedra  Library Java Language Interface User's Manual (version 1.2),
137       available (in several formats) at http://bugseng.com/products/ppl/ .
138
139       Roberto Bagnara, Patricia M. Hill,  and  Enea  Zaffanella.   The  Parma
140       Polyhedra Library OCaml Language Interface User's Manual (version 1.2),
141       available (in several formats) at http://bugseng.com/products/ppl/ .
142
143       Roberto Bagnara, Patricia M. Hill,  and  Enea  Zaffanella.   The  Parma
144       Polyhedra  Library  Prolog  Language  Interface  User's Manual (version
145       1.2),  available  (in  several  formats)  at   http://bugseng.com/prod‐
146       ucts/ppl/ .
147
148
149
150ppl-config 1.2                   February 2016                   PPL-CONFIG(1)
Impressum