CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/10/15 18:08:35
Modified files:
lang/compcert : Makefile
lang/compcert/patches: patch-configure
Log message:
Backport fix for compcert so configure can work with coq 8.10.0 and
a few other minor tweaks.
