Skip to content

Commit

Permalink
fixed clang build of miniboost
Browse files Browse the repository at this point in the history
  • Loading branch information
speckdavid committed May 2, 2024
1 parent 78018ff commit a3f5f87
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion src/search/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -106,10 +106,12 @@ else()
endif()
include(ExternalProject)

### Boost
### Boost (clang only works with c++14)
string(REPLACE "-std=c++17" "-std=c++14" CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS}")
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)
Expand Down

0 comments on commit a3f5f87

Please sign in to comment.