rm unused boost libs

speckdavid · May 3, 2024 · 2dcf5de · 2dcf5de
1 parent f9c232b
commit 2dcf5de
Show file tree

Hide file tree

Showing 13 changed files with 1 addition and 2,877 deletions.
diff --git a/src/search/CMakeLists.txt b/src/search/CMakeLists.txt
@@ -109,7 +109,7 @@ include(ExternalProject)
 ### Boost
 message(STATUS "Building MiniBoost.")
 include_directories(SYSTEM ext/boost_dependencies)
-add_subdirectory(ext/boost_dependencies/libs)
+#add_subdirectory(ext/boost_dependencies/libs)
 
 ### Cudd
 include_directories(SYSTEM ${CMAKE_CURRENT_SOURCE_DIR}/ext/cudd-3.0.0/cudd)

diff --git a/src/search/ext/boost_dependencies/libs/CMakeLists.txt b/src/search/ext/boost_dependencies/libs/CMakeLists.txt