TIP: Click on subject to list as thread! ANSI
echo: rberrypi
to: EMANUEL BERG
from: EMANUEL BERG
date: 2017-09-21 03:27:00
subject: Re: dafny on R-Pi

Emanuel Berg wrote:

>>> Error: Garbage collector could not allocate
>>> 67108864 bytes of memory for nursery.
>>
>> You ran out of memory.
>
> Does that mean it cannot be done on a Pi?
> I don't have a lot of stuff running in the
> background, just Emacs, tmux, xterm. Hm,
> perhaps I could try it without running X...

Unbelievable! It worked when I didn't have
X running. Ha ha ha - programmers at work :)
But thanks a lot, let's hope the rest of the
installation doesn't run into more issues...

--
underground experts united
http://user.it.uu.se/~embe8573

--- SoupGate-Win32 v1.05
* Origin: Agency HUB, Dunedin - New Zealand | FidoUsenet Gateway (3:770/3)

SOURCE: echomail via QWK@docsplace.org

Email questions or comments to sysop@ipingthereforeiam.com
All parts of this website painstakingly hand-crafted in the U.S.A.!
IPTIA BBS/MUD/Terminal/Game Server List, © 2025 IPTIA Consulting™.