Restrict which parts of the rpi firmware pi3hat_tool uses

mjbots · Jun 20, 2020 · 49cde34 · 49cde34
1 parent a8da181
commit 49cde34
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 1 deletion.
diff --git a/mjbots/pi3hat/BUILD b/mjbots/pi3hat/BUILD
@@ -20,7 +20,7 @@ cc_library(
     name = "libpi3hat",
     hdrs = ["pi3hat.h"],
     srcs = ["pi3hat.cc"],
-    deps = ["@raspberrypi-firmware"],
+    deps = ["@raspberrypi-firmware//:bcm_host"],
     features = ["dbg"],
 )
 

diff --git a/tools/workspace/raspberrypi-firmware/package.BUILD b/tools/workspace/raspberrypi-firmware/package.BUILD
@@ -16,6 +16,20 @@
 
 package(default_visibility = ["//visibility:public"])
 
+cc_library(
+    name = "bcm_host",
+    hdrs = [
+        "hardfp/opt/vc/include/bcm_host.h",
+    ] + glob([
+        "hardfp/opt/vc/include/interface/**/*.h",
+        "hardfp/opt/vc/include/vcinclude/**/*.h",
+    ]),
+    srcs = ["hardfp/opt/vc/lib/libbcm_host.so"],
+    includes = [
+        "hardfp/opt/vc/include",
+    ],
+)
+
 cc_library(
     name = "raspberrypi-firmware",
     hdrs = glob(["hardfp/opt/vc/include/**/*.h"]),