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/options/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/options')

diff --git a/src/options/CMakeLists.txt b/src/options/CMakeLists.txt
index 5fcc22bd9..10511867f 100644
--- a/src/options/CMakeLists.txt
+++ b/src/options/CMakeLists.txt
@@ -101,5 +101,5 @@ set(options_src_files
   ufss_mode.h
 )
 
-add_library(options SHARED options.cpp ${options_gen_cpp_files} ${options_src_files})
-set_target_properties(options PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB)
+add_library(options options.cpp ${options_gen_cpp_files} ${options_src_files})
+target_compile_definitions(options PRIVATE -D__BUILDING_CVC4LIB)
-- 
cgit v1.2.3