CTSRD-CHERI / cheribsd-ports

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

Ports expecting *_WIDTH macros from gnulib do not build #129

Closed kwitaszczyk closed 9 months ago

kwitaszczyk commented 10 months ago

https://github.com/CTSRD-CHERI/cheribsd-ports/commit/d91ad7dc57876 introduced a change to replace embedded gnulib-generated stdint.h files with an include directive for the system's stdint.h. The reason for that was to remove stdint.h that is not adapted to CheriABI and undefines uintptr_t.

This change broke editors/emacs and possibly other ports that expect *_WIDTH macros from gnulib. For CheriABI builds, we patched particular ports to provide the macros.

Instead, we should generate a stdint.h header from gnulib that is adapted to CheriABI and provides *_WIDTH macros.