diff options
Diffstat (limited to 'third_party/eigen3/BUILD')
-rw-r--r-- | third_party/eigen3/BUILD | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/third_party/eigen3/BUILD b/third_party/eigen3/BUILD new file mode 100644 index 0000000000..ac7eede6d9 --- /dev/null +++ b/third_party/eigen3/BUILD @@ -0,0 +1,10 @@ +licenses(["restricted"]) # MPL2, portions GPL v3, LGPL v3, BSD-like + +cc_library( + name = "eigen3", + hdrs = glob([ + "**/*.h", + ]), + includes = [ "." ], + visibility = ["//visibility:public"], +) |