diff options
Diffstat (limited to 'cvc4autoconfig.new.h.in')
| -rw-r--r-- | cvc4autoconfig.new.h.in | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/cvc4autoconfig.new.h.in b/cvc4autoconfig.new.h.in index 8fafd62e3..ce8aeb5da 100644 --- a/cvc4autoconfig.new.h.in +++ b/cvc4autoconfig.new.h.in @@ -19,7 +19,7 @@ /* Full name of this package. */ #define PACKAGE_NAME "@PACKAGE_NAME@" -/* Define to 1 if CVC4 is built with (optional) GPLed library dependences. */ +/* 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. */ @@ -31,7 +31,7 @@ /* Define to 1 if Boost threading library has support for thread attributes. */ #cmakedefine01 BOOST_HAS_THREAD_ATTR -/* Define to 1 if `clock_gettime' is supported by the platform. */ +/* Define if `clock_gettime' is supported by the platform. */ #cmakedefine HAVE_CLOCK_GETTIME /* Define to 1 if the declaration of `optreset' is available. */ @@ -40,19 +40,19 @@ /* Define to 1 if the <ext/stdio_filebuf.h> header file is available. */ #cmakedefine01 HAVE_EXT_STDIO_FILEBUF_H -/* Define to 1 if `ffs' is supported by the platform. */ +/* Define if `ffs' is supported by the platform. */ #cmakedefine HAVE_FFS /* Define to 1 to use libreadline. */ #cmakedefine01 HAVE_LIBREADLINE -/* Define to 1 if `sigaltstack' is supported by the platform. */ +/* 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 to 1 if `strtok_r' is supported by the platform. */ +/* Define if `strtok_r' is supported by the platform. */ #cmakedefine HAVE_STRTOK_R /* Define to 1 if the <unistd.h> header file is available. */ |