support 'unsupported' in eigen

google · Sep 13, 2024 · d727203 · d727203
1 parent f676293
commit d727203
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/WORKSPACE b/WORKSPACE
@@ -163,7 +163,7 @@ cc_library(
     name = 'eigen3',
     srcs = [],
     includes = ['.'],
-    hdrs = glob(['Eigen/**']),
+    hdrs = glob(['Eigen/**', 'unsupported/**']),
     defines = ["EIGEN_MPL2_ONLY",],
     visibility = ['//visibility:public'],
 )