[Aldor-l] Ann: ALLPROSE

Martin Rubey martin.rubey at univie.ac.at
Sun Nov 13 07:38:41 EST 2005


Unfortunately I cannot make ALLPROSE:

(using noweb 2.10a)

[martin at localhost allprose-0.1.0]$ notangle -t8 Makefile.nw > Makefile
[martin at localhost allprose-0.1.0]$ make
Make39: Makefile.def: No such file or directory
Make42: Makefile.inc: No such file or directory
Make143: Makefile.showexports: No such file or directory
notangle -t8 Makefile.inc.nw > Makefile.inc
(if [ ! -f "Makefile.def.nw" ]; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
elif grep -l -- "^.--- ALLPROSE$" Makefile.def.nw > /dev/null; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
fi)
notangle -t8 Makefile.def.nw > Makefile.def
notangle -t8 Makefile.inc.nw > Makefile.inc
(if [ ! -f "Makefile.def.nw" ]; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
elif grep -l -- "^.--- ALLPROSE$" Makefile.def.nw > /dev/null; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
fi)
notangle -t8 Makefile.inc.nw > Makefile.inc
(if [ ! -f "Makefile.def.nw" ]; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
elif grep -l -- "^.--- ALLPROSE$" Makefile.def.nw > /dev/null; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
fi)
make[1]: Entering directory `/home/martin/Documents/allprose-0.1.0'
notangle -t8 Makefile.inc.nw > Makefile.inc
(if [ ! -f "Makefile.def.nw" ]; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
elif grep -l -- "^.--- ALLPROSE$" Makefile.def.nw > /dev/null; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
fi)
notangle -t8 Makefile.def.nw > Makefile.def
make[1]: Leaving directory `/home/martin/Documents/allprose-0.1.0'
make[1]: Entering directory `/home/martin/Documents/allprose-0.1.0'
notangle -t8 Makefile.inc.nw > Makefile.inc
(if [ ! -f "Makefile.def.nw" ]; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
elif grep -l -- "^.--- ALLPROSE$" Makefile.def.nw > /dev/null; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
fi)
make[2]: Entering directory `/home/martin/Documents/allprose-0.1.0'
notangle -t8 Makefile.inc.nw > Makefile.inc
(if [ ! -f "Makefile.def.nw" ]; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
elif grep -l -- "^.--- ALLPROSE$" Makefile.def.nw > /dev/null; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
fi)
make[2]: Leaving directory `/home/martin/Documents/allprose-0.1.0'
make[2]: Entering directory `/home/martin/Documents/allprose-0.1.0'
notangle -t8 Makefile.inc.nw > Makefile.inc
(if [ ! -f "Makefile.def.nw" ]; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
elif grep -l -- "^.--- ALLPROSE$" Makefile.def.nw > /dev/null; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
fi)
notangle -t8 Makefile.def.nw > Makefile.def
make[2]: Leaving directory `/home/martin/Documents/allprose-0.1.0'
make[2]: Entering directory `/home/martin/Documents/allprose-0.1.0'
notangle -t8 Makefile.inc.nw > Makefile.inc
(if [ ! -f "Makefile.def.nw" ]; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
elif grep -l -- "^.--- ALLPROSE$" Makefile.def.nw > /dev/null; then\
  cp Makefile.def.allprose.nw Makefile.def.nw;\
fi)
make[3]: Entering directory `/home/martin/Documents/allprose-0.1.0/tools'
make[3]: Leaving directory `/home/martin/Documents/allprose-0.1.0/tools'
make[3]: Entering directory `/home/martin/Documents/allprose-0.1.0/tools'
/home/martin/Documents/allprose-0.1.0/Makefile.inc:65: *** missing separator
(did you mean TAB instead of 8 spaces?).  Stop.
make[3]: Leaving directory `/home/martin/Documents/allprose-0.1.0/tools'
make[2]: *** [/home/martin/Documents/allprose-0.1.0/tools/Makefile] Error 2
make[2]: Leaving directory `/home/martin/Documents/allprose-0.1.0'
make[1]: *** [/home/martin/Documents/allprose-0.1.0/tools.code] Error 2
make[1]: Leaving directory `/home/martin/Documents/allprose-0.1.0'
make: *** [all] Error 2

Martin




More information about the Aldor-l mailing list