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.

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).

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.

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(SB-EVAL::GET-FUNCTION BOOTTRAN::BOOTCLAM #<SB-EVAL::ENV {100324DC31}>)
0]
* 10 making clammed.fasl from clammed.clisp
echo '(in-package "FRICAS-LISP")' \
'(progn (fricas-compile-file "clammed.clisp" :output-file "clammed.fasl") (quit))' \
             | 
/home/hemmecke/v/git/f/build/build/x86_64-unknown-linux/bin/depsys
*
#<PACKAGE "FRICAS-LISP">
*
debugger invoked on a SB-INT:SIMPLE-FILE-ERROR in thread #<THREAD
"initial thread" RUNNING
                                                           {1003243CC1}>:
  failed to find the TRUENAME of clammed.clisp: No such file or directory

Type HELP for debugger help, or (SB-EXT:QUIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(SB-IMPL::SIMPLE-FILE-PERROR
 "failed to find the TRUENAME of ~A"
 #P"clammed.clisp"
 2)
0]
* 11 making compat.clisp from ../../../fricas/src/interp/compat.boot

--
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.

Reply via email to