4.4 Optional Features

The configure shell script attempts to guess correct values for various system-dependent variables and user options used during compilation. It uses those values to create the Makefile. Various user options are provided by the CLooG’s configure script. They are summarized in the following list and may be printed by typing ./configure --help in the CLooG top-level directory.

• By default, the installation directory is /usr/local: make install will install the package’s files in /usr/local/bin, /usr/local/lib and /usr/local/include. The user can specify an installation prefix other than /usr/local by giving configure the option --prefix=PATH.
• By default, the isl backend will use the version of isl that is bundled together with CLooG. Using the --with-isl option of configure the user can specify that no isl, a previously installed (system) isl or a build isl should be used. In the latter case, the user should also specify the build location using --with-isl-builddir=PATH. In case of an installed isl, the installation location can be specified using the --with-isl-prefix=PATH and --with-isl-exec-prefix=PATH options of configure.
• By default, the PolyLib backend will use an installed (system) PolyLib, if any. The installation location can be specified using the --with-polylib-prefix=PATH and --with-polylib-exec-prefix=PATH options of configure. Using the --with-polylib option of configure the user can specify that no PolyLib or a build PolyLib should be used. In the latter case, the user should also specify the build location using --with-polylib-builddir=PATH.
• By default, the PolyLib backend of CLooG is built in 64bits version if such version of the PolyLib is found by configure. If the only existing version of the PolyLib is the 32bits or if the user give to configure the option --with-bits=32, the 32bits version of CLooG will be compiled. In the same way, the option --with-bits=gmp have to be used to build the multiple precision version.
• By default, configure will look for the GMP library (necessary to build the multiple precision version) in standard locations. If necessary, the user can specify the GMP path by giving configure the option --with-gmp-prefix=PATH and/or --with-gmp-exec-prefix=PATH.
• By default, the OpenScop Library (osl) support is not enabled. Using the --with-osl option of configure the user can specify that no osl, a previously installed (system) osl, a bundled osl, or a build osl should be used. In the latter case, the user should also specify the build location using --with-osl-builddir=PATH. In case of an installed osl, the installation location can be specified using the --with-osl-prefix=PATH and --with-osl-exec-prefix=PATH options of configure.

This document was generated on August 20, 2013 using texi2html 5.0.