Martin,

clearly noweb is not working for you.
do a `which noweb` to see if it is installed already.
you may be using an installed version rather than axiom's version.

and a missing 'stdio.h' bodes not well.
check to see if there is one in /usr/include.
  if not, the system setup is broken
    else, something is wrong in your environment, try env and post the result

you can also try 
   apt-get install axiom
to see if that works. the apt-get version is about 1 year downlevel
i believe but if it works then i'm puzzled.

t


_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to