CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 11 forks source link

Rework and update devel/gdb-cheri #130

Closed kwitaszczyk closed 7 months ago

kwitaszczyk commented 7 months ago

This PR aims to:

We've discussed that instead of having devel/gdb we should build devel/gdb-cheri as the gdb package. This would allow existing users move to the gdb package and allow new users unaware of gdb-cheri easily install GDB with the gdb package. However, it might confuse existing users already familiar with gdb-cheri. In their case, pkg64 install gdb-cheri would fail when setting up a Morello box with CheriBSD 23.11.

Instead, I'd like to propose to remove the devel/gdb port (as we discussed), leave devel/gdb-cheri as it was and introduce a separate meta-port devel/gdb-meta that wraps devel/gdb-cheri. This solution should allow new and existing users use GDB packages they're already familiar with.

https://github.com/CTSRD-CHERI/poudriere-infrastructure/commit/5e286a4a0c810f563a5e29575e7d6d4b2f5b0c90 was needed to cross-compile devel/gdb-cheri using a CheriBSD/aarch64 jail on FreeBSD.