Add gstreamer to workspace
Change-Id: Ic27df5823aeadc6c9b690e8a1af4d3a9f00d7b93
diff --git a/third_party/BUILD b/third_party/BUILD
index 13f015e..5b2ca31 100644
--- a/third_party/BUILD
+++ b/third_party/BUILD
@@ -44,6 +44,20 @@
)
cc_library(
+ name = "gstreamer",
+ restricted_to = [
+ "//tools:k8",
+ "//tools:armhf-debian",
+ ],
+ visibility = ["//visibility:public"],
+ deps = select({
+ "//tools:cpu_k8": ["@gstreamer_k8//:gstreamer"],
+ "//tools:cpu_armhf": ["@gstreamer_armhf//:gstreamer"],
+ "//conditions:default": [],
+ }),
+)
+
+cc_library(
name = "halide",
restricted_to = [
"//tools:k8",