diff options
Diffstat (limited to 'third_party/eigen3')
| -rw-r--r-- | third_party/eigen3/BUILD | 1 | ||||
| -rw-r--r-- | third_party/eigen3/unsupported/Eigen/CXX11/ThreadPool | 1 |
2 files changed, 2 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", ], diff --git a/third_party/eigen3/unsupported/Eigen/CXX11/ThreadPool b/third_party/eigen3/unsupported/Eigen/CXX11/ThreadPool new file mode 100644 index 0000000000..d2639af4d9 --- /dev/null +++ b/third_party/eigen3/unsupported/Eigen/CXX11/ThreadPool @@ -0,0 +1 @@ +#include "unsupported/Eigen/CXX11/ThreadPool" |