Browse Source

Merge branch 'settings' of https://sselab.de/lab9/private/git/storm into settings

Former-commit-id: dffdd727a8
tempestpy_adaptions
PBerger 11 years ago
parent
commit
3697f5819d
  1. BIN
      resources/3rdparty/gtest-1.6.0/libgtest.a
  2. BIN
      resources/3rdparty/gtest-1.6.0/libgtest_main.a
  3. 3
      resources/3rdparty/log4cplus-1.1.2-rc2/CMakeLists.txt
  4. 480
      resources/3rdparty/log4cplus-1.1.2-rc2/include/log4cplus/config.h
  5. 1
      resources/3rdparty/ltl2dstar-0.5.1/src/libltl2dstar.a.REMOVED.git-id

BIN
resources/3rdparty/gtest-1.6.0/libgtest.a

BIN
resources/3rdparty/gtest-1.6.0/libgtest_main.a

3
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)

480
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 <atomic> header and increment,
decrement operations. */
/* #undef HAVE_CXX11_ATOMICS */
/* Define to 1 if you have the <dlfcn.h> 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 <inttypes.h> 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 <memory.h> 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 <stdint.h> header file. */
#define HAVE_STDINT_H 1
/* Define to 1 if you have the <stdlib.h> header file. */
#define HAVE_STDLIB_H 1
/* Define to 1 if you have the <strings.h> header file. */
#define HAVE_STRINGS_H 1
/* Define to 1 if you have the <string.h> header file. */
#define HAVE_STRING_H 1
/* Define to 1 if you have the <sys/stat.h> header file. */
#define HAVE_SYS_STAT_H 1
/* Define to 1 if you have the <sys/types.h> 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 <unistd.h> 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

1
resources/3rdparty/ltl2dstar-0.5.1/src/libltl2dstar.a.REMOVED.git-id

@ -0,0 +1 @@
607b1a028851226887af6b021f2222652a21d69a
Loading…
Cancel
Save