//  (C) Copyright Christopher Jefferson 2011.
//  Use, modification and distribution are subject to the
//  Boost Software License, Version 1.0. (See accompanying file
//  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)

//  See http://www.boost.org for most recent version.

//  config for libc++
//  Might need more in here later.

#if !defined(_LIBCPP_VERSION)
#  include <ciso646>
#  if !defined(_LIBCPP_VERSION)
#      error "This is not libc++!"
#  endif
#endif

#define GECODE_BOOST_STDLIB "libc++ version " GECODE_BOOST_STRINGIZE(_LIBCPP_VERSION)

#define GECODE_BOOST_HAS_THREADS

#ifdef _LIBCPP_HAS_NO_VARIADICS
#    define GECODE_BOOST_NO_0X_HDR_TUPLE
#endif

//
// These appear to be unusable/incomplete so far:
//
#  define GECODE_BOOST_NO_0X_HDR_CHRONO
#  define GECODE_BOOST_NO_0X_HDR_FUTURE
#  define GECODE_BOOST_NO_0X_HDR_TYPE_TRAITS

// libc++ uses a non-standard messages_base
#define GECODE_BOOST_NO_STD_MESSAGES

//  --- end ---
