From 46987294fb05033c899429bb5c1e98e54ce66a03 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Mon, 13 Aug 2018 10:52:00 -0700 Subject: [PATCH] cmake: Generate cvc4autoconfig.h (options currently statically set). --- CMakeLists.txt | 110 ++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 109 insertions(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 2cb86b259..02cf58ed1 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -2,7 +2,39 @@ cmake_minimum_required (VERSION 3.0.1) #-----------------------------------------------------------------------------# -project (cvc4) +project(cvc4) + +# Major component of the version of CVC4. +set(CVC4_MAJOR 1) +# Minor component of the version of CVC4. +set(CVC4_MINOR 6) +# Release component of the version of CVC4. +set(CVC4_RELEASE 0) +# Extraversion component of the version of CVC4. +set(CVC4_EXTRAVERSION "-prerelease") + +# Full release string for CVC4. +if(CVC4_RELEASE) + set(CVC4_RELEASE_STRING "${CVC4_MAJOR}.${CVC4_MINOR}.${CVC4_RELEASE}${CVC4_EXTRAVERSION}") +else() + set(CVC4_RELEASE_STRING "${CVC4_MAJOR}.${CVC4_MINOR}${CVC4_EXTRAVERSION}") +endif() + +# Define to the full name of this package. +set(PACKAGE_NAME "${PROJECT_NAME}") + +#### These defines are only use in autotools make files, will likely be +#### replaced with corresponding CPack stuff +## Define to the full name and version of this package. +#set(PACKAGE_STRING "${PROJECT_NAME} ${CVC4_RELEASE_STRING}") +## Define to the one symbol short name of this package. +#set(PACKAGE_TARNAME "${PROJECT_NAME}") +## Define to the home page for this package. +#set(PACKAGE_URL "") +## Define to the version of this package. +#set(PACKAGE_VERSION "${CVC4_RELEASE_STRING}") +## Define to the address where bug reports for this package should be sent. +#set(PACKAGE_BUGREPORT "cvc4-bugs@cs.stanford.edu") #-----------------------------------------------------------------------------# @@ -113,6 +145,82 @@ execute_process( # CONFIGURATION (for now manual) +# Define to 1 if Boost threading library has support for thread attributes +set(BOOST_HAS_THREAD_ATTR 0) +# Defined if using the CLN multi-precision arithmetic library. +set(CVC4_CLN_IMP 0) +# Defined if using the GMP multi-precision arithmetic library. +set(CVC4_GMP_IMP 1) +# Whether CVC4 is built with the (optional) GPLed library dependences. +set(CVC4_GPL_DEPS 0) +# Defined if the requested minimum BOOST version is satisfied +set(HAVE_BOOST 1) +# Define to 1 if you have +set(HAVE_BOOST_SYSTEM_ERROR_CODE_HPP 1) +# Define to 1 if you have +set(HAVE_BOOST_THREAD_HPP 1) +# Defined to 1 if clock_gettime() is supported by the platform. +set(HAVE_CLOCK_GETTIME 1) +# define if the compiler supports basic C++11 syntax +set(HAVE_CXX11 1) +# Define to 1 if you have the declaration of `optreset', and to 0 if you don't. +set(HAVE_DECL_OPTRESET 0) +# Define to 1 if you have the declaration of `strerror_r', and to 0 if you +# don't. +set(HAVE_DECL_STRERROR_R 1) +# Define to 1 if you have the header file. +set(HAVE_DLFCN_H 1) +# Define to 1 if you have the header file. +set(HAVE_EXT_STDIO_FILEBUF_H 1) +# Defined to 1 if ffs() is supported by the platform. +set(HAVE_FFS 1) +# Define to 1 if you have the header file. +set(HAVE_GETOPT_H 1) +# Define to 1 if you have the header file. +set(HAVE_INTTYPES_H 1) +# Define to 1 if you have the `gmp' library (-lgmp). +set(HAVE_LIBGMP 1) +## Define to 1 if you have the `profiler' library (-lprofiler). +#set(HAVE_LIBPROFILER 0) +# Define to 1 to use libreadline +set(HAVE_LIBREADLINE 0) +## Define to 1 if you have the `tcmalloc' library (-ltcmalloc). +#set(HAVE_LIBTCMALLOC 0) +# Define to 1 if you have the header file. +set(HAVE_MEMORY_H 1) +# Defined to 1 if sigaltstack() is supported by the platform. +set(HAVE_SIGALTSTACK 1) +# Define to 1 if you have the header file. +set(HAVE_STDINT_H 1) +# Define to 1 if you have the header file. +set(HAVE_STDLIB_H 1) +# Define to 1 if you have the `strerror_r' function. +set(HAVE_STRERROR_R 1) +# Define to 1 if you have the header file. +set(HAVE_STRINGS_H 1) +# Define to 1 if you have the header file. +set(HAVE_STRING_H 1) +# Defined to 1 if strtok_r() is supported by the platform. +set(HAVE_STRTOK_R 1) +# Define to 1 if you have the header file. +set(HAVE_SYS_STAT_H 1) +# Define to 1 if you have the header file. +set(HAVE_SYS_TYPES_H 1) +# Define to 1 if you have the header file. +set(HAVE_UNISTD_H 1) +## Define to the sub-directory where libtool stores uninstalled libraries. +#set(LT_OBJDIR ".libs/") +# Define to 1 if rl_completion_entry_function is declared to return pointer +# to char +set(READLINE_COMPENTRY_FUNC_RETURNS_CHARP 0) +## Define to 1 if you have the ANSI C header files. +#set(STDC_HEADERS 1) +# Define to 1 if strerror_r returns char *. +set(STRERROR_R_CHAR_P 1) + +configure_file(cvc4autoconfig.new.h.in cvc4autoconfig.h) +include_directories(${CMAKE_CURRENT_BINARY_DIR}) + # src/util/rational.h.in # src/util/integer.h.in set(CVC4_NEED_INT64_T_OVERLOADS 0) -- 2.30.2