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

[Camm Maguire]

Greetings!  Are you still working on hurd?  The problem appears to have
shifted with recent hurd updates.  GCL no longer builds.  There is an
untrappable segfault on running gcc via system() which I cannot isolate
in gdb.  Suggestions?

Take care,

Svante Signell <svante.signell@gmail.com> writes:

> On Thu, 2015-10-22 at 11:30 +0200, Svante Signell wrote:
>> Hi,
>> Cc: bug-hurd
>> 
>
>>  Running your test program at
>> https://lists.debian.org/debian-hurd/2013/07/msg00038.html
>> on a recent kernel gives an even lower limit for memory fragmentation.
>> 0x70000000 fails now, and I used 0x6b000000 in the latest build. The
>> acl2 assertion still happens. Builds of maxima, hol88 will be tried
>> next.
>
> Update:
> hol88 builds with one manual interrupt:
>
> Error: UNDEFINED-FUNCTION :NAME |CONTEXT_name|
> Fast links are on: do (si::use-fast-links nil) for debugging
> Signalled by %AP.
> UNDEFINED-FUNCTION :NAME |CONTEXT_name|
>
> Broken at %AP.  Type :H for Help.
>     1  Return to top level. 
>>>
> Error: UNBOUND-VARIABLE :NAME QUIT
> Fast links are on: do (si::use-fast-links nil) for debugging
> Signalled by %AP.
> UNBOUND-VARIABLE :NAME QUIT
>
> Broken at %AP.
>     1 (abort) Return to debug level 1. 
>     2  Return to top level. 
>>>>
> NIL
>>>> <entered ^D here>
> Makefile:36: recipe for target 'latex_type_pp.ml' failed
> make[4]: *** [latex_type_pp.ml] Error 255
> make[4]: Leaving directory
> '/home/srs/DEBs/hol88/hol88-2.02.19940316/Library/latex-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.
>
> For maxima:
> /bin/bash -c gcl -batch -eval '(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"))'
>
> I tried to issue that command manually but it fails. How to run gcl from
> the commandline?
>
>
>
>
>
>
>
>

-- 
Camm Maguire                                        camm@maguirefamily.org
==========================================================================
"The earth is but one country, and mankind its citizens."  --  Baha'u'llah