[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