So I guess ONLY FOR ARCHS didn’t help here? would never have thought about needing it here.
> On Oct 29, 2021, at 5:38 PM, Jeremie Courreges-Anglas <[email protected]> > wrote: > > CVSROOT: /cvs > Module name: ports > Changes by: [email protected] 2021/10/29 15:37:58 > > Modified files: > lang/compcert : Makefile > > Log message: > Unbreak sqlports on archs that don't have lang/gcc support (riscv64) > > Culprit found with help from espie@ >
