1PPL-CONFIG(1) User Commands PPL-CONFIG(1)
2
3
4
6 ppl-config - obtain information about an installation of the Parma
7 Polyhedra Library
8
10 ppl-config [OPTION]...
11
13 Displays information, in various formats, about an installation of the
14 Parma Polyhedra Library.
15
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
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
104 See the file CREDITS in the source distribution or use the command
105 ppl-config --credits for a list of contributors.
106
107
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
120 Report bugs to <ppl-devel@cs.unipr.it>.
121
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)