From a42b56e46f579b57eb0a3f49d1195881670375e7 Mon Sep 17 00:00:00 2001
From: Gereon Kremer <nafur42@gmail.com>
Date: Tue, 28 Sep 2021 20:10:45 -0700
Subject: remove stuff (#7258)

This PR removes the BUILD_LIB_ONLY cmake option, and the associated --lib-only configure script option.
If you only want the library, just run make cvc5 instead of make.
---
 test/CMakeLists.txt | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'test')

diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index ac1848994..d3ff709ca 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -35,9 +35,7 @@ add_custom_target(check
 #-----------------------------------------------------------------------------#
 # Add subdirectories
 
-if (NOT BUILD_LIB_ONLY)
-  add_subdirectory(regress)
-endif()
+add_subdirectory(regress)
 add_subdirectory(api EXCLUDE_FROM_ALL)
 
 if(ENABLE_UNIT_TESTING)
-- 
cgit v1.2.3