From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Mon, 13 Aug 2018 17:52:00 +0000 (-0700)
Subject: cmake: Generate cvc4autoconfig.h (options currently statically set).
X-Git-Tag: cvc5-1.0.0~4617
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=46987294fb05033c899429bb5c1e98e54ce66a03;p=cvc5.git

cmake: Generate cvc4autoconfig.h (options currently statically set).
---

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 <boost/system/error_code.hpp>
+set(HAVE_BOOST_SYSTEM_ERROR_CODE_HPP 1)
+# Define to 1 if you have <boost/thread.hpp>
+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 <dlfcn.h> header file.
+set(HAVE_DLFCN_H 1)
+# Define to 1 if you have the <ext/stdio_filebuf.h> 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 <getopt.h> header file.
+set(HAVE_GETOPT_H 1)
+# Define to 1 if you have the <inttypes.h> 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 <memory.h> 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 <stdint.h> header file.
+set(HAVE_STDINT_H 1)
+# Define to 1 if you have the <stdlib.h> 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 <strings.h> header file.
+set(HAVE_STRINGS_H 1)
+# Define to 1 if you have the <string.h> 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 <sys/stat.h> header file.
+set(HAVE_SYS_STAT_H 1)
+# Define to 1 if you have the <sys/types.h> header file.
+set(HAVE_SYS_TYPES_H 1)
+# Define to 1 if you have the <unistd.h> 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)