Include more things in the sysroot

mjbots · Jun 11, 2018 · 1334de5 · 1334de5
1 parent d6e4534
commit 1334de5
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 1 deletion.
diff --git a/tools/workspace/raspberry_pi/2018-05-30-sysroot.tar.xz b/tools/workspace/raspberry_pi/2018-05-30-sysroot.tar.xz
diff --git a/tools/workspace/raspberry_pi/2018-06-10-sysroot.tar.xz b/tools/workspace/raspberry_pi/2018-06-10-sysroot.tar.xz
diff --git a/tools/workspace/raspberry_pi/make_sysroot.py b/tools/workspace/raspberry_pi/make_sysroot.py
@@ -71,13 +71,16 @@ def main():
         'librt.so*',
         'libutil-2*',
         'libutil.so*',
+        'libresolv*',
     ]]
 
     usr_lib_file_sources = ['/usr/lib/{}/{}'.format(args.target, x) for x in [
         '*.o',
         'libc.a',
         'libc_nonshared.a',
         'libc.so',
+        'libdl.a',
+        'libdl.so',
         'libm.a',
         'libm.so',
         'libpthread.a',
@@ -87,6 +90,8 @@ def main():
         'librt.a',
         'libutil.so',
         'libutil.a',
+        'libresolv.a',
+        'libresolv.so',
     ]]
 
     usr_include_file_sources = ['/usr/include/{}'.format(x) for x in [

diff --git a/tools/workspace/raspberry_pi/repository.bzl b/tools/workspace/raspberry_pi/repository.bzl
@@ -40,7 +40,7 @@ filegroup(
 _raspberry_pi_attrs = {
     "sysroot": attr.label(
         allow_files=True,
-        default="@rpi_bazel//tools/workspace/raspberry_pi:2018-05-30-sysroot.tar.xz"),
+        default="@rpi_bazel//tools/workspace/raspberry_pi:2018-06-10-sysroot.tar.xz"),
 }
 
 raspberry_pi_repository = repository_rule(