Sarva, >I'm using the gcc compiler provided by Xcode. It's Apple llvm version 5.1. >Would switching the gcc used to the homebrew provided gcc help?
It is clear that the symbol 'getline' has been added to stdio using the Xcode gcc, which is the cause of the problem. If you have access to different version of gcc it is likely the problem will go away. On a more global solution I'm working on removing noweb completely from the system but it will take a bit of time. Very few files still use noweb (mostly the Makefiles) and I'm changing that now. Tim Daly p.s. is Sarva your first or last name? _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer
