OSDN Git Service

* include/std/future (__future_base::_Ptr): Use alias-declaration.
[pf3gnuchains/gcc-fork.git] / config / cloog.m4
index a44aac4..e95b98d 100644 (file)
@@ -28,15 +28,26 @@ AC_DEFUN([CLOOG_INIT_FLAGS],
       [Specify prefix directory for the installed CLooG-PPL package.
        Equivalent to --with-cloog-include=PATH/include
        plus --with-cloog-lib=PATH/lib])])
-  AC_ARG_WITH(cloog_include,
+  AC_ARG_WITH([cloog-include],
     [AS_HELP_STRING(
       [--with-cloog-include=PATH],
       [Specify directory for installed CLooG include files])])
-  AC_ARG_WITH(cloog_lib,
+  AC_ARG_WITH([cloog-lib],
     [AS_HELP_STRING(
       [--with-cloog-lib=PATH],
       [Specify the directory for the installed CLooG library])])
-  
+
+  AC_ARG_ENABLE(cloog-backend,
+    [AS_HELP_STRING(
+      [--enable-cloog-backend[[=BACKEND]]],
+      [set the CLooG BACKEND used to either isl, ppl or ppl-legacy (default)])],
+    [ if   test "x${enableval}" = "xisl"; then
+       cloog_backend=isl
+      elif test "x${enableval}" = "xppl"; then
+       cloog_backend=ppl
+      else
+       cloog_backend=ppl-legacy
+      fi], cloog_backend=ppl-legacy)
   AC_ARG_ENABLE(cloog-version-check,
     [AS_HELP_STRING(
       [--disable-cloog-version-check],
@@ -77,7 +88,9 @@ AC_DEFUN([CLOOG_REQUESTED],
 [
   AC_REQUIRE([CLOOG_INIT_FLAGS])
 
-  if test "x${with_cloog}" != x \
+  if test "x${with_cloog}" = xno; then
+    $2
+  elif test "x${with_cloog}" != x \
     || test "x${with_cloog_include}" != x \
     || test "x${with_cloog_lib}" != x ; then
     $1
@@ -87,24 +100,34 @@ AC_DEFUN([CLOOG_REQUESTED],
 ]
 )
 
-# _CLOOG_ORG_PROG ()
+# _CLOOG_ORG_PROG_ISL ()
+# ------------------
+# Helper for detecting CLooG.org's ISL backend.
+m4_define([_CLOOG_ORG_PROG_ISL],[AC_LANG_PROGRAM(
+  [#include "cloog/cloog.h" ],
+  [cloog_version ()])])
+
+# _CLOOG_ORG_PROG_PPL ()
 # ------------------
-# Helper for detecting CLooG.org's backend.
-m4_define([_CLOOG_ORG_PROG],[AC_LANG_PROGRAM(
-  [#include <cloog/cloog.h>],
+# Helper for detecting CLooG.org's PPL backend.
+m4_define([_CLOOG_ORG_PROG_PPL],[AC_LANG_PROGRAM(
+  [#include "cloog/cloog.h"
+   #include "cloog/ppl/cloog.h"],
   [cloog_version ()])])
 
 # _CLOOG_PPL_LEGACY_PROG ()
 # -------------------------
 # Helper for detecting CLooG-Legacy (CLooG-PPL).
 m4_define([_CLOOG_PPL_LEGACY_PROG], [AC_LANG_PROGRAM(
-  [#include <cloog/cloog.h>],
-  [ppl_version_major ()])])
+  [#include "cloog/cloog.h"],
+  [#ifndef CLOOG_PPL_BACKEND
+    choke me
+   #endif ])])
 
 # CLOOG_FIND_FLAGS ()
 # ------------------
 # Detect the used CLooG-backend and set clooginc/clooglibs/cloog_org.
-# Preference: CLooG-PPL (Legacy) > CLooG-ISL > CLooG-PPL
+# Only look for the CLooG backend type specified in --enable-cloog-backend
 AC_DEFUN([CLOOG_FIND_FLAGS],
 [
   AC_REQUIRE([CLOOG_INIT_FLAGS])
@@ -114,36 +137,49 @@ AC_DEFUN([CLOOG_FIND_FLAGS],
   _cloog_saved_LDFLAGS=$LDFLAGS
   _cloog_saved_LIBS=$LIBS
 
-  _clooglegacyinc="-DCLOOG_PPL_BACKEND"
   _cloogorginc="-DCLOOG_INT_GMP -DCLOOG_ORG"
  
   dnl clooglibs & clooginc may have been initialized by CLOOG_INIT_FLAGS.
-  CFLAGS="${CFLAGS} ${clooginc} ${pplinc} ${gmpinc}"
-  CPPFLAGS="${CPPFLAGS} ${_clooglegacyinc} ${_cloogorginc}"
-  LDFLAGS="${LDFLAGS} ${clooglibs} ${ppllibs}"
-
-  AC_CACHE_CHECK([for installed CLooG],
-                 [gcc_cv_cloog_type],
-    [LIBS="-lcloog ${_cloog_saved_LIBS}"
-     AC_LINK_IFELSE([_CLOOG_PPL_LEGACY_PROG],
-      [gcc_cv_cloog_type="PPL Legacy"],
-      [LIBS="-lcloog-isl -lisl ${_cloog_saved_LIBS}"
-       AC_LINK_IFELSE([_CLOOG_ORG_PROG],
-        [gcc_cv_cloog_type=ISL],
-        [LIBS="-lcloog-ppl ${_cloog_saved_LIBS}"
-         AC_LINK_IFELSE([_CLOOG_ORG_PROG],
-          [gcc_cv_cloog_type=PPL],
-          [gcc_cv_cloog_type=no])])])])
+  CFLAGS="${CFLAGS} ${clooginc} ${gmpinc}"
+  CPPFLAGS="${CPPFLAGS} ${_cloogorginc}"
+  LDFLAGS="${LDFLAGS} ${clooglibs}"
+
+  case $cloog_backend in
+    "ppl-legacy")
+    CFLAGS="${CFLAGS} ${pplinc}"
+    LDFLAGS="${LDFLAGS} ${ppllibs}"
+    AC_CACHE_CHECK([for installed CLooG PPL Legacy], [gcc_cv_cloog_type],
+      [LIBS="-lcloog ${_cloog_saved_LIBS}"
+      AC_LINK_IFELSE([_CLOOG_PPL_LEGACY_PROG], [gcc_cv_cloog_type="PPL Legacy"],
+                    [gcc_cv_cloog_type=no])])
+    ;;
+    "isl")
+    AC_CACHE_CHECK([for installed CLooG ISL], [gcc_cv_cloog_type],
+      [LIBS="-lcloog-isl ${_cloog_saved_LIBS}"
+      AC_LINK_IFELSE([_CLOOG_ORG_PROG_ISL], [gcc_cv_cloog_type="ISL"],
+                    [gcc_cv_cloog_type=no])])
+    ;;
+    "ppl")
+    CFLAGS="${CFLAGS} ${pplinc}"
+    LDFLAGS="${LDFLAGS} ${ppllibs}"
+    AC_CACHE_CHECK([for installed CLooG PPL], [gcc_cv_cloog_type],
+      [LIBS="-lcloog-ppl ${_cloog_saved_LIBS}"
+      AC_LINK_IFELSE([_CLOOG_ORG_PROG_PPL], [gcc_cv_cloog_type="PPL"],
+                    [gcc_cv_cloog_type=no])])
+    ;;
+    *)
+      gcc_cv_cloog_type=""
+  esac
 
   case $gcc_cv_cloog_type in
     "PPL Legacy")
-      clooginc="${clooginc} ${_clooglegacyinc}"
+      clooginc="${clooginc}"
       clooglibs="${clooglibs} -lcloog"
       cloog_org=no
       ;;
     "ISL")
       clooginc="${clooginc} ${_cloogorginc}"
-      clooglibs="${clooglibs} -lcloog-isl"
+      clooglibs="${clooglibs} -lcloog-isl -lisl"
       cloog_org=yes
       ;;
     "PPL")