[hiphop-php.git] / third-party / watchman / src / build / fbcode_builder / patches / rocksdb_skip_thirdparty_windows.patch
| blob | 767d892f9490422e6985a3b83d597c564c27892a |
1 --- CMakeLists.txt
2 +++ CMakeLists.txt
3 @@ -100,7 +100,11 @@
4 if(MSVC)
5 option(WITH_GFLAGS "build with GFlags" OFF)
6 option(WITH_XPRESS "build with windows built in compression" OFF)
7 - include(${CMAKE_CURRENT_SOURCE_DIR}/thirdparty.inc)
8 + option(ROCKSDB_SKIP_THIRDPARTY "skip thirdparty.inc" OFF)
9 +
10 + if(NOT ROCKSDB_SKIP_THIRDPARTY)
11 + include(${CMAKE_CURRENT_SOURCE_DIR}/thirdparty.inc)
12 + endif()
13 else()
14 if(CMAKE_SYSTEM_NAME MATCHES "FreeBSD" AND NOT CMAKE_SYSTEM_NAME MATCHES "kFreeBSD")
15 # FreeBSD has jemalloc as default malloc