diff --git a/third_party/eigen/WORKSPACE b/third_party/eigen/WORKSPACE
new file mode 100644
index 0000000..6f155bf
--- /dev/null
+++ b/third_party/eigen/WORKSPACE
@@ -0,0 +1 @@
+workspace(name = "org_tuxfamily_eigen")