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

AVAILABILITY

95       The  latest version of the Parma Polyhedra Library and all the documen‐
96       tation is available at
97
98           http://www.cs.unipr.it/ppl/
99

AUTHOR

101       See the file CREDITS in the source  distribution  or  use  the  command
102       ppl-config --credits for a list of contributors.
103

REPORTING BUGS

105       Report bugs to <ppl-devel@cs.unipr.it>.
106

108       Copyright (C) 2001-2006 Roberto Bagnara <bagnara@cs.unipr.it>
109       This  is free software; see the file COPYING in the source distribution
110       or use the command ppl-config --copying to obtain  the  copying  condi‐
111       tions.   There  is NO warranty; not even for MERCHANTABILITY or FITNESS
112       FOR A PARTICULAR PURPOSE.
113
114
115
116ppl-config 0.8                   January 2006                    PPL-CONFIG(1)
Impressum