Control: tags -1 - moreinfo
On 6/14/24 19:47, Phil Wyett wrote:
Control: tags -1 + moreinfo
Hi Matthew,
'rumur' is an extensive package with a lot going on at build time. Some of the
build time tests are skipped due to missing 'xmllint'. Adding 'libxml2-utils' as
a 'Build-Depends' allows the tests to be performed. There maybe reasoning why
this 'Build-Depends' was not added, but only you can let us know that.
Other tests are skipped for a variety of reasons. Maybe you could have an audit
of these and make changes where appropriate?
Thanks for the review, Phil. I did it this way under the assumption that
time on the buildd machines was expensive, but I think the prevailing
wisdom is actually that letting mistakes slip through to end users is a
worse cost. I’ve done as you suggested and enabled more of the skipped
tests. The main block still skipped are the Uclid tests which depend on
a niche academic tool that is not packaged in Debian.
While we’re discussing this, Rumur can do some smarter things if an SMT
solver like Z3 is installed. Should I add z3 to Suggests? I’m unsure
about this as Z3 is merely _one_ SMT solver Rumur can use, not _the_ SMT
solver it must use.
