aboutsummaryrefslogtreecommitdiff
path: root/WORKSPACE
diff options
context:
space:
mode:
Diffstat (limited to 'WORKSPACE')
-rw-r--r--WORKSPACE6
1 files changed, 6 insertions, 0 deletions
diff --git a/WORKSPACE b/WORKSPACE
index b239745..59c1c4f 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -82,6 +82,12 @@ filegroup(
)""",
)
+new_local_repository(
+ name = "divsufsort",
+ build_file = "//research:BUILD.libdivsufsort",
+ path = "research/libdivsufsort",
+)
+
load("@io_bazel_rules_closure//closure:defs.bzl", "closure_repositories")
closure_repositories()