Ralf Hemmecke <[EMAIL PROTECTED]> writes: > On 11/02/2006 01:15 PM, Martin Rubey wrote: > > Ralf, > > > > allprose (in fact, noweb) needs gawk. It was my fault, sorry. > > Could you tell me how you found that out?
trying to get the doc in packaged-allprose. > I cannot believe that the ubuntu people distribute noweb for using awk. > Noweb should use ICON. > Anyway, the standard awk on debian (and certainly also on kubuntu) is gawk. Maybe. but here only mawk is installed (with an m, that's not a typo). awk is a link to that, also nawk. I provided a link in my home/bin for gawk. However, I had trouble building axiom, so I removed the link temporarily and forgot to put it in place again. I'm very sorry. > > What does 'awk --version' say? I really don't understand that this was > the problem. If you installed noweb via apt-get then there is something > seriously broken with your system. I'm not root. awk --version awk: not an option: --version awk -W version mawk 1.3.3 Nov 1996, Copyright (C) Michael D. Brennan compiled limits: max NF 32767 sprintf buffer 1020 I'm very sorry for bothering you. Martin ------------------------------------------------------------------------- Using Tomcat but need to do more? Need to support web services, security? Get stuff done quickly with pre-integrated technology to make your job easier Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642 _______________________________________________ Aldor-combinat-devel mailing list Aldor-combinat-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/aldor-combinat-devel
