dlvhex  2.5.0
vs10/dlvhex/config.h File Reference

Go to the source code of this file.

Defines

#define DEBUG
#define DLVHEX_ABI_VERSION   7.4.0
#define DLVHEX_ABI_VERSION_MAJOR   7
#define DLVHEX_ABI_VERSION_MICRO   0
#define DLVHEX_ABI_VERSION_MINOR   4
#define DLVHEX_BENCHMARK
#define DLVHEX_VERSION   2.4.0
#define DLVHEX_VERSION_MAJOR   2
#define DLVHEX_VERSION_MICRO   0
#define DLVHEX_VERSION_MINOR   4
#define DLVPATH   "dlv.exe"
#define HAVE_ARGZ_ADD   1
#define HAVE_ARGZ_APPEND   1
#define HAVE_ARGZ_COUNT   1
#define HAVE_ARGZ_CREATE_SEP   1
#define HAVE_ARGZ_H   1
#define HAVE_ARGZ_INSERT   1
#define HAVE_ARGZ_NEXT   1
#define HAVE_ARGZ_STRINGIFY   1
#define HAVE_BOOST   1
#define HAVE_BOOST_ALGORITHM_STRING_HPP   1
#define HAVE_BOOST_DATE_TIME_POSIX_TIME_POSIX_TIME_HPP   1
#define HAVE_BOOST_FILESYSTEM_PATH_HPP   1
#define HAVE_BOOST_GRAPH_ADJACENCY_LIST_HPP   1
#define HAVE_BOOST_IOSTREAMS_DEVICE_FILE_DESCRIPTOR_HPP   1
#define HAVE_BOOST_PROGRAM_OPTIONS_HPP   1
#define HAVE_BOOST_SCOPED_PTR_HPP   1
#define HAVE_BOOST_SHARED_PTR_HPP   1
#define HAVE_BOOST_SYSTEM_ERROR_CODE_HPP   1
#define HAVE_BOOST_TEST_UNIT_TEST_HPP   1
#define HAVE_BOOST_THREAD_HPP   1
#define HAVE_BOOST_TOKENIZER_HPP   1
#define HAVE_CLOSEDIR   1
#define HAVE_DLERROR   1
#define HAVE_DLFCN_H   1
#define HAVE_DLV   1
#define HAVE_ERROR_T   1
#define HAVE_LIBCLASP   1
#define GRINGO3   1
#define HAVE_LIBCURL   1
#define HAVE_LIBDL   1
#define HAVE_LIBDLLOADER   1
#define HAVE_LIBGRINGO   1
#define HAVE_LTDL   1
#define HAVE_MEMORY_H   1
#define HAVE_OPENDIR   1
#define HAVE_PRELOADED_SYMBOLS   1
#define HAVE_READDIR   1
#define HAVE_STDINT_H   1
#define HAVE_STDLIB_H   1
#define HAVE_STRINGS_H   1
#define HAVE_STRING_H   1
#define HAVE_SYS_PARAM_H   1
#define HAVE_SYS_STAT_H   1
#define HAVE_SYS_TYPES_H   1
#define HAVE_WORKING_ARGZ   1
#define LIBCURL_FEATURE_IDN   1
#define LIBCURL_FEATURE_IPV6   1
#define LIBCURL_FEATURE_LIBZ   1
#define LIBCURL_FEATURE_NTLM   1
#define LIBCURL_FEATURE_SSL   1
#define LIBCURL_PROTOCOL_DICT   1
#define LIBCURL_PROTOCOL_FILE   1
#define LIBCURL_PROTOCOL_FTP   1
#define LIBCURL_PROTOCOL_FTPS   1
#define LIBCURL_PROTOCOL_HTTP   1
#define LIBCURL_PROTOCOL_HTTPS   1
#define LIBCURL_PROTOCOL_IMAP   1
#define LIBCURL_PROTOCOL_LDAP   1
#define LIBCURL_PROTOCOL_POP3   1
#define LIBCURL_PROTOCOL_RTSP   1
#define LIBCURL_PROTOCOL_SMTP   1
#define LIBCURL_PROTOCOL_TELNET   1
#define LIBCURL_PROTOCOL_TFTP   1
#define LT_DLSEARCH_PATH   "/lib:/usr/lib:/usr/lib/i386-linux-gnu/mesa:/lib/i386-linux-gnu:/usr/lib/i386-linux-gnu:/lib/i686-linux-gnu:/usr/lib/i686-linux-gnu:/usr/local/lib:/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnu/mesa:/lib32:/usr/lib32"
#define LT_LIBEXT   "a"
#define LT_LIBPREFIX   "lib"
#define LT_MODULE_EXT   ".so"
#define LT_MODULE_PATH_VAR   "LD_LIBRARY_PATH"
#define LT_OBJDIR   ".libs/"
#define PACKAGE   "dlvhex"
#define PACKAGE_BUGREPORT   "dlvhex-devel@lists.sourceforge.net"
#define PACKAGE_NAME   "dlvhex"
#define PACKAGE_STRING   "dlvhex 2.4.0"
#define PACKAGE_TARNAME   "dlvhex"
#define PACKAGE_URL   ""
#define PACKAGE_VERSION   "2.4.0"
#define STDC_HEADERS   1
#define WIN32   1
#define DLLIMPORT   1
#define USER_PLUGIN_DIR   "dlvhex/plugins"
#define VERSION   "2.4.0"

Define Documentation

#define DEBUG

Definition at line 7 of file config.h.

#define DLLIMPORT   1

Definition at line 359 of file config.h.

#define DLVHEX_ABI_VERSION   7.4.0

Definition at line 13 of file config.h.

#define DLVHEX_ABI_VERSION_MAJOR   7

Definition at line 16 of file config.h.

#define DLVHEX_ABI_VERSION_MICRO   0

Definition at line 19 of file config.h.

#define DLVHEX_ABI_VERSION_MINOR   4

Definition at line 22 of file config.h.

Definition at line 25 of file config.h.

#define DLVHEX_VERSION   2.4.0

Definition at line 28 of file config.h.

#define DLVHEX_VERSION_MAJOR   2

Definition at line 31 of file config.h.

#define DLVHEX_VERSION_MICRO   0

Definition at line 34 of file config.h.

#define DLVHEX_VERSION_MINOR   4

Definition at line 37 of file config.h.

#define DLVPATH   "dlv.exe"

Definition at line 40 of file config.h.

#define GRINGO3   1

Definition at line 150 of file config.h.

#define HAVE_ARGZ_ADD   1

Definition at line 46 of file config.h.

#define HAVE_ARGZ_APPEND   1

Definition at line 49 of file config.h.

#define HAVE_ARGZ_COUNT   1

Definition at line 52 of file config.h.

#define HAVE_ARGZ_CREATE_SEP   1

Definition at line 55 of file config.h.

#define HAVE_ARGZ_H   1

Definition at line 58 of file config.h.

#define HAVE_ARGZ_INSERT   1

Definition at line 61 of file config.h.

#define HAVE_ARGZ_NEXT   1

Definition at line 64 of file config.h.

#define HAVE_ARGZ_STRINGIFY   1

Definition at line 67 of file config.h.

#define HAVE_BOOST   1

Definition at line 70 of file config.h.

Definition at line 73 of file config.h.

Definition at line 76 of file config.h.

Definition at line 79 of file config.h.

Definition at line 82 of file config.h.

Definition at line 85 of file config.h.

Definition at line 88 of file config.h.

#define HAVE_BOOST_SCOPED_PTR_HPP   1

Definition at line 91 of file config.h.

#define HAVE_BOOST_SHARED_PTR_HPP   1

Definition at line 94 of file config.h.

Definition at line 97 of file config.h.

Definition at line 100 of file config.h.

#define HAVE_BOOST_THREAD_HPP   1

Definition at line 103 of file config.h.

#define HAVE_BOOST_TOKENIZER_HPP   1

Definition at line 106 of file config.h.

#define HAVE_CLOSEDIR   1

Definition at line 109 of file config.h.

#define HAVE_DLERROR   1

Definition at line 125 of file config.h.

#define HAVE_DLFCN_H   1

Definition at line 128 of file config.h.

#define HAVE_DLV   1

Definition at line 131 of file config.h.

#define HAVE_ERROR_T   1

Definition at line 143 of file config.h.

#define HAVE_LIBCLASP   1

Definition at line 149 of file config.h.

#define HAVE_LIBCURL   1

Definition at line 156 of file config.h.

#define HAVE_LIBDL   1

Definition at line 159 of file config.h.

#define HAVE_LIBDLLOADER   1

Definition at line 162 of file config.h.

#define HAVE_LIBGRINGO   1

Definition at line 168 of file config.h.

#define HAVE_LTDL   1

Definition at line 171 of file config.h.

#define HAVE_MEMORY_H   1

Definition at line 177 of file config.h.

#define HAVE_OPENDIR   1

Definition at line 183 of file config.h.

#define HAVE_PRELOADED_SYMBOLS   1

Definition at line 186 of file config.h.

#define HAVE_READDIR   1

Definition at line 189 of file config.h.

#define HAVE_STDINT_H   1

Definition at line 195 of file config.h.

#define HAVE_STDLIB_H   1

Definition at line 198 of file config.h.

#define HAVE_STRING_H   1

Definition at line 204 of file config.h.

#define HAVE_STRINGS_H   1

Definition at line 201 of file config.h.

#define HAVE_SYS_PARAM_H   1

Definition at line 224 of file config.h.

#define HAVE_SYS_STAT_H   1

Definition at line 227 of file config.h.

#define HAVE_SYS_TYPES_H   1

Definition at line 230 of file config.h.

#define HAVE_WORKING_ARGZ   1

Definition at line 236 of file config.h.

#define LIBCURL_FEATURE_IDN   1

Definition at line 242 of file config.h.

#define LIBCURL_FEATURE_IPV6   1

Definition at line 245 of file config.h.

#define LIBCURL_FEATURE_LIBZ   1

Definition at line 251 of file config.h.

#define LIBCURL_FEATURE_NTLM   1

Definition at line 254 of file config.h.

#define LIBCURL_FEATURE_SSL   1

Definition at line 257 of file config.h.

#define LIBCURL_PROTOCOL_DICT   1

Definition at line 263 of file config.h.

#define LIBCURL_PROTOCOL_FILE   1

Definition at line 266 of file config.h.

#define LIBCURL_PROTOCOL_FTP   1

Definition at line 269 of file config.h.

#define LIBCURL_PROTOCOL_FTPS   1

Definition at line 272 of file config.h.

#define LIBCURL_PROTOCOL_HTTP   1

Definition at line 275 of file config.h.

#define LIBCURL_PROTOCOL_HTTPS   1

Definition at line 278 of file config.h.

#define LIBCURL_PROTOCOL_IMAP   1

Definition at line 281 of file config.h.

#define LIBCURL_PROTOCOL_LDAP   1

Definition at line 284 of file config.h.

#define LIBCURL_PROTOCOL_POP3   1

Definition at line 287 of file config.h.

#define LIBCURL_PROTOCOL_RTSP   1

Definition at line 290 of file config.h.

#define LIBCURL_PROTOCOL_SMTP   1

Definition at line 293 of file config.h.

#define LIBCURL_PROTOCOL_TELNET   1

Definition at line 296 of file config.h.

#define LIBCURL_PROTOCOL_TFTP   1

Definition at line 299 of file config.h.

#define LT_DLSEARCH_PATH   "/lib:/usr/lib:/usr/lib/i386-linux-gnu/mesa:/lib/i386-linux-gnu:/usr/lib/i386-linux-gnu:/lib/i686-linux-gnu:/usr/lib/i686-linux-gnu:/usr/local/lib:/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnu:/usr/lib/x86_64-linux-gnu/mesa:/lib32:/usr/lib32"

Definition at line 305 of file config.h.

#define LT_LIBEXT   "a"

Definition at line 308 of file config.h.

#define LT_LIBPREFIX   "lib"

Definition at line 311 of file config.h.

#define LT_MODULE_EXT   ".so"

Definition at line 314 of file config.h.

#define LT_MODULE_PATH_VAR   "LD_LIBRARY_PATH"

Definition at line 318 of file config.h.

#define LT_OBJDIR   ".libs/"

Definition at line 322 of file config.h.

#define PACKAGE   "dlvhex"

Definition at line 334 of file config.h.

#define PACKAGE_BUGREPORT   "dlvhex-devel@lists.sourceforge.net"

Definition at line 337 of file config.h.

#define PACKAGE_NAME   "dlvhex"

Definition at line 340 of file config.h.

#define PACKAGE_STRING   "dlvhex 2.4.0"

Definition at line 343 of file config.h.

#define PACKAGE_TARNAME   "dlvhex"

Definition at line 346 of file config.h.

#define PACKAGE_URL   ""

Definition at line 349 of file config.h.

#define PACKAGE_VERSION   "2.4.0"

Definition at line 352 of file config.h.

#define STDC_HEADERS   1

Definition at line 355 of file config.h.

#define USER_PLUGIN_DIR   "dlvhex/plugins"

Definition at line 362 of file config.h.

Referenced by configurePluginPath().

#define VERSION   "2.4.0"

Definition at line 365 of file config.h.

#define WIN32   1

Definition at line 358 of file config.h.