John Ericson authored Nov 05, 2021 and Marge Bot committed Oct 12, 2023

The flag is still in the top-level configure, but the other checks
(which define various macros --- important) are in the RTS configure.