leveldb-1.23

2022-06-27 11:57:50 +03:00
parent 8b77d27ee5
commit b92ddd9c0e
3 changed files with 28 additions and 1 deletions
@@ -14,6 +14,8 @@ def setup():
    shelltools.makedirs("build")
    shelltools.cd("build") 
    cmaketools.configure("-DCMAKE_BUILD_TYPE=Release \
+                          -DLEVELDB_BUILD_TESTS:BOOL=OFF \
+                          -DLEVELDB_BUILD_BENCHMARKS:BOOL=OFF \
                          -DBUILD_SHARED_LIBS=1", sourceDir="..")

 def build():