config/cloog.m4

   1 # This file is part of GCC.
   2 #
   3 # GCC is free software; you can redistribute it and/or modify it under
   4 # the terms of the GNU General Public License as published by the Free
   5 # Software Foundation; either version 3, or (at your option) any later
   6 # version.
   7 #
   8 # GCC is distributed in the hope that it will be useful, but WITHOUT
   9 # ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  10 # FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  11 # for more details.
  12 #
  13 # You should have received a copy of the GNU General Public License
  14 # along with GCC; see the file COPYING3.  If not see
  15 # <http://www.gnu.org/licenses/>.
  16 #
  17 # Contributed by Andreas Simbuerger <simbuerg@fim.uni-passau.de>
  18
  19 # CLOOG_INIT_FLAGS ()
  20 # -------------------------
  21 # Provide configure switches for CLooG support.
  22 # Initialize clooglibs/clooginc according to the user input.
  23 AC_DEFUN([CLOOG_INIT_FLAGS],
  24 [
  25   AC_ARG_WITH(cloog,
  26     [AS_HELP_STRING(
  27       [--with-cloog=PATH],
  28       [Specify prefix directory for the installed CLooG-PPL package.
  29        Equivalent to --with-cloog-include=PATH/include
  30        plus --with-cloog-lib=PATH/lib])])
  31   AC_ARG_WITH([cloog-include],
  32     [AS_HELP_STRING(
  33       [--with-cloog-include=PATH],
  34       [Specify directory for installed CLooG include files])])
  35   AC_ARG_WITH([cloog-lib],
  36     [AS_HELP_STRING(
  37       [--with-cloog-lib=PATH],
  38       [Specify the directory for the installed CLooG library])])
  39
  40   AC_ARG_ENABLE(cloog-backend,
  41     [  --enable-cloog-backend[=backend]
  42                                 isl: The cloog.org isl backend
  43                                 ppl-legacy: The legacy ppl backend - default
  44                                 ppl: The cloog.org ppl backend],
  45     [ if   test "x${enableval}" = "xisl"; then
  46         cloog_backend=isl
  47       elif test "x${enableval}" = "xppl"; then
  48         cloog_backend=ppl
  49       else
  50         cloog_backend=ppl-legacy
  51       fi], cloog_backend=ppl-legacy)
  52   AC_ARG_ENABLE(cloog-version-check,
  53     [AS_HELP_STRING(
  54       [--disable-cloog-version-check],
  55       [disable check for CLooG version])],
  56     ENABLE_CLOOG_CHECK=$enableval,
  57     ENABLE_CLOOG_CHECK=yes)
  58
  59   # Initialize clooglibs and clooginc.
  60   case $with_cloog in
  61     no)
  62       clooglibs=
  63       clooginc=
  64       ;;
  65     "" | yes)
  66       ;;
  67     *)
  68       clooglibs="-L$with_cloog/lib"
  69       clooginc="-I$with_cloog/include"
  70       ;;
  71   esac
  72   if test "x${with_cloog_include}" != x ; then
  73     clooginc="-I$with_cloog_include"
  74   fi
  75   if test "x${with_cloog_lib}" != x; then
  76     clooglibs="-L$with_cloog_lib"
  77   fi
  78
  79   dnl Flags needed for CLOOG
  80   AC_SUBST(clooglibs)
  81   AC_SUBST(clooginc)
  82 ]
  83 )
  84
  85 # CLOOG_REQUESTED (ACTION-IF-REQUESTED, ACTION-IF-NOT)
  86 # ----------------------------------------------------
  87 # Provide actions for failed CLooG detection.
  88 AC_DEFUN([CLOOG_REQUESTED],
  89 [
  90   AC_REQUIRE([CLOOG_INIT_FLAGS])
  91
  92   if test "x${with_cloog}" != x \
  93     || test "x${with_cloog_include}" != x \
  94     || test "x${with_cloog_lib}" != x ; then
  95     $1
  96   else
  97     $2
  98   fi
  99 ]
 100 )
 101
 102 # _CLOOG_ORG_PROG_ISL ()
 103 # ------------------
 104 # Helper for detecting CLooG.org's ISL backend.
 105 m4_define([_CLOOG_ORG_PROG_ISL],[AC_LANG_PROGRAM(
 106   [#include "cloog/cloog.h" ],
 107   [cloog_version ()])])
 108
 109 # _CLOOG_ORG_PROG_PPL ()
 110 # ------------------
 111 # Helper for detecting CLooG.org's PPL backend.
 112 m4_define([_CLOOG_ORG_PROG_PPL],[AC_LANG_PROGRAM(
 113   [#include "cloog/cloog.h"
 114    #include "cloog/ppl/cloog.h"],
 115   [cloog_version ()])])
 116
 117 # _CLOOG_PPL_LEGACY_PROG ()
 118 # -------------------------
 119 # Helper for detecting CLooG-Legacy (CLooG-PPL).
 120 m4_define([_CLOOG_PPL_LEGACY_PROG], [AC_LANG_PROGRAM(
 121   [#include "cloog/cloog.h"],
 122   [#ifndef CLOOG_PPL_BACKEND
 123     choke me
 124    #endif ])])
 125
 126 # CLOOG_FIND_FLAGS ()
 127 # ------------------
 128 # Detect the used CLooG-backend and set clooginc/clooglibs/cloog_org.
 129 # Only look for the CLooG backend type specified in --enable-cloog-backend
 130 AC_DEFUN([CLOOG_FIND_FLAGS],
 131 [
 132   AC_REQUIRE([CLOOG_INIT_FLAGS])
 133
 134   _cloog_saved_CFLAGS=$CFLAGS
 135   _cloog_saved_CPPFLAGS=$CPPFLAGS
 136   _cloog_saved_LDFLAGS=$LDFLAGS
 137   _cloog_saved_LIBS=$LIBS
 138
 139   _cloogorginc="-DCLOOG_INT_GMP -DCLOOG_ORG"
 140
 141   dnl clooglibs & clooginc may have been initialized by CLOOG_INIT_FLAGS.
 142   CFLAGS="${CFLAGS} ${clooginc} ${gmpinc}"
 143   CPPFLAGS="${CPPFLAGS} ${_cloogorginc}"
 144   LDFLAGS="${LDFLAGS} ${clooglibs}"
 145
 146   case $cloog_backend in
 147     "ppl-legacy")
 148     CFLAGS="${CFLAGS} ${pplinc}"
 149     LDFLAGS="${LDFLAGS} ${ppllibs}"
 150     AC_CACHE_CHECK([for installed CLooG PPL Legacy], [gcc_cv_cloog_type],
 151       [LIBS="-lcloog ${_cloog_saved_LIBS}"
 152       AC_LINK_IFELSE([_CLOOG_PPL_LEGACY_PROG], [gcc_cv_cloog_type="PPL Legacy"],
 153                      [gcc_cv_cloog_type=no])])
 154     ;;
 155     "isl")
 156     AC_CACHE_CHECK([for installed CLooG ISL], [gcc_cv_cloog_type],
 157       [LIBS="-lcloog-isl ${_cloog_saved_LIBS}"
 158       AC_LINK_IFELSE([_CLOOG_ORG_PROG_ISL], [gcc_cv_cloog_type="ISL"],
 159                      [gcc_cv_cloog_type=no])])
 160     ;;
 161     "ppl")
 162     CFLAGS="${CFLAGS} ${pplinc}"
 163     LDFLAGS="${LDFLAGS} ${ppllibs}"
 164     AC_CACHE_CHECK([for installed CLooG PPL], [gcc_cv_cloog_type],
 165       [LIBS="-lcloog-ppl ${_cloog_saved_LIBS}"
 166       AC_LINK_IFELSE([_CLOOG_ORG_PROG_PPL], [gcc_cv_cloog_type="PPL"],
 167                      [gcc_cv_cloog_type=no])])
 168     ;;
 169     *)
 170       gcc_cv_cloog_type=""
 171   esac
 172
 173   case $gcc_cv_cloog_type in
 174     "PPL Legacy")
 175       clooginc="${clooginc}"
 176       clooglibs="${clooglibs} -lcloog"
 177       cloog_org=no
 178       ;;
 179     "ISL")
 180       clooginc="${clooginc} ${_cloogorginc}"
 181       clooglibs="${clooglibs} -lcloog-isl"
 182       cloog_org=yes
 183       ;;
 184     "PPL")
 185       clooginc="${clooginc} ${_cloogorginc}"
 186       clooglibs="${clooglibs} -lcloog-ppl"
 187       cloog_org=yes
 188       ;;
 189     *)
 190       clooglibs=
 191       clooginc=
 192       cloog_org=
 193       ;;
 194   esac
 195
 196   LIBS=$_cloog_saved_LIBS
 197   CFLAGS=$_cloog_saved_CFLAGS
 198   CPPFLAGS=$_cloog_saved_CPPFLAGS
 199   LDFLAGS=$_cloog_saved_LDFLAGS
 200 ]
 201 )
 202
 203 # _CLOOG_CHECK_CT_PROG(MAJOR, MINOR, REVISION)
 204 # --------------------------------------------
 205 # Helper for verifying CLooG's compile time version.
 206 m4_define([_CLOOG_CHECK_CT_PROG],[AC_LANG_PROGRAM(
 207   [#include "cloog/cloog.h"],
 208   [#if CLOOG_VERSION_MAJOR != $1 \
 209     || CLOOG_VERSION_MINOR != $2 \
 210     || CLOOG_VERSION_REVISION < $3
 211     choke me
 212    #endif])])
 213
 214 # _CLOOG_CHECK_RT_PROG ()
 215 # -----------------------
 216 # Helper for verifying that CLooG's compile time version
 217 # matches the run time version.
 218 m4_define([_CLOOG_CHECK_RT_PROG],[AC_LANG_PROGRAM(
 219   [#include "cloog/cloog.h"],
 220   [if ((cloog_version_major () != CLOOG_VERSION_MAJOR)
 221     && (cloog_version_minor () != CLOOG_VERSION_MINOR)
 222     && (cloog_version_revision () != CLOOG_VERSION_REVISION))
 223     {
 224       return 1;
 225     }])])
 226
 227 # CLOOG_CHECK_VERSION CLOOG_CHECK_VERSION (MAJOR, MINOR, REVISION)
 228 # ----------------------------------------------------------------
 229 # Test the found CLooG to be exact of version MAJOR.MINOR and at least
 230 # REVISION.
 231 # If we're using the old CLooG-PPL (Legacy), the old version check will
 232 # be executed (Ignores the provided version information).
 233 AC_DEFUN([CLOOG_CHECK_VERSION],
 234 [
 235   AC_REQUIRE([CLOOG_FIND_FLAGS])
 236
 237   if test "${ENABLE_CLOOG_CHECK}" = yes ; then
 238     _cloog_saved_CFLAGS=$CFLAGS
 239     _cloog_saved_LDFLAGS=$LDFLAGS
 240
 241     CFLAGS="${_cloog_saved_CFLAGS} ${clooginc} ${pplinc} ${gmpinc}"
 242     LDFLAGS="${_cloog_saved_LDFLAGS} ${clooglibs} ${ppllibs}"
 243
 244     if test "${cloog_org}" = yes ; then
 245       AC_CACHE_CHECK([for version $1.$2.$3 of CLooG],
 246         [gcc_cv_cloog_ct_0_14_0],
 247         [AC_COMPILE_IFELSE([_CLOOG_CHECK_CT_PROG($1,$2,$3)],
 248           [gcc_cv_cloog_ct_0_14_0=yes],
 249           [gcc_cv_cloog_ct_0_14_0=no])])
 250     elif test "${cloog_org}" = no ; then
 251       AC_CACHE_CHECK([for version 0.15.5 (or later revision) of CLooG],
 252         [gcc_cv_cloog_ct_0_15_5],
 253         [AC_COMPILE_IFELSE([_CLOOG_CHECK_CT_PROG(0,15,5)],
 254           [AC_COMPILE_IFELSE([_CLOOG_CHECK_CT_PROG(0,15,9)],
 255            [gcc_cv_cloog_ct_0_15_5=yes],
 256             [gcc_cv_cloog_ct_0_15_5="buggy but acceptable"])],
 257           [gcc_cv_cloog_ct_0_15_5=no])])
 258     fi
 259
 260     CFLAGS=$_cloog_saved_CFLAGS
 261     LDFLAGS=$_cloog_saved_LDFLAGS
 262   fi
 263 ]
 264 )
 265
 266 # CLOOG_IF_FAILED (ACTION-IF-FAILED)
 267 # ----------------------------------
 268 # Executes ACTION-IF-FAILED, if GRAPHITE was requested and
 269 # the checks failed.
 270 AC_DEFUN([CLOOG_IF_FAILED],
 271 [
 272   CLOOG_REQUESTED([graphite_requested=yes], [graphite_requested=no])
 273
 274   if test "${gcc_cv_cloog_ct_0_14_0}" = no \
 275     || test "${gcc_cv_cloog_rt_0_14_0}" = no \
 276     || test "${gcc_cv_cloog_ct_0_15_5}" = no; then
 277     clooglibs=
 278     clooginc=
 279   fi
 280
 281   if test "${graphite_requested}" = yes \
 282     && test "x${clooglibs}" = x \
 283     && test "x${clooginc}" = x ; then
 284     $1
 285   fi
 286 ]
 287 )