Hi.
I have uploaded a new GRX pre-release to thr grx site: grx.gnu.de
Go to the "More things" tab to download it.
Because there are new options in the makedefs.grx file I don't know now if the configure script is still working :-(
Greetings, M.Alvarez