OpenBSD/ports fYTtjwA — lang/compcert Makefile, lang/compcert/patches patch-Makefile
Drop dependency on base gcc and switch to ports gcc instead.
| Version | Delta | File | |
|---|---|---|---|
| 1.6 | +9 | -1 | lang/compcert/Makefile |
| 1.4 | +3 | -3 | lang/compcert/patches/patch-Makefile |
| +12 | -4 | 2 files | |
