From 945d41dab6e1b3933a49e664296cea0832ffb572 Mon Sep 17 00:00:00 2001 From: Arijit Shaw Date: Fri, 15 Nov 2024 18:59:48 -0500 Subject: [PATCH] fix missing change in cmsgen --- CMakeLists.txt | 2 +- include/stp/Sat/CMSGen.h | 1 + tools/stp/CMakeLists.txt | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 0d02ff06..704e6f99 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -40,7 +40,7 @@ if(POLICY CMP0077) cmake_policy(SET CMP0077 NEW) endif() -project(STP) +project(CSB) set(CMAKE_C_STANDARD 99) set(CMAKE_CXX_STANDARD 14) diff --git a/include/stp/Sat/CMSGen.h b/include/stp/Sat/CMSGen.h index 526384d3..3aa1a79d 100644 --- a/include/stp/Sat/CMSGen.h +++ b/include/stp/Sat/CMSGen.h @@ -50,6 +50,7 @@ namespace stp { CMSGen::SATSolver* s; + std::vector sampling_vars_orig; public: CMSGenC(uint32_t *seed); diff --git a/tools/stp/CMakeLists.txt b/tools/stp/CMakeLists.txt index cb576fb5..68bcfde3 100644 --- a/tools/stp/CMakeLists.txt +++ b/tools/stp/CMakeLists.txt @@ -28,7 +28,7 @@ if(BUILD_EXECUTABLES AND NOT ONLY_SIMPLE) ) set_target_properties(stp-bin PROPERTIES - OUTPUT_NAME stp + OUTPUT_NAME csb RUNTIME_OUTPUT_DIRECTORY ${PROJECT_BINARY_DIR} INSTALL_RPATH_USE_LINK_PATH TRUE )