From 83cd63d83ea71cb8a04ffc5dd1f9c409b7451df6 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 14 Aug 2018 17:32:26 -0700
Subject: cmake: Cleanup CMakeLists.txt files, remove SHARED.

---
 src/util/CMakeLists.txt | 20 ++++++--------------
 1 file changed, 6 insertions(+), 14 deletions(-)

(limited to 'src/util/CMakeLists.txt')

diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index 54c921371..724a1ae5a 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -1,14 +1,6 @@
-configure_file(
-  ${CMAKE_CURRENT_SOURCE_DIR}/floatingpoint.h.in
-  ${CMAKE_CURRENT_BINARY_DIR}/floatingpoint.h)
-
-configure_file(
-  ${CMAKE_CURRENT_SOURCE_DIR}/rational.h.in
-  ${CMAKE_CURRENT_BINARY_DIR}/rational.h)
-
-configure_file(
-  ${CMAKE_CURRENT_SOURCE_DIR}/integer.h.in
-  ${CMAKE_CURRENT_BINARY_DIR}/integer.h)
+configure_file(floatingpoint.h.in floatingpoint.h)
+configure_file(rational.h.in rational.h)
+configure_file(integer.h.in integer.h)
 
 set(util_src_files
   abstract_value.cpp
@@ -68,6 +60,6 @@ if(CVC4_USE_GMP_IMP)
   list(APPEND util_src_files rational_gmp_imp.cpp integer_gmp_imp.cpp)
 endif()
 
-add_library(util SHARED ${util_src_files})
-set_target_properties(util PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB)
-add_dependencies(util options)
+add_library(util ${util_src_files})
+target_compile_definitions(util PRIVATE -D__BUILDING_CVC4LIB)
+target_link_libraries(util options)
-- 
cgit v1.2.3