CVSROOT: /cvs
Module name: ports
Changes by: dan...@cvs.openbsd.org 2025/08/19 14:16:17
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-configure
Removed files:
lang/compcert/patches: patch-backend_PrintAsmaux_ml
patch-cparser_Diagnostics_ml
patch-cparser_Diagnostics_mli
Log message:
update to latest git commit c27ebe5
This release adds support for PIC/PIE and has merged the handling of
unknown warnings. With this commit, we are finally able to compile
bin/cat on OpenBSD with no modifications:
$ env CC=ccomp PIPE= make
And then both "cat cat.c" and "cat -n cat.c" work (the latter is a useful
test on amd86/IBT as it covers the case of code with a jump table).
