search

CTSRD-CHERI / cheribsd-ports

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

sysutils/chericat: initial port of chericat #119

Closed brooksdavis closed 8 months ago

brooksdavis commented 8 months ago

Port skeleton for chericat. It builds and installs the main binary. It seems likely we want to install various python and jupyter bits as well, but I'd need some guidance on what makes sense to install where.

brooksdavis commented 8 months ago

This is probably blocked on https://github.com/CTSRD-CHERI/chericat/issues/6

InterestedInTechAndCake commented 8 months ago

PR https://github.com/CTSRD-CHERI/cheribsd-ports/pull/120 should be merged into this PR before the changes here can be merged to main, which contains the fix for https://github.com/CTSRD-CHERI/chericat/issues/6

kwitaszczyk commented 8 months ago

The first commit has the author set to "brooks davis brooks@cheribsd.localdomain" which probably should be fixed.

InterestedInTechAndCake commented 8 months ago

PR https://github.com/CTSRD-CHERI/cheribsd-ports/pull/121 is needed before this can be merged to main