mirror of
https://github.com/gentoo-mirror/gentoo.git
synced 2025-12-09 00:07:57 +03:00
4a58d8049c
- 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>