dlvhex
2.5.0
|
Go to the source code of this file.
#define DLVHEX_ABI_VERSION 7.5.0 |
#define DLVHEX_ABI_VERSION_MAJOR 7 |
#define DLVHEX_ABI_VERSION_MICRO 0 |
#define DLVHEX_ABI_VERSION_MINOR 5 |
#define DLVHEX_VERSION 2.5.0 |
#define DLVHEX_VERSION_MAJOR 2 |
#define DLVHEX_VERSION_MICRO 0 |
#define DLVHEX_VERSION_MINOR 5 |
#define DLVPATH "dlv" |
Definition at line 38 of file config.h.
Referenced by SimpleEvaluator::solve().
#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_FILESYSTEM_PATH_HPP 1 |
#define HAVE_BOOST_GRAPH_ADJACENCY_LIST_HPP 1 |
#define HAVE_BOOST_PROGRAM_OPTIONS_HPP 1 |
#define HAVE_BOOST_PYTHON_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_DIRENT_H 1 |
#define HAVE_DLERROR 1 |
#define HAVE_DLFCN_H 1 |
#define HAVE_ERROR_T 1 |
#define HAVE_INTTYPES_H 1 |
#define HAVE_LIBCLASP 1 |
#define HAVE_LIBCURL 1 |
#define HAVE_LIBDL 1 |
#define HAVE_LIBDLLOADER 1 |
#define HAVE_LIBGRINGO 1 |
#define HAVE_MEMORY_H 1 |
#define HAVE_OPENDIR 1 |
#define HAVE_PRELOADED_SYMBOLS 1 |
#define HAVE_PYTHON 1 |
#define HAVE_READDIR 1 |
#define HAVE_STDINT_H 1 |
#define HAVE_STDLIB_H 1 |
#define HAVE_STRING_H 1 |
#define HAVE_STRINGS_H 1 |
#define HAVE_SYS_PARAM_H 1 |
#define HAVE_SYS_STAT_H 1 |
#define HAVE_SYS_TYPES_H 1 |
#define HAVE_UNISTD_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/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_LIBPREFIX "lib" |
#define LT_MODULE_EXT ".so" |
#define LT_MODULE_PATH_VAR "LD_LIBRARY_PATH" |
#define PACKAGE_BUGREPORT "dlvhex-devel@lists.sourceforge.net" |
Definition at line 343 of file config.h.
Referenced by InternalError().
#define PACKAGE_NAME "dlvhex2" |
#define PACKAGE_STRING "dlvhex2 2.5.0" |
#define PACKAGE_TARNAME "dlvhex2" |
Definition at line 352 of file config.h.
Referenced by printVersion().
#define PACKAGE_URL "" |
#define PACKAGE_VERSION "2.5.0" |
#define STDC_HEADERS 1 |
#define VERSION "2.5.0" |
Definition at line 367 of file config.h.
Referenced by printLogo(), and printVersion().
#define YYTEXT_POINTER 1 |