- Just use upstream's "Production" instead, but still drop their config
- Replace various parts of cvc4-1.8-gentoo.patch with upstreamed ones
- Fix CMake 3.31 warnings about unsupported <CMake-3.10 already
- Cleanup superfluous src_install() phase
Closes: https://bugs.gentoo.org/953543
Signed-off-by: Andreas Sturmlechner <asturm@gentoo.org>
Part-of: https://github.com/gentoo/gentoo/pull/44558
Closes: https://github.com/gentoo/gentoo/pull/44558
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
4a58d8049c