From: Aina Niemetz Date: Mon, 13 Aug 2018 17:50:24 +0000 (-0700) Subject: cmake: Added missing dependency for src/util X-Git-Tag: cvc5-1.0.0~4618 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=24abe141fdea50aff2d6856e26d9ca1ea66becf8;p=cvc5.git cmake: Added missing dependency for src/util --- diff --git a/cvc4autoconfig.new.h.in b/cvc4autoconfig.new.h.in new file mode 100644 index 000000000..a4e8b958f --- /dev/null +++ b/cvc4autoconfig.new.h.in @@ -0,0 +1,130 @@ +#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@" + +/* Define to the full name of this package. */ +#define PACKAGE_NAME "@PACKAGE_NAME@" + +/* Whether CVC4 is built with the (optional) GPLed library dependences. */ +#define CVC4_GPL_DEPS @CVC4_GPL_DEPS@ + +/* Defined if using the CLN multi-precision arithmetic library. */ +#cmakedefine CVC4_CLN_IMP + +/* Defined if using the GMP multi-precision arithmetic library. */ +#cmakedefine CVC4_GMP_IMP + +/* Defined if the requested minimum BOOST version is satisfied */ +#define HAVE_BOOST @HAVE_BOOST@ + +/* Define to 1 if you have */ +#define HAVE_BOOST_SYSTEM_ERROR_CODE_HPP + +/* Define to 1 if you have */ +#define HAVE_BOOST_THREAD_HPP @HAVE_BOOST_THREAD_HPP@ + +/* Define to 1 if Boost threading library has support for thread attributes */ +#define BOOST_HAS_THREAD_ATTR @BOOST_HAS_THREAD_ATTR@ + +/* Defined to 1 if clock_gettime() is supported by the platform. */ +#define HAVE_CLOCK_GETTIME @HAVE_CLOCK_GETTIME@ + +/* define if the compiler supports basic C++11 syntax */ +#define HAVE_CXX11 @HAVE_CXX11@ + +/* Define to 1 if you have the declaration of `optreset', and to 0 if you + don't. */ +#define HAVE_DECL_OPTRESET @HAVE_DECL_OPTRESET@ + +/* Define to 1 if you have the declaration of `strerror_r', and to 0 if you + don't. */ +#define HAVE_DECL_STRERROR_R @HAVE_DECL_STRERROR_R@ + +/* Define to 1 if you have the header file. */ +#define HAVE_DLFCN_H @HAVE_DLFCN_H@ + +/* Define to 1 if you have the header file. */ +#define HAVE_EXT_STDIO_FILEBUF_H @HAVE_EXT_STDIO_FILEBUF_H@ + +/* Defined to 1 if ffs() is supported by the platform. */ +#define HAVE_FFS @HAVE_FFS@ + +/* Define to 1 if you have the header file. */ +#define HAVE_GETOPT_H @HAVE_GETOPT_H@ + +/* Define to 1 if you have the header file. */ +#define HAVE_INTTYPES_H @HAVE_INTTYPES_H@ + +/* Define to 1 if you have the `gmp' library (-lgmp). */ +#define HAVE_LIBGMP @HAVE_LIBGMP@ + +///* Define to 1 if you have the `profiler' library (-lprofiler). */ +//#cmakedefine HAVE_LIBPROFILER + +/* Define to 1 to use libreadline */ +#define HAVE_LIBREADLINE @HAVE_LIBREADLINE@ + +///* Define to 1 if you have the `tcmalloc' library (-ltcmalloc). */ +//#cmakedefine HAVE_LIBTCMALLOC + +/* Define to 1 if you have the header file. */ +#define HAVE_MEMORY_H @HAVE_MEMORY_H@ + +/* Defined to 1 if sigaltstack() is supported by the platform. */ +#define HAVE_SIGALTSTACK @HAVE_SIGALTSTACK@ + +/* Define to 1 if you have the header file. */ +#define HAVE_STDINT_H @HAVE_STDINT_H@ + +/* Define to 1 if you have the header file. */ +#define HAVE_STDLIB_H @HAVE_STDLIB_H@ + +/* Define to 1 if you have the `strerror_r' function. */ +#define HAVE_STRERROR_R @HAVE_STRERROR_R@ + +/* Define to 1 if you have the header file. */ +#define HAVE_STRINGS_H @HAVE_STRINGS_H@ + +/* Define to 1 if you have the header file. */ +#define HAVE_STRING_H @HAVE_STRING_H@ + +/* Defined to 1 if strtok_r() is supported by the platform. */ +#define HAVE_STRTOK_R @HAVE_STRTOK_R@ + +/* Define to 1 if you have the header file. */ +#define HAVE_SYS_STAT_H @HAVE_STRTOK_R@ + +/* Define to 1 if you have the header file. */ +#define HAVE_SYS_TYPES_H @HAVE_SYS_TYPES_H@ + +/* Define to 1 if you have the header file. */ +#define HAVE_UNISTD_H @HAVE_UNISTD_H@ + +///* Define to the sub-directory where libtool stores uninstalled libraries. */ +//#cmakedefine LT_OBJDIR "@LT_OBJDIR@" + +/* Define to 1 if rl_completion_entry_function is declared to return pointer + to char */ +#define READLINE_COMPENTRY_FUNC_RETURNS_CHARP @READLINE_COMPENTRY_FUNC_RETURNS_CHARP@ + +///* Define to 1 if you have the ANSI C header files. */ +//#cmakedefine STDC_HEADERS + +/* Define to 1 if strerror_r returns char *. */ +#define STRERROR_R_CHAR_P @STRERROR_R_CHAR_P@ + +#endif /* __CVC4__CVC4AUTOCONFIG_H */ diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index 24022dd40..0cbdb5d77 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -75,3 +75,4 @@ list(APPEND util_src_files add_library(util SHARED ${util_src_files}) set_target_properties(util PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB) +add_dependencies(util options)