diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-19 14:45:42 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-19 14:45:42 -0700 |
commit | ce8c429281fd1f7e4ac4d2b7133152c1d370df0c (patch) | |
tree | 407400e728621cc9a5262e7112a93bd6acd0835a /cvc4autoconfig.h.in | |
parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) |
Remove autotools build system. (#2639)
Diffstat (limited to 'cvc4autoconfig.h.in')
-rw-r--r-- | cvc4autoconfig.h.in | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/cvc4autoconfig.h.in b/cvc4autoconfig.h.in new file mode 100644 index 000000000..ce8aeb5da --- /dev/null +++ b/cvc4autoconfig.h.in @@ -0,0 +1,67 @@ +#ifndef __CVC4__CVC4AUTOCONFIG_H +#define __CVC4__CVC4AUTOCONFIG_H + +/* Major component of the version of CVC4. */ +#define CVC4_MAJOR @CVC4_MAJOR@ + +/* Minor component of the version of CVC4. */ +#define CVC4_MINOR @CVC4_MINOR@ + +/* Release component of the version of CVC4. */ +#define CVC4_RELEASE @CVC4_RELEASE@ + +/* Extraversion component of the version of CVC4. */ +#define CVC4_EXTRAVERSION "@CVC4_EXTRAVERSION@" + +/* Full release string for CVC4. */ +#define CVC4_RELEASE_STRING "@CVC4_RELEASE_STRING@" + +/* Full name of this package. */ +#define PACKAGE_NAME "@PACKAGE_NAME@" + +/* Define to 1 if CVC4 is built with (optional) GPLed library dependencies. */ +#cmakedefine01 CVC4_GPL_DEPS + +/* Define to use the CLN multi-precision arithmetic library. */ +#cmakedefine CVC4_CLN_IMP + +/* Define to use the GMP multi-precision arithmetic library. */ +#cmakedefine CVC4_GMP_IMP + +/* Define to 1 if Boost threading library has support for thread attributes. */ +#cmakedefine01 BOOST_HAS_THREAD_ATTR + +/* Define if `clock_gettime' is supported by the platform. */ +#cmakedefine HAVE_CLOCK_GETTIME + +/* Define to 1 if the declaration of `optreset' is available. */ +#cmakedefine01 HAVE_DECL_OPTRESET + +/* Define to 1 if the <ext/stdio_filebuf.h> header file is available. */ +#cmakedefine01 HAVE_EXT_STDIO_FILEBUF_H + +/* Define if `ffs' is supported by the platform. */ +#cmakedefine HAVE_FFS + +/* Define to 1 to use libreadline. */ +#cmakedefine01 HAVE_LIBREADLINE + +/* Define if `sigaltstack' is supported by the platform. */ +#cmakedefine HAVE_SIGALTSTACK + +/* Define to 1 if `strerror_r' is supported by the platform. */ +#cmakedefine01 HAVE_STRERROR_R + +/* Define if `strtok_r' is supported by the platform. */ +#cmakedefine HAVE_STRTOK_R + +/* Define to 1 if the <unistd.h> header file is available. */ +#cmakedefine01 HAVE_UNISTD_H + +/* Define to 1 if `rl_completion_entry_function' returns (char *). */ +#cmakedefine01 READLINE_COMPENTRY_FUNC_RETURNS_CHARP + +/* Define to 1 if `strerror_r' returns (char *). */ +#cmakedefine01 STRERROR_R_CHAR_P + +#endif /* __CVC4__CVC4AUTOCONFIG_H */ |