[Aldor-l] Ann: ALLPROSE

[Ralf Hemmecke]

Dear Martin,

Martin Rubey wrote:
> 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

[snip]

> 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

Line 65 of Makefile.inc corresonds to the following target.

$(TOOLS).code:
	@$(MAKE) $(TOOLS)/Makefile
	@cd $(TOOLS) && $(MAKE) SUBMAKE="" code
	@echo "" > $@

I have the suspicion that you modified something there (which you 
shouldn't) and you editor translated the TAB into 8 spaces at the 
beginning of the line. Make requires a TAB!!!

Ralf