configure.in

   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.
  66
  67
  68 AC_PREREQ(2.13)
  69 dnl Fill here the @bug email adress.
  70 AC_INIT([openscop], [0.4.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])
  79
  80
  81 dnl default version
  82 BITS="64"
  83 OPENSCOP_INT_T=OPENSCOP_INT_T_IS_LONGLONG
  84
  85
  86 dnl /**************************************************************************
  87 dnl  *                              Checking                                  *
  88 dnl  **************************************************************************/
  89
  90
  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)
 100
 101 dnl Checks for typedefs, structures, and compiler characteristics.
 102 AC_C_CONST
 103 AC_TYPE_SIZE_T
 104
 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])
 108
 109 dnl Checks for library functions.
 110 AC_CHECK_FUNCS(strtol)
 111
 112
 113 dnl /**************************************************************************
 114 dnl  *                             Option setting                             *
 115 dnl  **************************************************************************/
 116
 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"
 122
 123 NEED_MP="no"
 124
 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"])
 134
 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"])
 142
 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"])
 150
 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])
 156
 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])
 162
 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"])
 170
 171 dnl FIXME: should be removed...
 172 CPPFLAGS="$CPPFLAGS -D$OPENSCOP_INT_T"
 173
 174 dnl /**************************************************************************
 175 dnl  *                            Where is GMP?                               *
 176 dnl  **************************************************************************/
 177
 178
 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).
 203
 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
 211
 212     if test "$gmp_include_package" != "yes" ; then
 213       CPPFLAGS="-I$GMP_INC $CPPFLAGS"
 214     fi
 215
 216     if test "$gmp_library_package" != "yes" ; then
 217       LDFLAGS="-L$GMP_LIB $LDFLAGS"
 218     fi
 219
 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.)])
 227
 228     AC_MSG_RESULT(yes)
 229   fi
 230 fi
 231
 232
 233 dnl /**************************************************************************
 234 dnl  *                            Substitutions                               *
 235 dnl  **************************************************************************/
 236
 237
 238 dnl Substitutions to do.
 239 AC_SUBST(BITS)
 240 AC_SUBST(OPENSCOP_INT_T)
 241 AC_SUBST(ac_aux_dir)
 242
 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])
 254
 255 AC_OUTPUT
 256
 257 echo -n "Generating the source/extension.c... "
 258 ./source/extension.sh
 259 echo "OK"
 260
 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)."