Add ikos to skip-keys (#88)

According to discussion space-ros/space-ros#126 (comment)
space-ros · Jan 25, 2024 · 4efb9bf · 4efb9bf
1 parent 8e15a89
commit 4efb9bf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/spaceros/Earthfile b/spaceros/Earthfile
@@ -150,7 +150,8 @@ rosdep:
       --rosdistro ${ROSDISTRO} \
       # `urdfdom_headers` is cloned from source, however rosdep can't find it.
       # It is because package.xml manifest is missing. See: https://github.com/ros/urdfdom_headers
-      --skip-keys "$(tr '\n' ' ' < 'excluded-pkgs.txt') urdfdom_headers"
+      # Additionally, IKOS must be excluded as per: https://github.com/space-ros/docker/issues/99
+      --skip-keys "$(tr '\n' ' ' < 'excluded-pkgs.txt') urdfdom_headers ikos"
   RUN rm excluded-pkgs.txt
 
 build: