Do not install gmock (#1047)
Fixes the issue described in https://github.com/googlecartographer/cartographer/pull/1041. The docker file is not to be merged, it is only here to help reproducing the issue and fix.master
parent
7286415e27
commit
e2966ca156
|
@ -54,7 +54,8 @@ if(NOT GMock_FOUND)
|
||||||
if(GMOCK_SRC_DIR)
|
if(GMOCK_SRC_DIR)
|
||||||
# If src version found, build it.
|
# If src version found, build it.
|
||||||
if(NOT TARGET gmock)
|
if(NOT TARGET gmock)
|
||||||
add_subdirectory(${GMOCK_SRC_DIR} "${CMAKE_CURRENT_BINARY_DIR}/gmock")
|
add_subdirectory(${GMOCK_SRC_DIR} "${CMAKE_CURRENT_BINARY_DIR}/gmock"
|
||||||
|
EXCLUDE_FROM_ALL)
|
||||||
endif()
|
endif()
|
||||||
# The next line is needed for Ubuntu Trusty.
|
# The next line is needed for Ubuntu Trusty.
|
||||||
set(GMOCK_INCLUDE_DIRS "${GMOCK_SRC_DIR}/gtest/include")
|
set(GMOCK_INCLUDE_DIRS "${GMOCK_SRC_DIR}/gtest/include")
|
||||||
|
|
Loading…
Reference in New Issue