Ray,
at present I guess the default value of *MAXIMA-OBJDIR* is the same
as *MAXIMA-USERDIR*. Now that I;ve tried it out, I think it should be
some subdirectory of that. Can we change it to:
(concatenate 'string *maxima-userdir* "/binary-" *maxima-lispname*)
or better still:
(concatenate 'string *maxima-userdir* "/binary/binary-" *maxima-lispname*)
The way things are set up at present, *MAXIMA-OBJDIR* is not actually
a place you would want to collect compiler output files.
It seems important to me to make *MAXIMA-OBJDIR* something
where (1) OK to clutter it with compiler output; and (2) OK to nuke it.
FWIW
Robert Dodier