<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On 15 February 2013 18:49, Thibault Kruse <span dir="ltr"><<a href="mailto:kruset@in.tum.de" target="_blank">kruset@in.tum.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Daniel,<div class="im"><br>
<br>
On 15.02.2013 02:51, Daniel Stonier wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
These fails also happen in other ways - e.g. a missing find_package(catkin REQUIRED ...) in just one package in the stack also gets past pre-release.<br>
</blockquote>
<br></div>
There is a script called catkin_make_isolated that people can use to build packages in isolation. This can help detect certain missing declared dependencies. So maintainers can make sure both catkin_make and catkin_make_isolated pass locally before heading on to pre-release.<br>

<br></blockquote><div><br></div><div style>That's interesting - hadn't discovered that tool before. Just did a quick run, and while it would catch some issues, it would still not catch the install dependency problems I outlined in the first email (unless I manually sandboxed, cleared all the debs and reinstalled individual package dependencies inbetween each isolated build).</div>
<div> </div><div style>Cheers,</div><div style>Daniel.</div><div style><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
regards,<br>
  Thibault<br>
</blockquote></div><br><br clear="all"><div><br></div>
</div></div>