diff options
Diffstat (limited to 'third_party/eigen3/BUILD')
| -rw-r--r-- | third_party/eigen3/BUILD | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/third_party/eigen3/BUILD b/third_party/eigen3/BUILD index c2abf78e95..a921fa0228 100644 --- a/third_party/eigen3/BUILD +++ b/third_party/eigen3/BUILD @@ -21,6 +21,7 @@ cc_library( "Eigen/QR", "Eigen/SVD", "unsupported/Eigen/SpecialFunctions", + "unsupported/Eigen/CXX11/ThreadPool", "unsupported/Eigen/CXX11/Tensor", "unsupported/Eigen/CXX11/FixedPoint", ], |