olive-editor: fix building with newer robin-map

Signed-off-by: Marcin Serwin <marcin@serwin.dev>
2025-07-24 17:22:40 +02:00
parent 2e1263f05a
commit 41221c2fe9
1 changed files with 3 additions and 0 deletions
@@ -30,6 +30,9 @@ let
        hash = "sha256-I2/JPmUBDb0bw7qbSZcAkYHB2q2Uo7En7ZurMwWhg/M=";
      }
    );
+
+    # robin-map headers require c++17
+    cmakeFlags = (old.cmakeFlags or [ ]) ++ [ (lib.cmakeFeature "CMAKE_CXX_STANDARD" "17") ];
  });
 in