commit bf4c1316b579a94245923af9d6b9cdaea2e99ded
author Brian Silverman <bsilver16384@gmail.com> Sun Jan 12 11:35:45 2020 -0800
committer Brian Silverman <bsilver16384@gmail.com> Tue Jan 14 21:36:24 2020 -0800
tree 795226861554cd8d8c7ea0d545f60ea6a5a049c8
parent f98b0ff25bdf0745de775d4b02d15e732813e7a3

Use a Raspbian sysroot for armhf-debian builds

This has a newer libc than the linaro toolchain we were using, which is
necessary for using some prebuilt shared objects.

Change-Id: Id4bcf3b1a18300aa40c77cda60050e3987e81dd1

compilers/armhf_debian_rootfs.BUILD

diff --git a/compilers/armhf_debian_rootfs.BUILD b/compilers/armhf_debian_rootfs.BUILD
new file mode 100644
index 0000000..004b82a
--- /dev/null
+++ b/compilers/armhf_debian_rootfs.BUILD
@@ -0,0 +1,15 @@
+filegroup(
+    name = "sysroot_files",
+    srcs = glob(
+        include = [
+            "include/**",
+            "lib/**",
+            "usr/include/**",
+            "usr/lib/**",
+        ],
+        exclude = [
+            "usr/share/**",
+        ],
+    ),
+    visibility = ["//visibility:public"],
+)