dlvhex
2.5.0
|
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 "[email protected]" 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 */