Fix rocksdb not installed problem (#7200)

This commit is contained in:
XuanYang-cn 2021-08-20 17:46:48 +08:00 committed by GitHub
parent d432bbba1c
commit 9e71daa759
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -45,6 +45,7 @@ macro( build_rocksdb )
URL ${ROCKSDB_SOURCE_URL}
URL_MD5 "67f9e04fda62af551dd039c37b1808ac"
CMAKE_ARGS ${ROCKSDB_CMAKE_ARGS}
INSTALL_COMMAND make install
)
ExternalProject_Get_Property( rocksdb-ep INSTALL_DIR )