Rename functions working on constraints
[openscop.git] / configure.in
blobfbecc189fad69bd9466778073c62c81ff11debeb
1 dnl
2 dnl  /*+------------------------------------------------------------------**
3 dnl   **                       OpenScop Library                           **
4 dnl   **------------------------------------------------------------------**
5 dnl   **                         configure.in                             **
6 dnl   **------------------------------------------------------------------**
7 dnl   **                   First version: 30/04/2008                      **
8 dnl   **------------------------------------------------------------------**
9 dnl
10 dnl
11 dnl **************************************************************************
12 dnl * OpenScop: Structures and formats for polyhedral tools to talk together *
13 dnl **************************************************************************
14 dnl *   ,___,,_,__,,__,,__,,__,,_,__,,_,__,,__,,___,_,__,,_,__,              *
15 dnl *   /   / /  //  //  //  // /   / /  //  //   / /  // /  /|,_,           *
16 dnl *  /   / /  //  //  //  // /   / /  //  //   / /  // /  / / /\           *
17 dnl * |~~~|~|~~~|~~~|~~~|~~~|~|~~~|~|~~~|~~~|~~~|~|~~~|~|~~~|/_/  \          *
18 dnl * | G |C| P | = | L | P |=| = |C| = | = | = |=| = |=| C |\  \ /\         *
19 dnl * | R |l| o | = | e | l |=| = |a| = | = | = |=| = |=| L | \# \ /\        *
20 dnl * | A |a| l | = | t | u |=| = |n| = | = | = |=| = |=| o | |\# \  \       *
21 dnl * | P |n| l | = | s | t |=| = |d| = | = | = | |   |=| o | | \# \  \      *
22 dnl * | H | | y |   | e | o | | = |l|   |   | = | |   | | G | |  \  \  \     *
23 dnl * | I | |   |   | e |   | |   | |   |   |   | |   | |   | |   \  \  \    *
24 dnl * | T | |   |   |   |   | |   | |   |   |   | |   | |   | |    \  \  \   *
25 dnl * | E | |   |   |   |   | |   | |   |   |   | |   | |   | |     \  \  \  *
26 dnl * | * |*| * | * | * | * |*| * |*| * | * | * |*| * |*| * | /      \* \  \ *
27 dnl * | O |p| e | n | S | c |o| p |-| L | i | b |r| a |r| y |/        \  \ / *
28 dnl * '---'-'---'---'---'---'-'---'-'---'---'---'-'---'-'---'          '--'  *
29 dnl *                                                                        *
30 dnl * Copyright (C) 2008 University Paris-Sud 11 and INRIA                   *
31 dnl *                                                                        *
32 dnl * (3-clause BSD license)                                                 *
33 dnl * Redistribution and use in source  and binary forms, with or without    *
34 dnl * modification, are permitted provided that the following conditions     *
35 dnl * are met:                                                               *
36 dnl *                                                                        *
37 dnl * 1. Redistributions of source code must retain the above copyright      *
38 dnl *    notice, this list of conditions and the following disclaimer.       *
39 dnl * 2. Redistributions in binary form must reproduce the above copyright   *
40 dnl *    notice, this list of conditions and the following disclaimer in the *
41 dnl *    documentation and/or other materials provided with the distribution.*
42 dnl * 3. The name of the author may not be used to endorse or promote        *
43 dnl *    products derived from this software without specific prior written  *
44 dnl *    permission.                                                         *
45 dnl *                                                                        *
46 dnl * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR   *
47 dnl * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED         *
48 dnl * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE *
49 dnl * DISCLAIMED. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT,     *
50 dnl * INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES     *
51 dnl * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR     *
52 dnl * SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)     *
53 dnl * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,    *
54 dnl * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING  *
55 dnl * IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE     *
56 dnl * POSSIBILITY OF SUCH DAMAGE.                                            *
57 dnl *                                                                        *
58 dnl * OpenScop Library, a library to manipulate OpenScop formats and data    *
59 dnl * structures. Written by:                                                *
60 dnl * Cedric Bastoul     <Cedric.Bastoul@u-psud.fr> and                      *
61 dnl * Louis-Noel Pouchet <Louis-Noel.pouchet@inria.fr>                       *
62 dnl *                                                                        *
63 dnl **************************************************************************/
64 dnl
65 dnl Input file for autoconf to build a configuration shellscript.
68 AC_PREREQ(2.13)
69 dnl Fill here the @bug email adress.
70 AC_INIT([openscop], [0.5.0], [cedric.bastoul@u-psud.fr,pouchet@cse.ohio-state.edu])
71 dnl A common file, which serve as a test.
72 AC_CONFIG_SRCDIR([include/openscop/macros.h])
73 dnl Put as most as possible configuration files to an auxialiry
74 dnl directory.
75 AC_CONFIG_AUX_DIR([autoconf])
76 dnl Initialize automake. Here, a special tar version that enables
77 dnl (very) long filenames.
78 AM_INIT_AUTOMAKE([1.9 tar-ustar no-define foreign dist-bzip2])
81 dnl default version
82 BITS="64"
83 OPENSCOP_INT_T=OPENSCOP_INT_T_IS_LONGLONG
86 dnl /**************************************************************************
87 dnl  *                              Checking                                  *
88 dnl  **************************************************************************/
91 dnl Checks for programs.
92 AC_PROG_CC
93 AC_PROG_LN_S
94 AC_PROG_MAKE_SET
95 AC_CHECK_PROG(CD, cd)
96 AC_CHECK_PROG(TR, tr)
97 AC_CHECK_PROG(SED, sed, sed)
98 AC_PROG_LIBTOOL
99 AC_CHECK_PROGS(DOXYGEN,doxygen,doxygen)
101 dnl Checks for typedefs, structures, and compiler characteristics.
102 AC_C_CONST
103 AC_TYPE_SIZE_T
105 dnl Checks for header files.
106 AC_HEADER_STDC
107 AC_CHECK_HEADERS([errno.h stddef.h stdlib.h string.h strings.h unistd.h])
109 dnl Checks for library functions.
110 AC_CHECK_FUNCS(strtol)
113 dnl /**************************************************************************
114 dnl  *                             Option setting                             *
115 dnl  **************************************************************************/
117 dnl Some default values cause I'm not sure whether autoconf set them, while
118 dnl documentation says it does...
119 gmp_package="yes"
120 gmp_include_package="yes"
121 gmp_library_package="yes"
123 NEED_MP="no"
125 dnl --with-gmp=gmp-path
126 AC_ARG_WITH(gmp,
127         [  --with-gmp=DIR          DIR where the gmp package is installed],
128         [ echo "Package gmp : $withval" &&
129           gmp_package=$withval &&
130           GMP_INC=$gmp_package/include &&
131           GMP_LIB=$gmp_package/lib &&
132           OPENSCOP_INT_T=OPENSCOP_INT_T_IS_MP &&
133           NEED_MP="yes"])
135 AC_ARG_WITH(gmp-include,
136         [  --with-gmp-include=DIR  DIR where gmp.h is installed],
137         [ echo "Package gmp-include : $withval" &&
138           gmp_include_package=$withval &&
139           GMP_INC=$gmp_include_package &&
140           OPENSCOP_INT_T=OPENSCOP_INT_T_IS_MP &&
141           NEED_MP="yes"])
143 AC_ARG_WITH(gmp-library,
144         [  --with-gmp-library=DIR  DIR where the gmp library is installed],
145         [ echo "Package gmp-library : $withval" &&
146           gmp_library_package=$withval &&
147           GMP_LIB=$gmp_library_package &&
148           OPENSCOP_INT_T=OPENSCOP_INT_T_IS_MP &&
149           NEED_MP="yes"])
151 AC_ARG_ENABLE(int-version,
152         [  --enable-int-version    'int' (32 bits) version is built],
153         [ echo "Package int : $enableval" &&
154           BITS="32" &&
155           OPENSCOP_INT_T=OPENSCOP_INT_T_IS_LONG])
157 AC_ARG_ENABLE(llint-version,
158         [  --enable-llint-version  'long long int' (64 bits) version is built],
159         [ echo "Package long long int : $enableval" &&
160           BITS="64" &&
161           OPENSCOP_INT_T=OPENSCOP_INT_T_IS_LONGLONG])
163 AC_ARG_ENABLE(mp-version,
164         [  --enable-mp-version     'MP' (multiple precision) version is built],
165         [ echo "Package mp : $enableval" &&
166           BITS="MP" &&
167           OPENSCOP_INT_T=OPENSCOP_INT_T_IS_MP &&
168           CPPFLAGS="$CPPFLAGS -DLINEAR_VALUE_IS_MP"
169           NEED_MP="yes"])
171 dnl FIXME: should be removed...
172 CPPFLAGS="$CPPFLAGS -D$OPENSCOP_INT_T"
174 dnl /**************************************************************************
175 dnl  *                            Where is GMP?                               *
176 dnl  **************************************************************************/
179 dnl Checking for gmp
180 AC_MSG_CHECKING(whether gmp works)
181 if test "$gmp_package" = "no"; then
182   echo "GMP package not defined"
183   AC_MSG_RESULT(no)
184   TO_BUILD_MP=""
185 else
186   if test "$NEED_MP" = "no"; then
187     echo "Mode normal GMP"
188     TO_BUILD="$TO_BUILD MP"
189     AC_CHECK_HEADER(gmp.h,
190                     [AC_CHECK_LIB(gmp,
191                                   __gmpz_init,
192                                   [LIBS="$LIBS -lgmp"],
193                                   [echo "Can't find gmp library." &&
194                                    echo "MP version will not be builded." &&
195                                    TO_BUILD_MP=""])],
196                     [echo "Can't find gmp headers." &&
197                      echo "MP version will not be builded." &&
198                      TO_BUILD_MP=""])
199   else
200     dnl Default given by --with-X is "yes", --without-X is "no". We also
201     dnl initialized manually all gmp_package* variables to "yes" (thus they are
202     dnl supposed to be "yes" except if the user set them himself).
204     if test "$gmp_package" != "yes" ; then
205       echo "(GMP path has been set by user)"
206       GMP_DIR=$gmp_package
207       dnl Useful for AC_CHECK_X to find what we want.
208       CPPFLAGS="-I$GMP_DIR/include $CPPFLAGS"
209       LDFLAGS="-L$GMP_DIR/lib $LDFLAGS"
210     fi
212     if test "$gmp_include_package" != "yes" ; then
213       CPPFLAGS="-I$GMP_INC $CPPFLAGS"
214     fi
216     if test "$gmp_library_package" != "yes" ; then
217       LDFLAGS="-L$GMP_LIB $LDFLAGS"
218     fi
220     AC_CHECK_HEADER(gmp.h,
221                     [],
222                     [AC_MSG_ERROR(Can't find gmp headers.)])
223     AC_CHECK_LIB(gmp,
224                  __gmpz_init,
225                  [LIBS="$LIBS -lgmp"],
226                  [AC_MSG_ERROR(Can't find gmp library.)])
228     AC_MSG_RESULT(yes)
229   fi
233 dnl /**************************************************************************
234 dnl  *                            Substitutions                               *
235 dnl  **************************************************************************/
238 dnl Substitutions to do.
239 AC_SUBST(BITS)
240 AC_SUBST(OPENSCOP_INT_T)
241 AC_SUBST(ac_aux_dir)
243 dnl Configure Makefiles.
244 AC_CONFIG_FILES([
245         Makefile
246         doc/Makefile
247         doc/Doxyfile
248         include/Makefile
249         include/openscop/scop.h
250         source/Makefile
251         tests/Makefile
252         ],
253         [test -z "$CONFIG_HEADERS" || echo timestamp > source/stamp-h.in])
255 AC_OUTPUT
257 echo -n "Generating the source/extension.c... "
258 ./source/extension.sh
259 echo "OK"
261 echo "             /*-----------------------------------------------*"
262 echo "              *      OpenScop Library configuration is OK     *"
263 echo "              *-----------------------------------------------*/"
264 echo "It appears that your system is OK to start the OpenScop Library compilation."
265 echo "You need now to type \"make\". Then type \"make install\" to install it on your"
266 echo "system (log as root if necessary)."