cleanup of CMake file

speckdavid · May 2, 2024 · 4ad0ef2 · 4ad0ef2
1 parent 75ab3a5
commit 4ad0ef2
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/src/search/CMakeLists.txt b/src/search/CMakeLists.txt
@@ -106,12 +106,9 @@ else()
 endif()
 include(ExternalProject)
 
-### Boost (clang only works with c++14)
-#string(REPLACE "-std=c++17" "-std=c++14" CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS}")
+### Boost
 message(STATUS "Building MiniBoost.")
 include_directories(SYSTEM ext/boost_dependencies)
-#add_subdirectory(ext/boost_dependencies/libs)
-#string(REPLACE "-std=c++14" "-std=c++17" CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS}")
 
 ### Cudd
 include_directories(SYSTEM ${CMAKE_CURRENT_SOURCE_DIR}/ext/cudd-3.0.0/cudd)