USE_RTTI=On

2026-08-09 09:21:46 +00:00 · 2025-08-28 15:28:28 +02:00
parent ef10c23842
commit 1a1583405c
1 changed files with 1 additions and 0 deletions
@@ -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",