diff options
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"], +) |