CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/09/02 06:39:32
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-configure
Log message:
update to CompCert 3.16
IBT/BTI is not yet ready for this release so it is turned off but hopefully
support will be included in a future release.
