I tried using the gcc provided by homebrew but the same issue crops up there as well.
If this is a problem with making noweb, would it be possible to use a separately installed noweb to build axiom? Homebrew has a noweb package which installs without any problems. I ask as this could be a stopgap solution.
Thanks!
Sarva
P.S. My name is Sarvagnan. Where I come from, there are no last names. The last name you use is your fathers first name, so I introduce myself using just my name, giving out my fathers name only when strictly necessary. Due to the length of the name and the slightly complex pronunciation, I introduce myself as Sarva.