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