search

CTSRD-CHERI / cheribsd-ports

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

Replace gnulib stdint.h with CHERI aware version #137

Closed brooksdavis closed 6 months ago

brooksdavis commented 6 months ago

If a port contains stdint.in.h from gnulib and it does not contain fixes for CHERI, replace it with an upstream version that does. This version corresponds to gnulib commit 6e4aa95cc6f165d2d3a30e963f13596e6b09ed90.

Fixes: #129

brooksdavis commented 6 months ago

I've verified that this version lets me build devel/gettext-tools.

brooksdavis commented 6 months ago

Could we split the commit that introduces Templates/gnulib/stdint.in.h into two commits: one that imports the file from upstream and one that modifies the file to support CHERI? This would make it easier to understand what changed, in particular when updating stdint.in.h in the future.

I've updated the commit message to clarity that this is a completely unmodified upstream version.

We can also revert c0f8ed2 now.

Done.