diff options
Diffstat (limited to 'third_party/eigen3/BUILD')
| -rw-r--r-- | third_party/eigen3/BUILD | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/third_party/eigen3/BUILD b/third_party/eigen3/BUILD index ac7eede6d9..04841fac71 100644 --- a/third_party/eigen3/BUILD +++ b/third_party/eigen3/BUILD @@ -4,6 +4,8 @@ cc_library( name = "eigen3", hdrs = glob([ "**/*.h", + "unsupported/Eigen/CXX11/*", + "Eigen/*", ]), includes = [ "." ], visibility = ["//visibility:public"], |