On August 18, 2006 4:05 PM Gaby wrote: > > | On August 18, 2006 2:34 PM Camm wrote: > | > What should I do to work around to reproduce Bill's bug? > | > > | > Bill Page writes: > | apt-get install noweb ? :) > > yes, that may solve his immediate issue. However, while > I understand how his build is failing, I don't understand > how he got there. My builds are OK. How are yours, except > the GCL issue? >
I am not having any problems with the build process but I have not tried to build without having noweb pre-installed. I could do it later if you like. Maybe someone else can report on their experience? Regards, Bill Page. _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
