ax_cxx_compile_stdcxx_14.m4 5.58 KB
Newer Older
1
# ============================================================================
Tiago Peixoto's avatar
Tiago Peixoto committed
2
#  http://www.gnu.org/software/autoconf-archive/ax_cxx_compile_stdcxx_14.html
3
4
5
6
# ============================================================================
#
# SYNOPSIS
#
Tiago Peixoto's avatar
Tiago Peixoto committed
7
#   AX_CXX_COMPILE_STDCXX_14([ext|noext],[mandatory|optional])
8
9
10
#
# DESCRIPTION
#
Tiago Peixoto's avatar
Tiago Peixoto committed
11
#   Check for baseline language coverage in the compiler for the C++14
12
13
14
#   standard; if necessary, add switches to CXXFLAGS to enable support.
#
#   The first argument, if specified, indicates whether you insist on an
Tiago Peixoto's avatar
Tiago Peixoto committed
15
16
#   extended mode (e.g. -std=gnu++14) or a strict conformance mode (e.g.
#   -std=c++14).  If neither is specified, you get whatever works, with
17
18
19
#   preference for an extended mode.
#
#   The second argument, if specified 'mandatory' or if left unspecified,
Tiago Peixoto's avatar
Tiago Peixoto committed
20
#   indicates that baseline C++14 support is required and that the macro
21
22
#   should error out if no mode with that support is found.  If specified
#   'optional', then configuration proceeds regardless, after defining
Tiago Peixoto's avatar
Tiago Peixoto committed
23
#   HAVE_CXX14 if and only if a supporting mode is found.
24
25
26
27
28
29
30
31
32
33
34
35
36
#
# LICENSE
#
#   Copyright (c) 2008 Benjamin Kosnik <bkoz@redhat.com>
#   Copyright (c) 2012 Zack Weinberg <zackw@panix.com>
#   Copyright (c) 2013 Roy Stogner <roystgnr@ices.utexas.edu>
#   Copyright (c) 2014, 2015 Google Inc.; contributed by Alexey Sokolov <sokolov@google.com>
#
#   Copying and distribution of this file, with or without modification, are
#   permitted in any medium without royalty provided the copyright notice
#   and this notice are preserved. This file is offered as-is, without any
#   warranty.

Tiago Peixoto's avatar
Tiago Peixoto committed
37
#serial 14
38

Tiago Peixoto's avatar
Tiago Peixoto committed
39
m4_define([_AX_CXX_COMPILE_STDCXX_14_testbody], [[
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
  template <typename T>
    struct check
    {
      static_assert(sizeof(int) <= sizeof(T), "not big enough");
    };

    struct Base {
    virtual void f() {}
    };
    struct Child : public Base {
    virtual void f() override {}
    };

    typedef check<check<bool>> right_angle_brackets;

    int a;
    decltype(a) b;

    typedef check<int> check_type;
    check_type c;
    check_type&& cr = static_cast<check_type&&>(c);

    auto d = a;
    auto l = [](){};
    // Prevent Clang error: unused variable 'l' [-Werror,-Wunused-variable]
    struct use_l { use_l() { l(); } };

67
68
69
    auto la = [](auto p){};
    struct use_la { use_la() { int a=0; la(a); } };

70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
    // http://stackoverflow.com/questions/13728184/template-aliases-and-sfinae
    // Clang 3.1 fails with headers of libstd++ 4.8.3 when using std::function because of this
    namespace test_template_alias_sfinae {
        struct foo {};

        template<typename T>
        using member = typename T::member_type;

        template<typename T>
        void func(...) {}

        template<typename T>
        void func(member<T>*) {}

        void test();

        void test() {
            func<foo>(0);
        }
    }
]])

Tiago Peixoto's avatar
Tiago Peixoto committed
92
AC_DEFUN([AX_CXX_COMPILE_STDCXX_14], [dnl
93
94
95
  m4_if([$1], [], [],
        [$1], [ext], [],
        [$1], [noext], [],
Tiago Peixoto's avatar
Tiago Peixoto committed
96
97
98
99
100
        [m4_fatal([invalid argument `$1' to AX_CXX_COMPILE_STDCXX_14])])dnl
  m4_if([$2], [], [ax_cxx_compile_cxx14_required=true],
        [$2], [mandatory], [ax_cxx_compile_cxx14_required=true],
        [$2], [optional], [ax_cxx_compile_cxx14_required=false],
        [m4_fatal([invalid second argument `$2' to AX_CXX_COMPILE_STDCXX_14])])
101
102
  AC_LANG_PUSH([C++])dnl
  ac_success=no
Tiago Peixoto's avatar
Tiago Peixoto committed
103
104
105
106
107
108
  AC_CACHE_CHECK(whether $CXX supports C++14 features by default,
  ax_cv_cxx_compile_cxx14,
  [AC_COMPILE_IFELSE([AC_LANG_SOURCE([_AX_CXX_COMPILE_STDCXX_14_testbody])],
    [ax_cv_cxx_compile_cxx14=yes],
    [ax_cv_cxx_compile_cxx14=no])])
  if test x$ax_cv_cxx_compile_cxx14 = xyes; then
109
110
111
112
113
    ac_success=yes
  fi

  m4_if([$1], [noext], [], [dnl
  if test x$ac_success = xno; then
Tiago Peixoto's avatar
Tiago Peixoto committed
114
115
116
    for switch in -std=gnu++14 -std=gnu++1y; do
      cachevar=AS_TR_SH([ax_cv_cxx_compile_cxx14_$switch])
      AC_CACHE_CHECK(whether $CXX supports C++14 features with $switch,
117
118
119
                     $cachevar,
        [ac_save_CXXFLAGS="$CXXFLAGS"
         CXXFLAGS="$CXXFLAGS $switch"
Tiago Peixoto's avatar
Tiago Peixoto committed
120
         AC_COMPILE_IFELSE([AC_LANG_SOURCE([_AX_CXX_COMPILE_STDCXX_14_testbody])],
121
122
123
124
125
126
127
128
129
130
131
132
133
          [eval $cachevar=yes],
          [eval $cachevar=no])
         CXXFLAGS="$ac_save_CXXFLAGS"])
      if eval test x\$$cachevar = xyes; then
        CXXFLAGS="$CXXFLAGS $switch"
        ac_success=yes
        break
      fi
    done
  fi])

  m4_if([$1], [ext], [], [dnl
  if test x$ac_success = xno; then
Tiago Peixoto's avatar
Tiago Peixoto committed
134
    dnl HP's aCC needs +std=c++14 according to:
135
    dnl http://h21007.www2.hp.com/portal/download/files/unprot/aCxx/PDF_Release_Notes/769149-001.pdf
Tiago Peixoto's avatar
Tiago Peixoto committed
136
137
138
    for switch in -std=c++14 -std=c++1y +std=c++14; do
      cachevar=AS_TR_SH([ax_cv_cxx_compile_cxx14_$switch])
      AC_CACHE_CHECK(whether $CXX supports C++14 features with $switch,
139
140
141
                     $cachevar,
        [ac_save_CXXFLAGS="$CXXFLAGS"
         CXXFLAGS="$CXXFLAGS $switch"
Tiago Peixoto's avatar
Tiago Peixoto committed
142
         AC_COMPILE_IFELSE([AC_LANG_SOURCE([_AX_CXX_COMPILE_STDCXX_14_testbody])],
143
144
145
146
147
148
149
150
151
152
153
          [eval $cachevar=yes],
          [eval $cachevar=no])
         CXXFLAGS="$ac_save_CXXFLAGS"])
      if eval test x\$$cachevar = xyes; then
        CXXFLAGS="$CXXFLAGS $switch"
        ac_success=yes
        break
      fi
    done
  fi])
  AC_LANG_POP([C++])
Tiago Peixoto's avatar
Tiago Peixoto committed
154
  if test x$ax_cxx_compile_cxx14_required = xtrue; then
155
    if test x$ac_success = xno; then
Tiago Peixoto's avatar
Tiago Peixoto committed
156
      AC_MSG_ERROR([*** A compiler with support for C++14 language features is required.])
157
158
159
    fi
  else
    if test x$ac_success = xno; then
Tiago Peixoto's avatar
Tiago Peixoto committed
160
161
      HAVE_CXX14=0
      AC_MSG_NOTICE([No compiler with C++14 support was found])
162
    else
Tiago Peixoto's avatar
Tiago Peixoto committed
163
164
165
      HAVE_CXX14=1
      AC_DEFINE(HAVE_CXX14,1,
                [define if the compiler supports basic C++14 syntax])
166
167
    fi

Tiago Peixoto's avatar
Tiago Peixoto committed
168
    AC_SUBST(HAVE_CXX14)
169
170
  fi
])