https://bugzilla.redhat.com/show_bug.cgi?id=2223012 --- Comment #2 from Scott Talbert <swt@xxxxxxxxxx> --- It's interesting that we ended up with a lot of the same patches (mostly tweaks to upstream's build system which is too hard-coded in a lot of cases). In case you're curious, the Debian packaging is here (patches are in debian/patches): https://salsa.debian.org/science-team/cvc5 I didn't end up packaging the Pythonic API (just patched it out) because dealing with multiple upstream tarballs is a bit of a pain in Debian. I do run the unittests in Debian, though. They do work, although there is one test that's broken on 32-bit arches (N/A for Fedora) and a lot are broken on mips* (also N/A for Fedora). There are a couple that use a lot of memory that I patched out. -- You are receiving this mail because: You are always notified about changes to this product and component You are on the CC list for the bug. https://bugzilla.redhat.com/show_bug.cgi?id=2223012 Report this comment as SPAM: https://bugzilla.redhat.com/enter_bug.cgi?product=Bugzilla&format=report-spam&short_desc=Report%20of%20Bug%202223012%23c2 _______________________________________________ package-review mailing list -- package-review@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-review-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/package-review@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
