sys-proclaim (Was Re: [Maxima] Testsuite errors in CVS maxima)

>>>>> "Raymond" == Raymond Toy <raymond.toy at ericsson.com> writes:

>>>>> "David" == David Billinghurst <Billinghurst> writes:
    David> Doesn't work for me.  I tried it a couple of times but I still see:

    David> ;    - Compiling module "definite-integration" 
    David> ;      - Compiling source file "/usr/local/src/maxima/src/defint.lisp" 
    David> Compiling /usr/local/src/maxima/src/defint.lisp.
    David> End of Pass 1.  
    David> ; (DEFUN BATA0) is being compiled.
    David> ;; Warning: Trying to return multiple values. 
    David> ;But BATA0 was proclaimed to have single value.

    Raymond> This seems to indicate that your sys-proclaim still has the wrong
    Raymond> stuff in it.  Did make sys-proclaim do anything?

I've checked in some changes to src/Makefile.am so that when compiling
maxima, the *.fn files are always generated.  After compiling maxima,
a new sys-proclaim is generated.  Thus, sys-proclaim will be
up-to-date, but you may need to compile maxima twice.  (Hmm, perhaps
we can generate the sys-proclaim file first, and then compile maxima.
Then maxima always gets the correct sys-proclaim.  And if there's
nothing in the sys-proclaim file, maxima will just run a bit more
slowly, which a recompile would fix.)

I hope this takes care of the sys-proclaim issue.

I encourage anyone building CVS maxima to try this out to see if it
works.  (My gcl binary has always seemed a big dodgy.)

Ray