From 013a0fb7fe918d707604690a96ef6c0559af7440 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Mon, 13 Aug 2018 14:03:54 -0700
Subject: cmake: Add module finder for CLN.

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

(limited to 'src')

diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
index 0cbdb5d77..54c921371 100644
--- a/src/util/CMakeLists.txt
+++ b/src/util/CMakeLists.txt
@@ -60,18 +60,13 @@ set(util_src_files
   utility.h
 )
 
-#TODO: if CVC4_CLN_IMP
-#list(APPEND util_src_files
-#  rational_cln_imp.cpp
-#  integer_cln_imp.cpp
-#)
+if(CVC4_USE_CLN_IMP)
+  list(APPEND util_src_files rational_cln_imp.cpp integer_cln_imp.cpp)
+endif()
 
-
-#TODO: if CVC4_GMP_IMP
-list(APPEND util_src_files
-  rational_gmp_imp.cpp
-  integer_gmp_imp.cpp
-)
+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)
-- 
cgit v1.2.3