Use the downloaded clang when building for armhf-debian

This makes it work on a barebones Stretch installation.

Also add building for this CPU to the CI script so we know it keeps
working, which means marking everything that's supposed to work
appropriately.

Change-Id: Ic050ce20eae45c6b23e0e42dddb24db3ebc70b84
diff --git a/aos/common/BUILD b/aos/common/BUILD
index b1c5b3b..f9ef264 100644
--- a/aos/common/BUILD
+++ b/aos/common/BUILD
@@ -23,7 +23,9 @@
     hdrs = [
         "macros.h",
     ],
-    compatible_with = mcu_cpus,
+    compatible_with = mcu_cpus + [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_library(
@@ -31,6 +33,9 @@
     hdrs = [
         "type_traits.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_library(
@@ -41,6 +46,9 @@
     hdrs = [
         "time.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     deps = [
         ":macros",
         ":mutex",
@@ -53,6 +61,9 @@
     name = "gen_queue_primitives",
     outs = ["queue_primitives.h"],
     cmd = "$(location //aos/build/queues:queue_primitives) $@",
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     tools = ["//aos/build/queues:queue_primitives"],
     visibility = ["//visibility:private"],
 )
@@ -61,6 +72,9 @@
     name = "gen_print_field",
     outs = ["print_field.cc"],
     cmd = "$(location //aos/build/queues:print_field) $@",
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     tools = ["//aos/build/queues:print_field"],
     visibility = ["//visibility:private"],
 )
@@ -70,6 +84,9 @@
     hdrs = [
         ":gen_queue_primitives",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     visibility = ["//aos/common/logging:__pkg__"],
 )
 
@@ -93,6 +110,9 @@
     hdrs = [
         "unique_malloc_ptr.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_library(
@@ -105,6 +125,9 @@
     hdrs = [
         "queue_types.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     deps = [
         ":byteorder",
         ":generated_queue_headers",
@@ -142,6 +165,9 @@
     hdrs = [
         "byteorder.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_library(
@@ -152,6 +178,9 @@
     hdrs = [
         "message.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     deps = [
         ":byteorder",
         ":macros",
@@ -161,10 +190,12 @@
 
 cc_library(
     name = "queues",
-    srcs = [],
     hdrs = [
         "queue.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     deps = [
         ":messages",
         "//aos/linux_code:queue",
@@ -177,6 +208,9 @@
     hdrs = [
         "scoped_fd.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     deps = [
         "//aos/common/logging",
     ],
@@ -212,6 +246,9 @@
     hdrs = [
         "gtest_prod.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_test(
@@ -235,6 +272,9 @@
     hdrs = [
         "die.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     deps = [
         ":macros",
         "//aos/common/libc:aos_strerror",
@@ -280,6 +320,9 @@
     hdrs = [
         "condition.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     deps = [
         ":mutex",
         "//aos/common/logging",
@@ -337,6 +380,9 @@
     hdrs = [
         "mutex.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     deps = [
         ":die",
         ":type_traits",
diff --git a/aos/common/controls/BUILD b/aos/common/controls/BUILD
index 46b5f24..7ca2e60 100644
--- a/aos/common/controls/BUILD
+++ b/aos/common/controls/BUILD
@@ -78,6 +78,9 @@
     srcs = [
         "control_loops.q",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_library(
diff --git a/aos/common/libc/BUILD b/aos/common/libc/BUILD
index e2a87cb..74a4c70 100644
--- a/aos/common/libc/BUILD
+++ b/aos/common/libc/BUILD
@@ -1,68 +1,71 @@
-package(default_visibility = ['//visibility:public'])
+package(default_visibility = ["//visibility:public"])
 
 cc_library(
-  name = 'aos_strsignal',
-  srcs = [
-    'aos_strsignal.cc',
-  ],
-  hdrs = [
-    'aos_strsignal.h',
-  ],
-  deps = [
-    '//aos/common/logging',
-  ],
+    name = "aos_strsignal",
+    srcs = [
+        "aos_strsignal.cc",
+    ],
+    hdrs = [
+        "aos_strsignal.h",
+    ],
+    deps = [
+        "//aos/common/logging",
+    ],
 )
 
 cc_test(
-  name = 'aos_strsignal_test',
-  srcs = [
-    'aos_strsignal_test.cc',
-  ],
-  deps = [
-    ':aos_strsignal',
-    '//aos/testing:googletest',
-    '//aos/common/logging',
-  ],
+    name = "aos_strsignal_test",
+    srcs = [
+        "aos_strsignal_test.cc",
+    ],
+    deps = [
+        ":aos_strsignal",
+        "//aos/common/logging",
+        "//aos/testing:googletest",
+    ],
 )
 
 cc_library(
-  name = 'dirname',
-  srcs = [
-    'dirname.cc',
-  ],
-  hdrs = [
-    'dirname.h',
-  ],
+    name = "dirname",
+    srcs = [
+        "dirname.cc",
+    ],
+    hdrs = [
+        "dirname.h",
+    ],
 )
 
 cc_test(
-  name = 'dirname_test',
-  srcs = [
-    'dirname_test.cc',
-  ],
-  deps = [
-    ':dirname',
-    '//aos/testing:googletest',
-  ],
+    name = "dirname_test",
+    srcs = [
+        "dirname_test.cc",
+    ],
+    deps = [
+        ":dirname",
+        "//aos/testing:googletest",
+    ],
 )
 
 cc_library(
-  name = 'aos_strerror',
-  srcs = [
-    'aos_strerror.cc',
-  ],
-  hdrs = [
-    'aos_strerror.h',
-  ],
+    name = "aos_strerror",
+    srcs = [
+        "aos_strerror.cc",
+    ],
+    hdrs = [
+        "aos_strerror.h",
+    ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_test(
-  name = 'aos_strerror_test',
-  srcs = [
-    'aos_strerror_test.cc',
-  ],
-  deps = [
-    ':aos_strerror',
-    '//aos/testing:googletest',
-  ],
+    name = "aos_strerror_test",
+    srcs = [
+        "aos_strerror_test.cc",
+    ],
+    deps = [
+        ":aos_strerror",
+        "//aos/testing:googletest",
+    ],
 )
diff --git a/aos/common/logging/BUILD b/aos/common/logging/BUILD
index 6d0d956..09e355d 100644
--- a/aos/common/logging/BUILD
+++ b/aos/common/logging/BUILD
@@ -10,6 +10,9 @@
         "interface.h",
         "logging.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     visibility = ["//visibility:public"],
     deps = [
         ":sizes",
@@ -106,6 +109,9 @@
     hdrs = [
         "sizes.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_test(
@@ -128,6 +134,9 @@
     hdrs = [
         "queue_logging.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     visibility = ["//visibility:public"],
     deps = [
         ":logging",
@@ -161,6 +170,9 @@
     hdrs = [
         "printf_formats.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     visibility = ["//visibility:public"],
     deps = [
         "//aos/common:macros",
@@ -175,6 +187,9 @@
     hdrs = [
         "implementations.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
     linkopts = [
         "-lpthread",
     ],
diff --git a/aos/common/network/BUILD b/aos/common/network/BUILD
index c5476b2..470969f 100644
--- a/aos/common/network/BUILD
+++ b/aos/common/network/BUILD
@@ -1,49 +1,51 @@
-package(default_visibility = ['//visibility:public'])
+package(default_visibility = ["//visibility:public"])
 
 cc_library(
-  name = 'team_number',
-  srcs = [
-    'team_number.cc',
-  ],
-  hdrs = [
-    'team_number.h',
-  ],
-  deps = [
-    '//aos/linux_code:configuration',
-    '//aos:once',
-    '//aos/common/logging',
-    '//aos/common/util:string_to_num',
-  ],
+    name = "team_number",
+    srcs = [
+        "team_number.cc",
+    ],
+    hdrs = [
+        "team_number.h",
+    ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
+    deps = [
+        "//aos:once",
+        "//aos/common/logging",
+        "//aos/common/util:string_to_num",
+        "//aos/linux_code:configuration",
+    ],
 )
 
 cc_library(
-  name = 'socket',
-  srcs = [
-    'receive_socket.cc',
-    'send_socket.cc',
-    'socket.cc',
-  ],
-  hdrs = [
-    'receive_socket.h',
-    'send_socket.h',
-    'socket.h',
-  ],
-  deps = [
-    '//aos/common/logging',
-    '//aos/common:time',
-    '//aos/common/util:inet_addr',
-    '//aos/linux_code:configuration',
-  ],
+    name = "socket",
+    srcs = [
+        "receive_socket.cc",
+        "send_socket.cc",
+        "socket.cc",
+    ],
+    hdrs = [
+        "receive_socket.h",
+        "send_socket.h",
+        "socket.h",
+    ],
+    deps = [
+        "//aos/common:time",
+        "//aos/common/logging",
+        "//aos/common/util:inet_addr",
+        "//aos/linux_code:configuration",
+    ],
 )
 
 cc_test(
-  name = 'team_number_test',
-  srcs = [
-    'team_number_test.cc',
-  ],
-  deps = [
-    ':team_number',
-    '//aos/testing:googletest',
-  ],
+    name = "team_number_test",
+    srcs = [
+        "team_number_test.cc",
+    ],
+    deps = [
+        ":team_number",
+        "//aos/testing:googletest",
+    ],
 )
-
diff --git a/aos/common/util/BUILD b/aos/common/util/BUILD
index 8fcd2fe..0f2ca73 100644
--- a/aos/common/util/BUILD
+++ b/aos/common/util/BUILD
@@ -90,6 +90,9 @@
     hdrs = [
         "string_to_num.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_test(
@@ -172,6 +175,9 @@
     hdrs = [
         "options.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_test(
@@ -190,6 +196,9 @@
     hdrs = [
         "compiler_memory_barrier.h",
     ],
+    compatible_with = [
+        "//tools:armhf-debian",
+    ],
 )
 
 cc_library(