On 28 July 2016 at 15:49, David Chisnall <David.Chisnall at cl.cam.ac.uk> wrote: > This seems to be more an issue with the clang toolchain definition than anything to do with repository organisation. Indeed. But since we're collecting "user stories"... :) cheers, --renato