diff options
| author |  Jason Zaman <jasonzaman@gmail.com> | 2018-06-29 05:09:02 +0800 |
|---|---|---|
| committer |  Gunhan Gulsoy <gunan@google.com> | 2018-06-28 14:09:02 -0700 |
| commit | f9b93bf58085b1bd06fa9c3741bc4b7f29ec74cc (patch) | |
| tree | 242b0a05eccc93b24f62fcfd11c4802a490d04f3 /third_party/eigen.BUILD | |
| parent | 45b09176cc62fba5c08218558ba52265793d9bcd (diff) | |
eigen: Add install_eigen_headers target for installing to system (#20281)
Eigen provides files that are both GPL and MPL. Tensorflow uses only the
MPL headers. This target collects all the headers into genfiles so they
can be easily installed to /usr/include/ later.
Thanks to dennisjenkins@google.com for all the help testing and figuring
out what was missing. And to pcloudy@google.com for pointers to the solution.
Signed-off-by: Jason Zaman <jason@perfinion.com>
Diffstat (limited to 'third_party/eigen.BUILD')
| -rw-r--r-- | third_party/eigen.BUILD | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/third_party/eigen.BUILD b/third_party/eigen.BUILD index e54c1a4501..759f8a9be9 100644 --- a/third_party/eigen.BUILD +++ b/third_party/eigen.BUILD @@ -69,3 +69,9 @@ cc_library( includes = ["."], visibility = ["//visibility:public"], ) + +filegroup( + name = "eigen_header_files", + srcs = EIGEN_MPL2_HEADER_FILES, + visibility = ["//visibility:public"], +) |