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?
