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://www.cs.unipr.it/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

REPORTING BUGS

112       Report bugs to <ppl-devel@cs.unipr.it>.
113

115       Copyright (C) 2001-2009 Roberto Bagnara <bagnara@cs.unipr.it>
116       This is free software; see the file COPYING in the source  distribution
117       or  use  the  command ppl-config --copying to obtain the copying condi‐
118       tions.  There is NO warranty; not even for MERCHANTABILITY  or  FITNESS
119       FOR A PARTICULAR PURPOSE.
120

SEE ALSO

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