06b5a82950
Part of #447. * configure.ac, m4/bdebug.m4: Replace AC_ERROR and AC_HELP_STRING by by AC_MSG_ERROR and AS_HELP_STRING.
124 lines
3 KiB
Text
124 lines
3 KiB
Text
AC_PREREQ([2.57])
|
|
AC_INIT([buddy], [2.3a])
|
|
AC_CONFIG_AUX_DIR([tools])
|
|
AC_CONFIG_MACRO_DIR([m4])
|
|
AM_INIT_AUTOMAKE([foreign nostdinc no-define 1.7.3])
|
|
|
|
# If the user didn't supply a CFLAGS value,
|
|
# set an empty one to prevent autoconf to stick -O2 -g here.
|
|
test -z "$CFLAGS" && CFLAGS=
|
|
test -z "$CXXFLAGS" && CXXFLAGS=
|
|
|
|
adl_ENABLE_DEVEL
|
|
|
|
AC_PROG_CC
|
|
|
|
AM_PROG_LEX
|
|
AC_PROG_YACC
|
|
|
|
AC_PROG_CXX
|
|
|
|
# Option to activate C++20
|
|
AC_ARG_ENABLE([c++20],
|
|
[AS_HELP_STRING([--enable-c++20],
|
|
[Compile in C++20 mode.])],
|
|
[enable_20=yes], [enable_20=no])
|
|
|
|
LT_INIT([win32-dll])
|
|
AX_BSYMBOLIC
|
|
|
|
# Use -Werror since using -fvisibility under MinGW is only a warning.
|
|
# (The option is ignored anyway since this does not make sense under windows).
|
|
AX_CHECK_COMPILE_FLAG([-Werror -fvisibility=hidden],
|
|
[CFLAGS="$CFLAGS -fvisibility=hidden"])
|
|
AC_LANG(C++)
|
|
AX_CHECK_COMPILE_FLAG([-Werror -fvisibility=hidden],
|
|
[CXXFLAGS="$CXXFLAGS -fvisibility=hidden"
|
|
AX_CHECK_COMPILE_FLAG([-fvisibility-inlines-hidden],
|
|
[CXXFLAGS="$CXXFLAGS -fvisibility-inlines-hidden"])])
|
|
AC_LANG(C)
|
|
|
|
|
|
adl_ENABLE_DEBUG
|
|
ad_GCC_OPTIM
|
|
adl_NDEBUG
|
|
|
|
buddy_INTEL
|
|
buddy_DEBUG_FLAGS
|
|
|
|
if test x$enable_warnings = xyes; then
|
|
CF_GCC_WARNINGS
|
|
fi
|
|
|
|
# Turn on C++17 support
|
|
AC_LANG(C++)
|
|
m4_define([_AX_CXX_COMPILE_STDCXX_17_testbody],
|
|
[AC_LANG_SOURCE([#include <memory>
|
|
#include <string>
|
|
#include <chrono> // used to fail in C++11 with some installation of clang
|
|
#include <map>
|
|
|
|
template <typename T>
|
|
struct check
|
|
{
|
|
static_assert(sizeof(int) <= sizeof(T), "not big enough");
|
|
};
|
|
|
|
typedef check<check<bool>> right_angle_brackets;
|
|
|
|
auto f = std::make_unique<std::string>("uniq_ptr");
|
|
|
|
int a;
|
|
decltype(a) b;
|
|
|
|
typedef check<int> check_type;
|
|
check_type c;
|
|
check_type&& cr = static_cast<check_type&&>(c);
|
|
|
|
auto d = a;
|
|
|
|
int aa[[2]] = {1,2};
|
|
auto [[x,y]] = aa;
|
|
])])
|
|
|
|
if test x"${enable_20}" = xyes; then
|
|
for f in -std=c++20 '-std=c++20 -stdlib=libc++' -std=c++2a
|
|
do
|
|
AX_CHECK_COMPILE_FLAG([$f], [CXXFLAGS="$CXXFLAGS $f" stdpass=true], [], [],
|
|
[_AX_CXX_COMPILE_STDCXX_17_testbody])
|
|
${stdpass-false} && break
|
|
done
|
|
if ! "${stdpass-false}"; then
|
|
AC_MSG_ERROR([unable to turn on C++20 mode with this compiler])
|
|
fi
|
|
else
|
|
for f in -std=c++17 '-std=c++17 -stdlib=libc++' -std=c++1z
|
|
do
|
|
AX_CHECK_COMPILE_FLAG([$f], [CXXFLAGS="$CXXFLAGS $f" stdpass=true], [], [],
|
|
[_AX_CXX_COMPILE_STDCXX_17_testbody])
|
|
${stdpass-false} && break
|
|
done
|
|
if ! "${stdpass-false}"; then
|
|
AC_MSG_ERROR([unable to turn on C++17 mode with this compiler])
|
|
fi
|
|
fi
|
|
|
|
AC_CONFIG_HEADERS([config.h])
|
|
|
|
AC_CONFIG_FILES([
|
|
Makefile
|
|
src/Makefile
|
|
doc/Makefile
|
|
examples/Makefile
|
|
examples/adder/Makefile
|
|
examples/bddcalc/Makefile
|
|
examples/bddtest/Makefile
|
|
examples/cmilner/Makefile
|
|
examples/fdd/Makefile
|
|
examples/milner/Makefile
|
|
examples/money/Makefile
|
|
examples/queen/Makefile
|
|
examples/solitare/Makefile
|
|
])
|
|
|
|
AC_OUTPUT
|