diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-20 13:31:45 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | e86a06829491bae68cef1b2156d245874516fd17 (patch) | |
tree | 64cc697a63dc6d48f536671d951c7be5fd5e7679 /cvc4autoconfig.new.h.in | |
parent | fe83ed76f721b7bc631f75440375fce8dc35da50 (diff) |
cmake: Add more documentation, some fixes and cleanup.
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. */ |