[Aldor-l] -Wname=axiom

[Ralf Hemmecke]

Dear Peter,

in libaxiom.mk I found a line like

$(spad_ao_files): extra_ao_options:=-Wname=axiom -Mno-abbrev -Mpreview

If everything goes fine the -M options should be considered as optional, 
but what does -Wname=axiom actually do?

   -W name=<name>  Compile file as if it was called <name>.as.

And more important... why have you written it there? I cannot figure out 
why renaming during compilation (and this only for the axiom domains) 
would have any influence on the resulting .ao file.

The command is:

   aldor $(extra_ao_options) -Y $(ALDOR_INT)/tmp \
     -L AxiomLib=axiom_$* -fao=$@ $(ALDOR_INT)/ap/$*.ap"

This extra_ao_options somehow distinguishes between the .ap files that 
come from the Axiom library and the .ap files originating from axlit.as 
axextend.as, lang.as, minimach.as etc.

Why is this difference?

Ralf