CVSROOT: /cvs Module name: ports Changes by: [email protected] 2019/04/20 16:12:41
Modified files:
lang/compcert : Makefile
lang/compcert/patches: patch-Makefile
Log message:
Drop dependency on base gcc and switch to ports gcc instead.
