diff options
author | TensorFlower Gardener <gardener@tensorflow.org> | 2018-08-03 14:48:19 -0700 |
---|---|---|
committer | TensorFlower Gardener <gardener@tensorflow.org> | 2018-08-03 14:48:19 -0700 |
commit | 761d7a44fb7cad83b3f983f2934c1d5ebc839aa5 (patch) | |
tree | ea5c56655ed5dbbca4952023431e408ee7504357 /tensorflow/contrib/cmake | |
parent | 1665eadb04da2446e5a14d4e5f8947f0eeab8215 (diff) | |
parent | a34ada4965a1aac3b192e5544fff40380828f9c5 (diff) |
Merge pull request #21119 from bstriner:patch_eigen
PiperOrigin-RevId: 207325529
Diffstat (limited to 'tensorflow/contrib/cmake')
-rw-r--r-- | tensorflow/contrib/cmake/external/eigen.cmake | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tensorflow/contrib/cmake/external/eigen.cmake b/tensorflow/contrib/cmake/external/eigen.cmake index 45a0096085..33bb31148d 100644 --- a/tensorflow/contrib/cmake/external/eigen.cmake +++ b/tensorflow/contrib/cmake/external/eigen.cmake @@ -19,6 +19,12 @@ # build_file = "eigen.BUILD", #) +option(eigen_PATCH_FILE "Patch file to apply to eigen" OFF) +set(eigen_PATCH_COMMAND "") +if(eigen_PATCH_FILE) + set(eigen_PATCH_COMMAND PATCH_COMMAND patch -p0 -i "${eigen_PATCH_FILE}") +endif(eigen_PATCH_FILE) + include (ExternalProject) # We parse the current Eigen version and archive hash from the bazel configuration @@ -45,6 +51,7 @@ ExternalProject_Add(eigen URL ${eigen_URL} DOWNLOAD_DIR "${DOWNLOAD_LOCATION}" INSTALL_DIR "${eigen_INSTALL}" + ${eigen_PATCH_COMMAND} CMAKE_CACHE_ARGS -DCMAKE_BUILD_TYPE:STRING=Release -DCMAKE_VERBOSE_MAKEFILE:BOOL=OFF |