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.new.h.in | |
parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) |
Remove autotools build system. (#2639)
Diffstat (limited to 'cvc4autoconfig.new.h.in')
-rw-r--r-- | cvc4autoconfig.new.h.in | 67 |
1 files changed, 0 insertions, 67 deletions
diff --git a/cvc4autoconfig.new.h.in b/cvc4autoconfig.new.h.in deleted file mode 100644 index ce8aeb5da..000000000 --- a/cvc4autoconfig.new.h.in +++ /dev/null @@ -1,67 +0,0 @@ -#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 */ |