dlvhex  2.5.0
vs12/testplugin/config.h
Go to the documentation of this file.
00001 /* include/config.h.  Generated from config.h.in by configure.  */
00002 /* include/config.h.in.  Generated from configure.ac by autoheader.  */
00003 
00004 /* Activates assertions and debug logging */
00005 #define DEBUG 
00006 
00007 /* Path of DLVDB executable */
00008 /* #undef DLVDBPATH */
00009 
00010 /* Version number of DLVHEX_ABI */
00011 #define DLVHEX_ABI_VERSION 7.4.0
00012 
00013 /* Major version number of DLVHEX_ABI */
00014 #define DLVHEX_ABI_VERSION_MAJOR 7
00015 
00016 /* Micro version number of DLVHEX_ABI */
00017 #define DLVHEX_ABI_VERSION_MICRO 0
00018 
00019 /* Minor version number of DLVHEX_ABI */
00020 #define DLVHEX_ABI_VERSION_MINOR 4
00021 
00022 /* Turns on benchmarking timers and counters */
00023 #define DLVHEX_BENCHMARK 
00024 
00025 /* Path of DLV executable */
00026 #define DLVPATH "dlv.exe"
00027 
00028 /* Define to 1 if you have the `argz_add' function. */
00029 #define HAVE_ARGZ_ADD 1
00030 
00031 /* Define to 1 if you have the `argz_append' function. */
00032 #define HAVE_ARGZ_APPEND 1
00033 
00034 /* Define to 1 if you have the `argz_count' function. */
00035 #define HAVE_ARGZ_COUNT 1
00036 
00037 /* Define to 1 if you have the `argz_create_sep' function. */
00038 #define HAVE_ARGZ_CREATE_SEP 1
00039 
00040 /* Define to 1 if you have the <argz.h> header file. */
00041 #define HAVE_ARGZ_H 1
00042 
00043 /* Define to 1 if you have the `argz_insert' function. */
00044 #define HAVE_ARGZ_INSERT 1
00045 
00046 /* Define to 1 if you have the `argz_next' function. */
00047 #define HAVE_ARGZ_NEXT 1
00048 
00049 /* Define to 1 if you have the `argz_stringify' function. */
00050 #define HAVE_ARGZ_STRINGIFY 1
00051 
00052 /* Defined if the requested minimum BOOST version is satisfied */
00053 #define HAVE_BOOST 1
00054 
00055 /* Define to 1 if you have <boost/algorithm/string.hpp> */
00056 #define HAVE_BOOST_ALGORITHM_STRING_HPP 1
00057 
00058 /* Define to 1 if you have <boost/date_time/posix_time/posix_time.hpp> */
00059 #define HAVE_BOOST_DATE_TIME_POSIX_TIME_POSIX_TIME_HPP 1
00060 
00061 /* Define to 1 if you have <boost/filesystem/path.hpp> */
00062 #define HAVE_BOOST_FILESYSTEM_PATH_HPP 1
00063 
00064 /* Define to 1 if you have <boost/graph/adjacency_list.hpp> */
00065 #define HAVE_BOOST_GRAPH_ADJACENCY_LIST_HPP 1
00066 
00067 /* Define to 1 if you have <boost/iostreams/device/file_descriptor.hpp> */
00068 #define HAVE_BOOST_IOSTREAMS_DEVICE_FILE_DESCRIPTOR_HPP 1
00069 
00070 /* Define to 1 if you have <boost/program_options.hpp> */
00071 #define HAVE_BOOST_PROGRAM_OPTIONS_HPP 1
00072 
00073 /* Define to 1 if you have <boost/scoped_ptr.hpp> */
00074 #define HAVE_BOOST_SCOPED_PTR_HPP 1
00075 
00076 /* Define to 1 if you have <boost/shared_ptr.hpp> */
00077 #define HAVE_BOOST_SHARED_PTR_HPP 1
00078 
00079 /* Define to 1 if you have <boost/system/error_code.hpp> */
00080 #define HAVE_BOOST_SYSTEM_ERROR_CODE_HPP 1
00081 
00082 /* Define to 1 if you have <boost/test/unit_test.hpp> */
00083 #define HAVE_BOOST_TEST_UNIT_TEST_HPP 1
00084 
00085 /* Define to 1 if you have <boost/thread.hpp> */
00086 #define HAVE_BOOST_THREAD_HPP 1
00087 
00088 /* Define to 1 if you have <boost/tokenizer.hpp> */
00089 #define HAVE_BOOST_TOKENIZER_HPP 1
00090 
00091 /* Define to 1 if you have the `closedir' function. */
00092 #define HAVE_CLOSEDIR 1
00093 
00094 /* Define to 1 if you have the declaration of `cygwin_conv_path', and to 0 if
00095    you don't. */
00096 /* #undef HAVE_DECL_CYGWIN_CONV_PATH */
00097 
00098 /* Define to 1 if you have the <dirent.h> header file. */
00099 //#define HAVE_DIRENT_H 1
00100 
00101 /* Define if you have the GNU dld library. */
00102 /* #undef HAVE_DLD */
00103 
00104 /* Define to 1 if you have the <dld.h> header file. */
00105 /* #undef HAVE_DLD_H */
00106 
00107 /* Define to 1 if you have the `dlerror' function. */
00108 #define HAVE_DLERROR 1
00109 
00110 /* Define to 1 if you have the <dlfcn.h> header file. */
00111 #define HAVE_DLFCN_H 1
00112 
00113 /* Defined if we found dlv. */
00114 #define HAVE_DLV 1
00115 
00116 /* Defined if we found dlvdb. */
00117 /* #undef HAVE_DLVDB */
00118 
00119 /* Define to 1 if you have the <dl.h> header file. */
00120 /* #undef HAVE_DL_H */
00121 
00122 /* Define if you have the _dyld_func_lookup function. */
00123 /* #undef HAVE_DYLD */
00124 
00125 /* Define to 1 if the system has the type `error_t'. */
00126 #define HAVE_ERROR_T 1
00127 
00128 /* Define to 1 if you have the <inttypes.h> header file. */
00129 #define HAVE_INTTYPES_H 1
00130 
00131 /* Defined if we have --with-libclasp. */
00132 #define HAVE_LIBCLASP 1
00133 
00134 /* Defined if we have --with-libclingo. */
00135 /* #undef HAVE_LIBCLINGO */
00136 
00137 /* Define to 1 if you have a functional curl library. */
00138 #define HAVE_LIBCURL 1
00139 
00140 /* Define if you have the libdl library or equivalent. */
00141 #define HAVE_LIBDL 1
00142 
00143 /* Define if libdlloader will be built on this platform */
00144 #define HAVE_LIBDLLOADER 1
00145 
00146 /* Defined if we found libdlv. */
00147 /* #undef HAVE_LIBDLV */
00148 
00149 /* Defined if we have --with-libgringo. */
00150 #define HAVE_LIBGRINGO 1
00151 
00152 /* Define this if a modern libltdl is already installed */
00153 #define HAVE_LTDL 1
00154 
00155 /* Define to 1 if you have the <mach-o/dyld.h> header file. */
00156 /* #undef HAVE_MACH_O_DYLD_H */
00157 
00158 /* Define to 1 if you have the <memory.h> header file. */
00159 #define HAVE_MEMORY_H 1
00160 
00161 /* Define to 1 if you have the <ndir.h> header file, and it defines `DIR'. */
00162 /* #undef HAVE_NDIR_H */
00163 
00164 /* Define to 1 if you have the `opendir' function. */
00165 #define HAVE_OPENDIR 1
00166 
00167 /* Define if libtool can extract symbol lists from object files. */
00168 #define HAVE_PRELOADED_SYMBOLS 1
00169 
00170 /* Define to 1 if you have the `readdir' function. */
00171 #define HAVE_READDIR 1
00172 
00173 /* Define if you have the shl_load function. */
00174 /* #undef HAVE_SHL_LOAD */
00175 
00176 /* Define to 1 if you have the <stdint.h> header file. */
00177 #define HAVE_STDINT_H 1
00178 
00179 /* Define to 1 if you have the <stdlib.h> header file. */
00180 #define HAVE_STDLIB_H 1
00181 
00182 /* Define to 1 if you have the <strings.h> header file. */
00183 #define HAVE_STRINGS_H 1
00184 
00185 /* Define to 1 if you have the <string.h> header file. */
00186 #define HAVE_STRING_H 1
00187 
00188 /* Define to 1 if you have the `strlcat' function. */
00189 /* #undef HAVE_STRLCAT */
00190 
00191 /* Define to 1 if you have the `strlcpy' function. */
00192 /* #undef HAVE_STRLCPY */
00193 
00194 /* Define to 1 if you have the <sys/dir.h> header file, and it defines `DIR'.
00195    */
00196 /* #undef HAVE_SYS_DIR_H */
00197 
00198 /* Define to 1 if you have the <sys/dl.h> header file. */
00199 /* #undef HAVE_SYS_DL_H */
00200 
00201 /* Define to 1 if you have the <sys/ndir.h> header file, and it defines `DIR'.
00202    */
00203 /* #undef HAVE_SYS_NDIR_H */
00204 
00205 /* Define to 1 if you have the <sys/param.h> header file. */
00206 #define HAVE_SYS_PARAM_H 1
00207 
00208 /* Define to 1 if you have the <sys/stat.h> header file. */
00209 #define HAVE_SYS_STAT_H 1
00210 
00211 /* Define to 1 if you have the <sys/types.h> header file. */
00212 #define HAVE_SYS_TYPES_H 1
00213 
00214 /* Define to 1 if you have the <unistd.h> header file. */
00215 #define HAVE_UNISTD_H 1
00216 
00217 /* This value is set to 1 to indicate that the system argz facility works */
00218 #define HAVE_WORKING_ARGZ 1
00219 
00220 /* Defined if libcurl supports AsynchDNS */
00221 /* #undef LIBCURL_FEATURE_ASYNCHDNS */
00222 
00223 /* Defined if libcurl supports IDN */
00224 #define LIBCURL_FEATURE_IDN 1
00225 
00226 /* Defined if libcurl supports IPv6 */
00227 #define LIBCURL_FEATURE_IPV6 1
00228 
00229 /* Defined if libcurl supports KRB4 */
00230 /* #undef LIBCURL_FEATURE_KRB4 */
00231 
00232 /* Defined if libcurl supports libz */
00233 #define LIBCURL_FEATURE_LIBZ 1
00234 
00235 /* Defined if libcurl supports NTLM */
00236 #define LIBCURL_FEATURE_NTLM 1
00237 
00238 /* Defined if libcurl supports SSL */
00239 #define LIBCURL_FEATURE_SSL 1
00240 
00241 /* Defined if libcurl supports SSPI */
00242 /* #undef LIBCURL_FEATURE_SSPI */
00243 
00244 /* Defined if libcurl supports DICT */
00245 #define LIBCURL_PROTOCOL_DICT 1
00246 
00247 /* Defined if libcurl supports FILE */
00248 #define LIBCURL_PROTOCOL_FILE 1
00249 
00250 /* Defined if libcurl supports FTP */
00251 #define LIBCURL_PROTOCOL_FTP 1
00252 
00253 /* Defined if libcurl supports FTPS */
00254 #define LIBCURL_PROTOCOL_FTPS 1
00255 
00256 /* Defined if libcurl supports HTTP */
00257 #define LIBCURL_PROTOCOL_HTTP 1
00258 
00259 /* Defined if libcurl supports HTTPS */
00260 #define LIBCURL_PROTOCOL_HTTPS 1
00261 
00262 /* Defined if libcurl supports IMAP */
00263 #define LIBCURL_PROTOCOL_IMAP 1
00264 
00265 /* Defined if libcurl supports LDAP */
00266 #define LIBCURL_PROTOCOL_LDAP 1
00267 
00268 /* Defined if libcurl supports POP3 */
00269 #define LIBCURL_PROTOCOL_POP3 1
00270 
00271 /* Defined if libcurl supports RTSP */
00272 #define LIBCURL_PROTOCOL_RTSP 1
00273 
00274 /* Defined if libcurl supports SMTP */
00275 #define LIBCURL_PROTOCOL_SMTP 1
00276 
00277 /* Defined if libcurl supports TELNET */
00278 #define LIBCURL_PROTOCOL_TELNET 1
00279 
00280 /* Defined if libcurl supports TFTP */
00281 #define LIBCURL_PROTOCOL_TFTP 1
00282 
00283 /* Define if the OS needs help to load dependent libraries for dlopen(). */
00284 /* #undef LTDL_DLOPEN_DEPLIBS */
00285 
00286 /* Define to the system default library search path. */
00287 #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"
00288 
00289 /* The archive extension */
00290 #define LT_LIBEXT "a"
00291 
00292 /* The archive prefix */
00293 #define LT_LIBPREFIX "lib"
00294 
00295 /* Define to the extension used for runtime loadable modules, say, ".so". */
00296 #define LT_MODULE_EXT ".so"
00297 
00298 /* Define to the name of the environment variable that determines the run-time
00299    module search path. */
00300 #define LT_MODULE_PATH_VAR "LD_LIBRARY_PATH"
00301 
00302 /* Define to the sub-directory in which libtool stores uninstalled libraries.
00303    */
00304 #define LT_OBJDIR ".libs/"
00305 
00306 /* Define to the shared library suffix, say, ".dylib". */
00307 /* #undef LT_SHARED_EXT */
00308 
00309 /* Turns off debug logging and assertions */
00310 /* #undef NDEBUG */
00311 
00312 /* Define if dlsym() requires a leading underscore in symbol names. */
00313 /* #undef NEED_USCORE */
00314 
00315 /* Name of package */
00316 #define PACKAGE "dlvhex"
00317 
00318 /* Define to the address where bug reports for this package should be sent. */
00319 #define PACKAGE_BUGREPORT "dlvhex-devel@lists.sourceforge.net"
00320 
00321 /* Define to the full name of this package. */
00322 #define PACKAGE_NAME "dlvhex"
00323 
00324 /* Define to the full name and version of this package. */
00325 #define PACKAGE_STRING "dlvhex 2.4.0"
00326 
00327 /* Define to the one symbol short name of this package. */
00328 #define PACKAGE_TARNAME "dlvhex"
00329 
00330 /* Define to the home page for this package. */
00331 #define PACKAGE_URL ""
00332 
00333 /* Define to the version of this package. */
00334 #define PACKAGE_VERSION "2.4.0"
00335 
00336 /* Define to 1 if you have the ANSI C header files. */
00337 #define STDC_HEADERS 1
00338 
00339 // #define POSIX 1
00340 #define WIN32 1
00341 #define DLLIMPORT 1
00342 #define DLVHEXPLUGIN 1
00343 // #define HAVE_MLP 1
00344 // #define POSIX 1
00345 
00346 /* Version number of package */
00347 #define VERSION "2.4.0"
00348 
00349 /* Define so that glibc/gnulib argp.h does not typedef error_t. */
00350 /* #undef __error_t_defined */
00351 
00352 /* Define curl_free() as free() if our version of curl lacks curl_free. */
00353 /* #undef curl_free */
00354 
00355 /* Define to a type to use for `error_t' if it is not otherwise available. */
00356 /* #undef error_t */