Ralf Hemmecke wrote:
>
> >> Waldek, do you have any idea what could cause the failure of the
> >> libaxiom.al build?
> >
> > In a hard case I had to bisect on file by-file basis and then
> > on function-by-function basis inside critical file (finally
> > I found the function (part of Spad compiler) that was miscompiled
> > by Shoe).
> >
> > So one way to proceed is to compile some files using 'depsys' and some
> > using 'bootsys' to find which file(s) work only when compiled by
> > 'bootsys' and then split critical file into parts to determine
> > exactly critical function.
>
> Waldek,
>
> since a few days now I try to find out why I cannot simply replace
> BOOTSYS by DEPSYS in src/interp/Makefile.in.
>
> ====
> clammed.clisp: $(srcdir)/clammed.boot
> echo '(progn (boottran::bootclam "$<" "$@") (${BYE}))' | ${BOOTSYS}
> ====
>
> time make -j8 > make.log 2>&1
>
> gives me (after an error 30 sec) an error:
>
> /bin/bash: line 17:
> /home/hemmecke/g/f/build/build/x86_64-unknown-linux/bin/interpsys: No
> such file or directory
>
> The error seems to happen in src/algebra and obviously means that
> interpsys has not been build.
1) You did not specify FriCAS revision. In trunk old Boot is
removed and depsys is only used for compiling Lisp. Revision
1037 switched from old Boot to Shoe, and here depsys should
be able to compile Boot to Lisp. Note that revisions 1036
and 1037 are the only ones were should be able to switch
between Shoe and old Boot: earlier revisions have Shoe
incompatible parts, later removed old Boot...
>
> Since the error is detected too late anyway, there must be something
> wrong with depsys not properly exiting with a non-zero exit status.
> (see error message below which doesn't immediately stop the build).
>
Yes, that is known problem.
> That there is an undefined function I can probably deal with, but depsys
> not exiting with non-zero status makes life quite a bit harder. :-(
>
> Ralf
>
> echo '(progn (boottran::bootclam
> "../../../fricas/src/interp/clammed.boot" "clammed.clisp") (quit))' |
> /home/hemmecke/v/git/f/build/build/x86_64-unknown-linux/bin/depsys
> *
> debugger invoked on a UNDEFINED-FUNCTION in thread #<THREAD
> "initial thread"
> RUNNING
> {1003243CC1}>:
> The function BOOTTRAN::BOOTCLAM is undefined.
>
The BOOTTRAN::BOOTCLAM function is only present in Shoe.
Old Boot handles that differently, and you should just use
BOOTTOCL to compile 'clammed.boot'.
--
Waldek Hebisch
[email protected]
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
