diff --git a/CMakeLists.txt b/CMakeLists.txt index c1f8bff..1f16199 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -5,6 +5,7 @@ find_package(storm REQUIRED) add_subdirectory(resources/pybind11) option(STORMPY_DISABLE_SIGNATURE_DOC "Disable the signature in the documentation" OFF) +set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -Wno-deprecated-declarations") configure_file(${CMAKE_CURRENT_SOURCE_DIR}/src/config.h.in ${CMAKE_CURRENT_BINARY_DIR}/src/generated/config.h)