2018-11-20 00:48:22 +00:00
|
|
|
include (ExternalProject)
|
|
|
|
|
|
|
|
|
|
if (onnxruntime_USE_PREINSTALLED_EIGEN)
|
2019-01-07 21:15:24 +00:00
|
|
|
add_library(eigen INTERFACE)
|
2019-01-02 22:00:21 +00:00
|
|
|
file(TO_CMAKE_PATH ${eigen_SOURCE_PATH} eigen_INCLUDE_DIRS)
|
2019-01-07 21:15:24 +00:00
|
|
|
target_include_directories(eigen INTERFACE ${eigen_INCLUDE_DIRS})
|
2018-11-20 00:48:22 +00:00
|
|
|
else ()
|
|
|
|
|
set(eigen_URL "https://github.com/eigenteam/eigen-git-mirror.git")
|
2018-12-16 08:26:08 +00:00
|
|
|
set(eigen_TAG "3.3.7")
|
2018-11-20 00:48:22 +00:00
|
|
|
set(eigen_ROOT_DIR ${CMAKE_CURRENT_BINARY_DIR}/external/eigen)
|
|
|
|
|
set(eigen_INCLUDE_DIRS ${eigen_ROOT_DIR})
|
|
|
|
|
ExternalProject_Add(eigen
|
|
|
|
|
PREFIX eigen
|
|
|
|
|
GIT_REPOSITORY ${eigen_URL}
|
|
|
|
|
GIT_TAG ${eigen_TAG}
|
|
|
|
|
SOURCE_DIR ${eigen_ROOT_DIR}
|
|
|
|
|
CONFIGURE_COMMAND ""
|
|
|
|
|
BUILD_COMMAND ""
|
|
|
|
|
INSTALL_COMMAND ""
|
|
|
|
|
)
|
|
|
|
|
endif()
|
