Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
2.6 kB · 103 lines
C++
at develop
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104// (C) Copyright John Maddock 2001 - 2003. // (C) Copyright Jens Maurer 2001 - 2003. // 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.
// linux specific config options:
#define GECODE_BOOST_PLATFORM "linux"
// make sure we have __GLIBC_PREREQ if available at all#ifdef __cplusplus#include <cstdlib>#else#include <stdlib.h>#endif
//// <stdint.h> added to glibc 2.1.1// We can only test for 2.1 though://#if defined(__GLIBC__) && ((__GLIBC__ > 2) || ((__GLIBC__ == 2) && (__GLIBC_MINOR__ >= 1))) // <stdint.h> defines int64_t unconditionally, but <sys/types.h> defines // int64_t only if __GNUC__. Thus, assume a fully usable <stdint.h> // only when using GCC.# if defined __GNUC__# define GECODE_BOOST_HAS_STDINT_H# endif#endif
#if defined(__LIBCOMO__) // // como on linux doesn't have std:: c functions: // NOTE: versions of libcomo prior to beta28 have octal version numbering, // e.g. version 25 is 21 (dec) //# if __LIBCOMO_VERSION__ <= 20# define GECODE_BOOST_NO_STDC_NAMESPACE# endif
# if __LIBCOMO_VERSION__ <= 21# define GECODE_BOOST_NO_SWPRINTF# endif
#endif
//// If glibc is past version 2 then we definitely have// gettimeofday, earlier versions may or may not have it://#if defined(__GLIBC__) && (__GLIBC__ >= 2)# define GECODE_BOOST_HAS_GETTIMEOFDAY#endif
#ifdef __USE_POSIX199309# define GECODE_BOOST_HAS_NANOSLEEP#endif
#if defined(__GLIBC__) && defined(__GLIBC_PREREQ)// __GLIBC_PREREQ is available since 2.1.2
// swprintf is available since glibc 2.2.0# if !__GLIBC_PREREQ(2,2) || (!defined(__USE_ISOC99) && !defined(__USE_UNIX98))# define GECODE_BOOST_NO_SWPRINTF# endif#else# define GECODE_BOOST_NO_SWPRINTF#endif
// boilerplate code:#define GECODE_BOOST_HAS_UNISTD_H#include <gecode/third-party/boost/config/posix_features.hpp>#define GECODE_BOOST_HAS_PTHREAD_YIELD
#ifndef __GNUC__//// if the compiler is not gcc we still need to be able to parse// the GNU system headers, some of which (mainly <stdint.h>)// use GNU specific extensions://# ifndef __extension__# define __extension__# endif# ifndef __const__# define __const__ const# endif# ifndef __volatile__# define __volatile__ volatile# endif# ifndef __signed__# define __signed__ signed# endif# ifndef __typeof__# define __typeof__ typeof# endif# ifndef __inline__# define __inline__ inline# endif#endif