From 1a1583405cd925dd97b78b4e95121f422c736e4b Mon Sep 17 00:00:00 2001 From: Thomas Krijnen Date: Thu, 28 Aug 2025 15:28:28 +0200 Subject: [PATCH] USE_RTTI=On --- nix/build-all.py | 1 + 1 file changed, 1 insertion(+) diff --git a/nix/build-all.py b/nix/build-all.py index d73373280b..f6fd585192 100644 --- a/nix/build-all.py +++ b/nix/build-all.py @@ -995,6 +995,7 @@ if "rocksdb" in targets: f"-DWITH_CORE_TOOLS=OFF", f"-DROCKSDB_BUILD_SHARED=Off", f"-DCMAKE_POSITION_INDEPENDENT_CODE=On", + f"-DUSE_RTTI=On", ], download_url="https://github.com/facebook/rocksdb", download_name="rocksdb",