My answer was: start with the pragmatic approach, which is to package a binary provided by upstream or Debian, etc., and use it to build the “final” Gnat (probably this would go in a channel like Guix-Science rather than in Guix proper).
And then, look for alternative Ada implementations or historical chains that might allow Gnat to be built from source, and start a discussion with the community.