[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bug#802593: gcl: FTBFS on hurd-i386
From: |
Camm Maguire |
Subject: |
Re: Bug#802593: gcl: FTBFS on hurd-i386 |
Date: |
Thu, 21 Apr 2016 10:02:26 -0400 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) |
Greetings! One other datum -- commands run fine under rpctrace, but not
without.
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