[Aldor-l] -Wname=axiom

[Ralf Hemmecke]

On 06/06/2008 01:58 PM, Peter Broadbery wrote:
> On Fri, Jun 6, 2008 at 12:29 PM, Ralf Hemmecke <ralf at hemmecke.de> wrote:
>> 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.
>>
> 
> When aldor compiles a file that uses libaxiom to .lsp, it'll need to
> refer to both axiom and aldor types.  To distinguish them, the axiom
> ones all claim to come from a file called 'axiom'.  The interopability
> code (daase.lisp, probably) then treats these specially.
> It's not needed for compilation, but rather required if you want to
> have the result be useful in axiom.

Just a quick look into src/interp/daase.lisp shows the lines below. I 
guess the ^^^^^ mark the place where -Wname=axiom correspond to, right?
But, hey, it also seems to show that I cannot move the code of axlit and 
axextend into one file and have another name for it.

And what is runtime? I don't think that it is was in src_aldor3.tgz 
http://sage.math.washington.edu/home/page/src_aldor3.tgz .

Should I take it from axllib?

Ralf

---BEGIN
; the variable NOPfuncall is a funcall-able object that is a dummy
; initializer for libaxiom asharp domains.
(defvar NOPfuncall (cons 'identity nil))

(defun create-initializers ()
;; since libaxiom is now built with -name=axiom following unnecessary
;; (dolist (con (|allConstructors|))
;;   (let ((sourcefile (getdatabase con 'sourcefile)))
;;     (if sourcefile
;;       (set (foam::axiomxl-file-init-name (pathname-name sourcefile))
;;             NOPfuncall))))
  (set (foam::axiomxl-file-init-name "axiom") NOPfuncall)
                                      ^^^^^
;; (set (foam::axiomxl-file-init-name "axclique") NOPfuncall)
  (set (foam::axiomxl-file-init-name "filecliq") NOPfuncall)
  (set (foam::axiomxl-file-init-name "attrib") NOPfuncall)
;; following needs to happen inside restart since $AXIOM may change
  (let ((asharprootlib (strconc (|getEnv| "AXIOM") "/aldor/lib/")))
    (set-file-getter (strconc asharprootlib "runtime"))
    (set-file-getter (strconc asharprootlib "lang"))
    (set-file-getter (strconc asharprootlib "attrib"))
    (set-file-getter (strconc asharprootlib "axlit"))
    (set-file-getter (strconc asharprootlib "minimach"))
    (set-file-getter (strconc asharprootlib "axextend"))))
---END