CTSRD-CHERI / cheribsd-ports

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

devel/ninja: use a CheriABI package with the user mode #104

Open kwitaszczyk opened 10 months ago

kwitaszczyk commented 10 months ago

Ninja crashes with a segmentation fault when emulated with the user mode. For now, we use hybrid ABI Ninja when building packages with the user mode. We should fix the user mode bug to use CheriABI Ninja instead.