Re: Bug#802593: gcl: FTBFS on hurd-i386

[Svante Signell]

On Thu, 2015-10-22 at 10:59 -0400, Camm Maguire wrote:
> Greetings, and thanks again for your work on this!
> 
> Svante Signell <svante.signell@gmail.com> writes:
> 

> > Update:
> > hol88 builds with one manual interrupt:
> >
>> Makefile:36: recipe for target 'latex_type_pp.ml' failed
..
> 
> I think you might be using an older gcl, as the symbols have recently
> moved among different packages.  If you try the latest versions in
> debian sid with your sysconf patch for gcl, that should work.
>
> Otherwise, pleast let me know.

I do use the latest version of gcl.
I tried to issue the broken parts manually but failed with setting the
library_pathname():
source ../hol88_commandline
-bash: set_library_search_path
[`/home/srs/DEBs/hol88/hol88-2.02.19940316/Library`];;: No such file or
directory

cat hol88_commandline
#!/bin/sh
#set -x
#echo 'set_flag(`abort_when_fail`,true);;'\
    'set_library_search_path
[`/home/srs/DEBs/hol88/hol88-2.02.19940316/Library`];;'\
    'loadf(library_pathname() ^ `/prettyp/PP_printer`);;'\
    'loadf(library_pathname() ^ `/prettyp/PP_parser`);;'\
    'PP_to_ML false `latex_type` ``;;'\
    'quit();;' | /home/srs/DEBs/hol88/hol88-2.02.19940316/hol

>From the build log and Library/latex-hol/Makefile 
##echo 'set_flag(`abort_when_fail`,true);;'\
#    'loadf(library_pathname() ^ `/prettyp/PP_printer`);;'\
#    'loadf(library_pathname() ^ `/prettyp/PP_parser`);;'\
#    'PP_to_ML false `latex_type` ``;;'\
#    'quit();;' | /home/srs/DEBs/hol88/hol88-2.02.19940316/hol

> > maxima still FTBFS at the same place.
> >
> > Seems like there are errors when running gcl for both packages:
> > task(9610) decreasing a bogus port 1701869637 by 1, most probably a bug.
> 
> Interesting.  My general experience has been lockups almost impossible
> to debug and do anything but a kill -9.

> From the maxima source tree you can do
> cd src
> GCL_ANSI=t gcl
> >(progn (load "../lisp-utils/defsystem.lisp") (funcall (intern (symbol-name 
> >:operate-on-system) :mk) "maxima" :load :verbose t) (when (fboundp (quote 
> >si::sgc-on))(si::sgc-on t)) (si:save-system "binary-gcl/maxima"))
> 
> You can also precede with (si::use-fast-links nil) if you want lisp
> debugging.

I managed to create a batch version, see attached maxima_commandline,
and got an rpctrace (not attached, too big) and a gdb backtrace
(maxima_gdb.txt). Seems like the bugs are in the memory protection
parts.

maxima_commandline
Description: Text document

maxima_gdb.txt
Description: Text document