CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/06/06 15:12:12
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-configure
Log message:
update to commit b2122a6
This update removes the dependency on gcc and switches to using the base
compiler instead.
