Hi Ken C; Thank you for the hint. I have gcc13 for Ada installed and I think that the gcc got picked up (it has C as well, not pure Ada, so that Ada can link up with C).
Sometimes I think it would be great to have three (or more!) different Macs so that I can customize things without conflicts. I guess Docker is the only way to meaningfully do that (I don't have enough money or space to have that many Mac machines!) Thanks, Ken W
