CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2018/09/11 22:58:49
Modified files:
lang/compcert : Makefile distinfo
lang/compcert/patches: patch-Makefile patch-configure
lang/compcert/pkg: PLIST
Removed files:
lang/compcert/patches: patch-driver_Configuration_ml
Log message:
Update to CompCert 3.3 as requested by danj@ but mark BROKEN until we
get coq updated. Biggest improvement in this update is support for
amd64.
CompCert is not free software. This non-commercial release can only
be used for evaluation, research, educational and personal purposes.
