[Aldor-l] Ann: ALLPROSE

[Ralf Hemmecke]

Dear Tim,

> I'm installing the necessary software from your site www.hemmecke.de/aldor
> to build the AllProse environment. 

> It would be useful to modify your Makefile to use symbolic names
> for the notangle program calls. You do this for Make.

In fact, I (mostly) do use symbolic names. But they are all defined in 
Makefile.def.allprose.nw since that (or rather the generated 
Makefile.def.nw) is supposed to be THE interface to ALLPROSE.

Well, I wanted a variable for the whole make process, but that did not 
work. It is explained in Section 24.6. In Section 24.7 is the second 
occurence of notangle. And these two are the only ones. The reason for 
hardwiring this is simple. EVERY file in ALLPROSE is a  noweb file. When 
you say

   notangle -t8 Makefile.nw > Makefile
   make

make recognises that there is a 'include Makefile.def' in the Makefile, 
so it tries to build Makefile.def first. This is done via

Makefile.def: Makefile.def.nw
	notangle -t8 $< > $@

where the NOTANGLE variable is not yet set. But you are right, I should 
have set NOTANGLE=notangle also in Makefile in order to allow you to say

make NOTANGLE=mynotangle

and explain that properly.

> Would you please include a link to Axiom on your site? We'd really
> like to see the Aldor/Axiom community converge again. It's the same
> work in the same language with the same goals but different tools.

There is already a link on http://www.hemmecke.de/aldor.

I did not yet put a link to Axiom on the actual ALLPROSE subpage or 
announce ALLPROSE on the axiom-developer mailing list, because I first 
wanted to figure out how the process of producing lisp files for AXIOM 
would be best integrated into ALLPROSE. Anyway, it is one of my goals to 
  let Aldor and Axiom converge again.

Ralf