From 3bf103491fb402ad158625f9ffdf4524f3457351 Mon Sep 17 00:00:00 2001 From: "William D. Jones" Date: Fri, 19 Jan 2024 22:14:26 -0500 Subject: [PATCH] Add BUILD_TOOLS option for building only libraries required by boolector. Signed-off-by: William D. Jones --- CMakeLists.txt | 1 + src/CMakeLists.txt | 40 +++++++++++++++++++++------------------- 2 files changed, 22 insertions(+), 19 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 3046fb2..2f6c9ab 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -14,6 +14,7 @@ include(GNUInstallDirs) option(ASAN "Compile with ASAN support" OFF) option(BUILD_BTOR2AIGER "Build btor2aiger binary" OFF) +option(BUILD_TOOLS "Build btorsim, catbtor, btorsplit binaries" OFF) option(CHECK "Enable assertions for optimized builds" OFF) option(BUILD_SHARED_LIBS "Build as shared library" ON) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 213d897..325e534 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -10,23 +10,28 @@ install( PUBLIC_HEADER DESTINATION ${CMAKE_INSTALL_INCLUDEDIR} ) -add_executable(btorsim - btorsim/btorsimam.cpp - btorsim/btorsimstate.cpp - btorsim/btorsimvcd.cpp - btorsim/btorsimhelpers.cpp - btorsim/btorsim.cpp - btorsim/btorsimbv.c - btorsim/btorsimrng.c -) -target_include_directories(btorsim PRIVATE .) -target_link_libraries(btorsim btor2parser) -target_compile_options(btorsim PRIVATE -Wall -Wfatal-errors) -install(TARGETS btorsim DESTINATION ${CMAKE_INSTALL_BINDIR}) +if (BUILD_TOOLS) + add_executable(btorsim + btorsim/btorsimam.cpp + btorsim/btorsimstate.cpp + btorsim/btorsimvcd.cpp + btorsim/btorsimhelpers.cpp + btorsim/btorsim.cpp + btorsim/btorsimbv.c + btorsim/btorsimrng.c + ) + target_include_directories(btorsim PRIVATE .) + target_link_libraries(btorsim btor2parser) + target_compile_options(btorsim PRIVATE -Wall -Wfatal-errors) + install(TARGETS btorsim DESTINATION ${CMAKE_INSTALL_BINDIR}) -add_executable(catbtor catbtor.c) -target_link_libraries(catbtor btor2parser) -install(TARGETS catbtor DESTINATION ${CMAKE_INSTALL_BINDIR}) + add_executable(catbtor catbtor.c) + target_link_libraries(catbtor btor2parser) + install(TARGETS catbtor DESTINATION ${CMAKE_INSTALL_BINDIR}) + + add_executable(btorsplit btorsplit.cpp) + install(TARGETS btorsplit DESTINATION ${CMAKE_INSTALL_BINDIR}) +endif() if(BUILD_BTOR2AIGER) add_executable(btor2aiger @@ -38,6 +43,3 @@ if(BUILD_BTOR2AIGER) target_link_libraries(btor2aiger btor2parser Boolector::boolector) install(TARGETS btor2aiger DESTINATION ${CMAKE_INSTALL_BINDIR}) endif() - -add_executable(btorsplit btorsplit.cpp) -install(TARGETS btorsplit DESTINATION ${CMAKE_INSTALL_BINDIR})