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

[Svante Signell]

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?