diff --git a/resources/3rdparty/gtest-1.6.0/libgtest.a b/resources/3rdparty/gtest-1.6.0/libgtest.a new file mode 100644 index 000000000..e11c98e0e Binary files /dev/null and b/resources/3rdparty/gtest-1.6.0/libgtest.a differ diff --git a/resources/3rdparty/gtest-1.6.0/libgtest_main.a b/resources/3rdparty/gtest-1.6.0/libgtest_main.a new file mode 100644 index 000000000..f03a4f225 Binary files /dev/null and b/resources/3rdparty/gtest-1.6.0/libgtest_main.a differ diff --git a/resources/3rdparty/log4cplus-1.1.2-rc2/CMakeLists.txt b/resources/3rdparty/log4cplus-1.1.2-rc2/CMakeLists.txt index 23cebf92b..be347664f 100644 --- a/resources/3rdparty/log4cplus-1.1.2-rc2/CMakeLists.txt +++ b/resources/3rdparty/log4cplus-1.1.2-rc2/CMakeLists.txt @@ -23,6 +23,8 @@ message (STATUS "Threads: ${CMAKE_THREAD_LIBS_INIT}") set(BUILD_SHARED_LIBS TRUE CACHE BOOL "If TRUE, log4cplus is built as a shared library, otherwise as a static library") +message(STATUS "Building shared libs: ${BUILD_SHARED_LIBS}") + if (WIN32) set (UNICODE_DEFAULT ON) else (WIN32) @@ -32,6 +34,7 @@ endif (WIN32) if (MSVC) set (LOG4CPLUS_WORKING_LOCALE_DEFAULT ON) else (MSVC) + set (CMAKE_CXX_FLAGS "-std=c++11") set (LOG4CPLUS_WORKING_LOCALE_DEFAULT OFF) endif (MSVC) diff --git a/resources/3rdparty/log4cplus-1.1.2-rc2/include/log4cplus/config.h b/resources/3rdparty/log4cplus-1.1.2-rc2/include/log4cplus/config.h new file mode 100644 index 000000000..d71b7624b --- /dev/null +++ b/resources/3rdparty/log4cplus-1.1.2-rc2/include/log4cplus/config.h @@ -0,0 +1,480 @@ +/* include/log4cplus/config.h. Generated from config.h.in by configure. */ +/* include/log4cplus/config.h.in. Generated from configure.ac by autoheader. */ + +#ifndef LOG4CPLUS_CONFIG_H + +#define LOG4CPLUS_CONFIG_H + +/* Defined if the compiler supports C99 style variadic macros with + __VA_ARGS__. */ +/* #undef HAS_C99_VARIADIC_MACROS */ + +/* Defined if the compiler supports GNU style variadic macros. */ +/* #undef HAS_GNU_VARIADIC_MACROS */ + +/* Define to 1 if you have the `clock_gettime' function. */ +#define HAVE_CLOCK_GETTIME 1 + +/* Define to 1 if you have the `clock_nanosleep' function. */ +#define HAVE_CLOCK_NANOSLEEP 1 + +/* Defined if the compiler provides C++11 header and increment, + decrement operations. */ +/* #undef HAVE_CXX11_ATOMICS */ + +/* Define to 1 if you have the header file. */ +#define HAVE_DLFCN_H 1 + +/* Define to 1 if you have the `fcntl' function. */ +#define HAVE_FCNTL 1 + +/* Define to 1 if you have the `flock' function. */ +#define HAVE_FLOCK 1 + +/* Define to 1 if you have the `ftime' function. */ +#define HAVE_FTIME 1 + +/* */ +#define HAVE_GETADDRINFO 1 + +/* */ +#define HAVE_GETHOSTBYNAME_R 1 + +/* Define to 1 if you have the `getpid' function. */ +#define HAVE_GETPID 1 + +/* Define to 1 if you have the `gettimeofday' function. */ +#define HAVE_GETTIMEOFDAY 1 + +/* Define to 1 if you have the `gmtime_r' function. */ +#define HAVE_GMTIME_R 1 + +/* Define to 1 if you have the `htonl' function. */ +#define HAVE_HTONL 1 + +/* Define to 1 if you have the `htons' function. */ +#define HAVE_HTONS 1 + +/* Define to 1 if you have the `iconv' function. */ +/* #undef HAVE_ICONV */ + +/* Define to 1 if you have the `iconv_close' function. */ +/* #undef HAVE_ICONV_CLOSE */ + +/* Define to 1 if you have the `iconv_open' function. */ +/* #undef HAVE_ICONV_OPEN */ + +/* Define to 1 if you have the header file. */ +#define HAVE_INTTYPES_H 1 + +/* Define to 1 if you have the `advapi32' library (-ladvapi32). */ +/* #undef HAVE_LIBADVAPI32 */ + +/* Define to 1 if you have the `libiconv' function. */ +/* #undef HAVE_LIBICONV */ + +/* Define to 1 if you have the `libiconv_close' function. */ +/* #undef HAVE_LIBICONV_CLOSE */ + +/* Define to 1 if you have the `libiconv_open' function. */ +/* #undef HAVE_LIBICONV_OPEN */ + +/* Define to 1 if you have the `kernel32' library (-lkernel32). */ +/* #undef HAVE_LIBKERNEL32 */ + +/* Define to 1 if you have the `ws2_32' library (-lws2_32). */ +/* #undef HAVE_LIBWS2_32 */ + +/* Define to 1 if you have the `localtime_r' function. */ +#define HAVE_LOCALTIME_R 1 + +/* Define to 1 if you have the `lockf' function. */ +#define HAVE_LOCKF 1 + +/* Define to 1 if you have the `lstat' function. */ +#define HAVE_LSTAT 1 + +/* Define to 1 if you have the `mbstowcs' function. */ +#define HAVE_MBSTOWCS 1 + +/* Define to 1 if you have the header file. */ +#define HAVE_MEMORY_H 1 + +/* Define to 1 if you have the `nanosleep' function. */ +#define HAVE_NANOSLEEP 1 + +/* Define to 1 if you have the `ntohl' function. */ +#define HAVE_NTOHL 1 + +/* Define to 1 if you have the `ntohs' function. */ +#define HAVE_NTOHS 1 + +/* Define to 1 if you have the `pipe' function. */ +#define HAVE_PIPE 1 + +/* Define to 1 if you have the `pipe2' function. */ +#define HAVE_PIPE2 1 + +/* Define to 1 if you have the `poll' function. */ +#define HAVE_POLL 1 + +/* Define if you have POSIX threads libraries and header files. */ +#define HAVE_PTHREAD 1 + +/* Have PTHREAD_PRIO_INHERIT. */ +#define HAVE_PTHREAD_PRIO_INHERIT 1 + +/* Define to 1 if you have the `stat' function. */ +#define HAVE_STAT 1 + +/* Define to 1 if you have the header file. */ +#define HAVE_STDINT_H 1 + +/* Define to 1 if you have the header file. */ +#define HAVE_STDLIB_H 1 + +/* Define to 1 if you have the header file. */ +#define HAVE_STRINGS_H 1 + +/* Define to 1 if you have the header file. */ +#define HAVE_STRING_H 1 + +/* Define to 1 if you have the header file. */ +#define HAVE_SYS_STAT_H 1 + +/* Define to 1 if you have the header file. */ +#define HAVE_SYS_TYPES_H 1 + +/* Defined if the compiler understands __thread or __declspec(thread) + construct. */ +#define HAVE_TLS_SUPPORT 1 + +/* Define to 1 if you have the header file. */ +#define HAVE_UNISTD_H 1 + +/* Define to 1 if you have the `vfprintf_s' function. */ +/* #undef HAVE_VFPRINTF_S */ + +/* Define to 1 if you have the `vfwprintf_s' function. */ +/* #undef HAVE_VFWPRINTF_S */ + +/* Define to 1 if you have the `vsnprintf' function. */ +#define HAVE_VSNPRINTF 1 + +/* Define to 1 if you have the `vsnwprintf' function. */ +/* #undef HAVE_VSNWPRINTF */ + +/* Define to 1 if you have the `vsprintf_s' function. */ +/* #undef HAVE_VSPRINTF_S */ + +/* Define to 1 if you have the `vswprintf_s' function. */ +/* #undef HAVE_VSWPRINTF_S */ + +/* Define to 1 if you have the `wcstombs' function. */ +#define HAVE_WCSTOMBS 1 + +/* Define to 1 if you have the `_vsnprintf_s' function. */ +/* #undef HAVE__VSNPRINTF_S */ + +/* Define to 1 if you have the `_vsnwprintf' function. */ +/* #undef HAVE__VSNWPRINTF */ + +/* Define to 1 if you have the `_vsnwprintf_s' function. */ +/* #undef HAVE__VSNWPRINTF_S */ + +/* Defined if the compiler supports __FUNCTION__ macro. */ +/* #undef HAVE___FUNCTION___MACRO */ + +/* Defined if the compiler supports __func__ symbol. */ +/* #undef HAVE___FUNC___SYMBOL */ + +/* Defined if the compiler supports __PRETTY_FUNCTION__ macro. */ +/* #undef HAVE___PRETTY_FUNCTION___MACRO */ + +/* Defined if the compiler provides __sync_add_and_fetch(). */ +#define HAVE___SYNC_ADD_AND_FETCH 1 + +/* Defined if the compiler provides __sync_sub_and_fetch(). */ +#define HAVE___SYNC_SUB_AND_FETCH 1 + +/* Defined for --enable-debugging builds. */ +/* #undef LOG4CPLUS_DEBUGGING */ + +/* Defined if the compiler understands __declspec(dllimport) or + __attribute__((visibility("default"))) or __global construct. */ +#define LOG4CPLUS_DECLSPEC_EXPORT __attribute__ ((visibility("default"))) + +/* Defined if the compiler understands __declspec(dllimport) or + __attribute__((visibility("default"))) or __global construct. */ +#define LOG4CPLUS_DECLSPEC_IMPORT __attribute__ ((visibility("default"))) + +/* Defined if the compiler understands __attribute__((visibility("hidden"))) + or __hidden construct. */ +#define LOG4CPLUS_DECLSPEC_PRIVATE __attribute__ ((visibility("hidden"))) + +/* */ +#define LOG4CPLUS_HAVE_ARPA_INET_H 1 + +/* */ +#define LOG4CPLUS_HAVE_C99_VARIADIC_MACROS 1 + +/* */ +#define LOG4CPLUS_HAVE_CLOCK_GETTIME 1 + +/* */ +#define LOG4CPLUS_HAVE_CLOCK_NANOSLEEP 1 + +/* */ +/* #undef LOG4CPLUS_HAVE_CXX11_ATOMICS */ + +/* */ +#define LOG4CPLUS_HAVE_ENAMETOOLONG 1 + +/* */ +#define LOG4CPLUS_HAVE_ERRNO_H 1 + +/* */ +#define LOG4CPLUS_HAVE_FCNTL 1 + +/* */ +#define LOG4CPLUS_HAVE_FCNTL_H 1 + +/* */ +#define LOG4CPLUS_HAVE_FLOCK 1 + +/* */ +#define LOG4CPLUS_HAVE_FTIME 1 + +/* */ +#define LOG4CPLUS_HAVE_FUNCTION_MACRO 1 + +/* */ +#define LOG4CPLUS_HAVE_FUNC_SYMBOL 1 + +/* */ +#define LOG4CPLUS_HAVE_GETADDRINFO 1 + +/* */ +#define LOG4CPLUS_HAVE_GETHOSTBYNAME_R 1 + +/* */ +#define LOG4CPLUS_HAVE_GETPID 1 + +/* */ +#define LOG4CPLUS_HAVE_GETTID 1 + +/* */ +#define LOG4CPLUS_HAVE_GETTIMEOFDAY 1 + +/* */ +#define LOG4CPLUS_HAVE_GMTIME_R 1 + +/* */ +#define LOG4CPLUS_HAVE_GNU_VARIADIC_MACROS 1 + +/* */ +#define LOG4CPLUS_HAVE_HTONL 1 + +/* */ +#define LOG4CPLUS_HAVE_HTONS 1 + +/* */ +/* #undef LOG4CPLUS_HAVE_ICONV */ + +/* */ +/* #undef LOG4CPLUS_HAVE_ICONV_CLOSE */ + +/* */ +/* #undef LOG4CPLUS_HAVE_ICONV_H */ + +/* */ +/* #undef LOG4CPLUS_HAVE_ICONV_OPEN */ + +/* */ +#define LOG4CPLUS_HAVE_LIMITS_H 1 + +/* */ +#define LOG4CPLUS_HAVE_LOCALTIME_R 1 + +/* */ +#define LOG4CPLUS_HAVE_LOCKF 1 + +/* */ +#define LOG4CPLUS_HAVE_LSTAT 1 + +/* */ +#define LOG4CPLUS_HAVE_MBSTOWCS 1 + +/* */ +#define LOG4CPLUS_HAVE_NANOSLEEP 1 + +/* */ +#define LOG4CPLUS_HAVE_NETDB_H 1 + +/* */ +#define LOG4CPLUS_HAVE_NETINET_IN_H 1 + +/* */ +#define LOG4CPLUS_HAVE_NETINET_TCP_H 1 + +/* */ +#define LOG4CPLUS_HAVE_NTOHL 1 + +/* */ +#define LOG4CPLUS_HAVE_NTOHS 1 + +/* */ +#define LOG4CPLUS_HAVE_PIPE 1 + +/* */ +#define LOG4CPLUS_HAVE_PIPE2 1 + +/* */ +#define LOG4CPLUS_HAVE_POLL 1 + +/* */ +#define LOG4CPLUS_HAVE_POLL_H 1 + +/* */ +#define LOG4CPLUS_HAVE_PRETTY_FUNCTION_MACRO 1 + +/* */ +#define LOG4CPLUS_HAVE_STAT 1 + +/* */ +#define LOG4CPLUS_HAVE_STDARG_H 1 + +/* */ +#define LOG4CPLUS_HAVE_STDIO_H 1 + +/* */ +#define LOG4CPLUS_HAVE_STDLIB_H 1 + +/* */ +#define LOG4CPLUS_HAVE_SYSLOG_H 1 + +/* */ +#define LOG4CPLUS_HAVE_SYS_FILE_H 1 + +/* */ +#define LOG4CPLUS_HAVE_SYS_SOCKET_H 1 + +/* */ +#define LOG4CPLUS_HAVE_SYS_STAT_H 1 + +/* */ +#define LOG4CPLUS_HAVE_SYS_SYSCALL_H 1 + +/* */ +#define LOG4CPLUS_HAVE_SYS_TIMEB_H 1 + +/* */ +#define LOG4CPLUS_HAVE_SYS_TIME_H 1 + +/* */ +#define LOG4CPLUS_HAVE_SYS_TYPES_H 1 + +/* */ +#define LOG4CPLUS_HAVE_TIME_H 1 + +/* */ +#define LOG4CPLUS_HAVE_TLS_SUPPORT 1 + +/* */ +#define LOG4CPLUS_HAVE_UNISTD_H 1 + +/* */ +/* #undef LOG4CPLUS_HAVE_VFPRINTF_S */ + +/* */ +/* #undef LOG4CPLUS_HAVE_VFWPRINTF_S */ + +/* */ +#define LOG4CPLUS_HAVE_VSNPRINTF 1 + +/* */ +/* #undef LOG4CPLUS_HAVE_VSNWPRINTF */ + +/* */ +/* #undef LOG4CPLUS_HAVE_VSPRINTF_S */ + +/* */ +/* #undef LOG4CPLUS_HAVE_VSWPRINTF_S */ + +/* */ +#define LOG4CPLUS_HAVE_WCHAR_H 1 + +/* */ +#define LOG4CPLUS_HAVE_WCSTOMBS 1 + +/* */ +/* #undef LOG4CPLUS_HAVE__VSNPRINTF_S */ + +/* */ +/* #undef LOG4CPLUS_HAVE__VSNWPRINTF */ + +/* */ +/* #undef LOG4CPLUS_HAVE__VSNWPRINTF_S */ + +/* */ +#define LOG4CPLUS_HAVE___SYNC_ADD_AND_FETCH 1 + +/* */ +#define LOG4CPLUS_HAVE___SYNC_SUB_AND_FETCH 1 + +/* Define if this is a single-threaded library. */ +/* #undef LOG4CPLUS_SINGLE_THREADED */ + +/* */ +#define LOG4CPLUS_THREAD_LOCAL_VAR __thread + +/* */ +/* #undef LOG4CPLUS_USE_PTHREADS */ + +/* Define when iconv() is available. */ +/* #undef LOG4CPLUS_WITH_ICONV */ + +/* Define for C99 compilers/standard libraries that support more than just the + "C" locale. */ +/* #undef LOG4CPLUS_WORKING_C_LOCALE */ + +/* Define for compilers/standard libraries that support more than just the "C" + locale. */ +/* #undef LOG4CPLUS_WORKING_LOCALE */ + +/* Define to the sub-directory in which libtool stores uninstalled libraries. + */ +#define LT_OBJDIR ".libs/" + +/* Define to the address where bug reports for this package should be sent. */ +#define PACKAGE_BUGREPORT "" + +/* Define to the full name of this package. */ +#define PACKAGE_NAME "log4cplus" + +/* Define to the full name and version of this package. */ +#define PACKAGE_STRING "log4cplus 1.1.2" + +/* Define to the one symbol short name of this package. */ +#define PACKAGE_TARNAME "log4cplus" + +/* Define to the home page for this package. */ +#define PACKAGE_URL "" + +/* Define to the version of this package. */ +#define PACKAGE_VERSION "1.1.2" + +/* Define to necessary symbol if this constant uses a non-standard name on + your system. */ +/* #undef PTHREAD_CREATE_JOINABLE */ + +/* Define to 1 if you have the ANSI C header files. */ +#define STDC_HEADERS 1 + +/* Defined to the actual TLS support construct. */ +#define TLS_SUPPORT_CONSTRUCT __thread + +/* Substitute for socklen_t */ +/* #undef socklen_t */ + +#endif // LOG4CPLUS_CONFIG_H diff --git a/resources/3rdparty/ltl2dstar-0.5.1/src/libltl2dstar.a.REMOVED.git-id b/resources/3rdparty/ltl2dstar-0.5.1/src/libltl2dstar.a.REMOVED.git-id new file mode 100644 index 000000000..10cc1a2a8 --- /dev/null +++ b/resources/3rdparty/ltl2dstar-0.5.1/src/libltl2dstar.a.REMOVED.git-id @@ -0,0 +1 @@ +607b1a028851226887af6b021f2222652a21d69a \ No newline at end of file