On 18 Jun 2015 19:31, Doug Evans wrote: > And is it worth it without the hard part which is linking > all the sims into gdb? yes, if we can build all the sims, then that alone makes it worth it. we need to make sure we don't break gdb linking/running though. the other bits i think we'd want sorted out first: - does `make check` for all of them ? - what should `make install` do ? atm they all install as `run` ... -mike