dejagnu is available in the buildroot and from the CRB repositories. I think this is sufficient.
(In reply to Florian Weimer from comment #1) > dejagnu is available in the buildroot and from the CRB repositories. I think > this is sufficient. Exactly.