On 25/07/18 23:49, slacka wrote: > While it's true there is no 32-bit RHEL 7, CentOS 7 has had a 32-bit release > since 2015. You can download it from here: > http://mirror.centos.org/altarch/7/isos/i386/ Ah, thanks. But what we'd actually need is a sufficiently recent (so that it contains GCC 7) version of Developer Toolset for 32-bit CentOS (and ideally for CentOS 6 not 7, so we can keep the current baseline for TDF LO builds). Do you happen to know whether that's available somewhere, too, after all?