commit 6271cf7df990fe36e817767b6d49231a28d0f7d2
author James Kuszmaul <jabukuszmaul@gmail.com> Wed Sep 18 20:10:08 2019 -0700
committer James Kuszmaul <jabukuszmaul+collab@gmail.com> Wed Jan 01 16:22:47 2020 -0800
tree 7a0166817c73499cfa2e1c9abfa9acdd7a1c369c
parent 1676fec444a6e0fa2c88ec14cd2aac8f5f1e344f

Add basic plotter for WebGL

There're still a bunch of TODOs. Will address those when we actually
have a need for this.

Change-Id: I137390d384967ffb618e0ecda37503e1e0df8301

third_party/eigen/BUILD

diff --git a/third_party/eigen/BUILD b/third_party/eigen/BUILD
index 54c5cd1..f3036f2 100644
--- a/third_party/eigen/BUILD
+++ b/third_party/eigen/BUILD
@@ -20,7 +20,7 @@
     ) + ["unsupported/Eigen/MatrixFunctions"] + glob([
         "unsupported/Eigen/src/MatrixFunctions/*.h",
     ]),
-    compatible_with = mcu_cpus,
+    compatible_with = mcu_cpus + ["@//tools:web"],
     includes = ["."],
     visibility = ["//visibility:public"],
 )