Hello Martin,
I suggest, you install the noweb package on debian.
apt-get install nowebm
(you need to be root)
Ralf
Martin Rubey wrote:
> Dear all,
>
> since my computer died last month, I have a hard time to get
everything running
> again. In the process, I was switching to a debian system (grown by my
> sysad). So, after getting patch 45 with darcs, I get
>
> isds153:/home/rubey/axiom--main--1# export
AXIOM=/home/rubey/axiom--main--1/mnt/linux
> isds153:/home/rubey/axiom--main--1# export PATH=$AXIOM/bin:$PATH
> isds153:/home/rubey/axiom--main--1# make AWK=/usr/bin/nawk
> 13 making noweb
> patching file modules.c
> patching file Makefile
> sed: -e expression #1, char 11: unknown option to `s'
> awkname: failed to change lib/emptydefn
[snip]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
