https://bugzilla.redhat.com/show_bug.cgi?id=2223012
--- Comment #2 from Scott Talbert <swt(a)techie.net> ---
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=rep...