PPL-CONFIG(1)                    User Commands                   PPL-CONFIG(1)

<?><?><?> (NAME)
       ppl-config - <?><?><?><?><?><?> <?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?> <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?><?> (Parma Polyhedra Library)

<?><?><?><?><?> <?><?><?><?><?> (SYNOPSIS)
       ppl-config [<?><?><?><?><?>]...

<?><?><?><?><?><?><?> (DESCRIPTION)
       <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?> (Parma
       Polyhedra Library) <?><?> <?><?> <?><?><?><?><?><?><?><?>
       <?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?>.

<?><?><?><?><?><?><?><?> (OPTIONS)
       -h, --help
              <?><?><?> <?><?><?> <?><?><?><?><?><?> <?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?>
              <?><?><?><?><?><?>

       -FFMT, --format=FMT
              <?><?><?><?> <?><?><?><?><?> <?><?> <?><?><?> FMT
              <?><?><?><?><?> <?><?><?><?><?><?> (<?><?><?> <?><?>
              <?><?><?><?><?><?> `plain`<?> `makefile`<?> `sh` <?><?> `csh`)

       -IINT, --interface=INT
              <?><?><?><?> <?><?><?><?><?><?><?><?> <?><?> <?><?><?><?><?><?>
              <?><?><?><?><?><?> (<?><?><?> <?><?> <?><?><?><?><?> `C++`<?>
              `C`<?> `Ciao-Prolog`<?> `GNU-Prolog`<?> `SICStus-Prolog`<?>
              `SWI-Prolog`<?> `XSB-Prolog`<?> `YAP-Prolog`<?> `OCaml` <?><?>
              `Java`)

       -A, --application
              <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?>

       -L, --library
              <?><?><?><?><?> <?><?> <?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?>

       -p[PFX], --prefix[=PFX]
              <?><?><?><?><?><?><?> <?><?><?><?><?><?> (prefix)
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?> <?><?> <?><?><?><?><?>
              <?><?><?><?><?><?>

       -e[PFX], --exec-prefix[=PFX]
              <?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?>
              (exec-prefix) <?><?><?><?><?><?><?><?> <?><?> <?><?><?> <?><?>
              <?><?><?><?><?> <?><?><?><?><?><?>

       -O, --configure-options
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -V, --version
              <?><?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?><?>
              <?><?><?><?><?><?>

       -M, --version-major
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?> (major) <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -N, --version-minor
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?> (minor) <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -R, --version-revision
              <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?> (revision)
              <?><?> <?><?><?> <?><?><?><?><?><?>

       -B, --version-beta
              <?><?><?><?><?> <?><?><?><?> <?><?><?><?> <?><?> <?><?><?>
              <?><?><?><?><?><?>

       -E, --banner
              <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -n, --coefficients
              <?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -i, --includedir
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?> (include) <?><?> <?><?><?> <?><?><?><?><?><?>

       -b, --bindir
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?><?>
              <?><?><?><?><?><?>

       -l, --libdir
              <?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?>
              <?><?><?><?><?><?><?><?> <?><?> <?><?><?> <?><?><?><?><?><?>

       -P, --cppflags
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?>
              <?><?> <?><?><?> <?><?><?><?><?><?>

       -C, --cflags
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> C <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -X, --cxxflags
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?> C++ <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -D, --ldflags
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?> (linker)
              <?><?> <?><?><?> <?><?><?><?><?><?>

       -g, --license
              <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -c, --copying
              <?><?><?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?>
              <?><?><?> <?><?><?><?><?><?>

       -u, --bugs
              <?><?><?><?><?><?><?> <?><?><?><?><?> <?><?><?> <?><?> <?><?><?>
              <?><?><?><?><?><?>

       -r, --credits
              <?><?><?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?><?><?><?>
              <?><?> <?><?><?> <?><?><?><?><?><?>

<?><?> <?><?><?><?><?> <?><?><?><?> (AVAILABILITY)
       <?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?>
       <?><?><?><?><?><?><?><?> <?><?><?><?><?><?><?> <?><?><?><?><?> <?>
       <?><?><?><?><?> <?><?><?><?><?><?><?> <?><?> <?><?><?><?><?>
       http://bugseng.com/products/ppl <?><?> <?><?><?><?><?> <?><?><?>.

<?><?><?><?><?><?><?><?><?> (AUTHORS)
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?>
       <?><?><?><?><?><?><?><?><?><?><?><?><?><?> <?><?><?><?><?><?> CREDITS
       <?><?> <?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?>
       <?><?><?><?><?> ppl-config --credits <?><?> <?><?><?><?> <?><?><?><?>.

<?><?><?><?><?> <?><?><?><?><?><?> (REPORTING BUGS)
       <?><?><?><?><?> <?><?><?><?><?><?> <?><?> <?><?>
       <ppl-devel@cs.unipr.it> <?><?><?><?><?> <?><?><?><?>.

<?><?> <?><?><?> <?> <?><?><?> <?><?><?><?><?><?><?> (COPYRIGHT AND NO
       WARRANTY)
       <?><?> <?><?><?> (C) <?><?><?><?>-<?><?><?><?> Roberto Bagnara
       <bagnara@cs.unipr.it>
       <?><?> <?><?><?> (C) <?><?><?><?>-<?><?><?><?> BUGSENG srl
       (http://bugseng.com)
       <?><?><?> <?><?><?><?><?><?><?><?><?> <?><?><?><?> <?><?><?><?>
       <?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?> <?><?><?><?><?><?>
       COPYING <?><?> <?><?> <?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?>
       <?><?> <?><?> <?><?><?><?><?> ppl-config --copying <?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?><?> <?><?><?><?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?><?> <?><?><?><?>. <?><?><?><?><?><?><?><?>
       <?><?><?><?><?><?> <?><?><?><?> <?><?><?><?><?><?> <?><?><?>
       <?><?><?><?> <?><?><?><?><?><?> <?><?><?><?> <?><?> <?><?><?><?><?>
       <?><?><?><?> <?><?><?><?> <?><?> <?><?><?> <?><?><?>.

<?><?><?><?><?><?> <?><?><?><?><?><?> (SEE ALSO)
       libppl(3)

       libppl_c(3)

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library User's Manual (version 1.2), <?><?> <?><?><?><?><?>
       (<?><?> <?><?><?><?><?> <?><?><?><?>) <?><?>
       http://bugseng.com/products/ppl .

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library C Language Interface User's Manual (version 1.2),
       <?><?> <?><?><?><?><?> (<?><?> <?><?><?><?><?> <?><?><?><?>) <?><?>
       http://bugseng.com/products/ppl .

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library Java Language Interface User's Manual (version 1.2),
       <?><?> <?><?><?><?><?> (<?><?> <?><?><?><?><?> <?><?><?><?>) <?><?>
       http://bugseng.com/products/ppl .

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library OCaml Language Interface User's Manual (version 1.2),
       <?><?> <?><?><?><?><?> (<?><?> <?><?><?><?><?> <?><?><?><?>) <?><?>
       http://bugseng.com/products/ppl .

       Roberto Bagnara, Patricia M. Hill, and Enea Zaffanella.  The Parma
       Polyhedra Library Prolog Language Interface User's Manual (version
       1.2), <?><?> <?><?><?><?><?> (<?><?> <?><?><?><?><?> <?><?><?><?>)
       <?><?> http://bugseng.com/products/ppl .

ppl-config 1.2                   February 2016                   PPL-CONFIG(1)