[cmake] C++ version should not be mandated by the toolchain setting, as it conflicts with Windows (CI) builds using vcpkg

2023-10-03 13:03:40 +00:00 · 2020-08-28 12:47:20 +02:00
parent abaa2e722f
commit c3eff6ed50
4 changed files with 6 additions and 9 deletions
@@ -487,7 +487,7 @@ jobs:
    <<: *build_ubuntu2004
    environment:
      CMAKE_BUILD_TYPE: Debug
-      CMAKE_OPTIONS: -DCMAKE_TOOLCHAIN_FILE=cmake/toolchains/cxx20.cmake -DUSE_CVC4=OFF
+      CMAKE_OPTIONS: -DCMAKE_CXX_STANDARD=20 -DUSE_CVC4=OFF
      MAKEFLAGS: -j 10
    steps:
      - checkout