CTSRD-CHERI / cheribsd-ports

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

devel/dbcppp: build an aarch64c package #33

Open kwitaszczyk opened 2 years ago

kwitaszczyk commented 2 years ago

With https://github.com/CTSRD-CHERI/cheribsd-ports/issues/32, build a CheriABI package. The official build guidelines [1] work fine on CheriBSD (except for gmake instead of make) with a hybrid ABI cmake. CheriABI dbcppp runs but probably requires additional changes as clang prints a number of warnings while compiling.

[0] https://github.com/xR3b0rn/dbcppp#build--install

Requested by: AutoCHERI