TIP: Click on subject to list as thread! ANSI
echo: rberrypi
to: ALL
from: DENNIS LEE BIEBER
date: 2017-09-21 10:44:00
subject: Re: dafny on R-Pi

On Thu, 21 Sep 2017 01:32:27 +0200, Emanuel Berg 
declaimed the following:

>Richard Kettlewell 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...

 Hook up a USB hard-drive, and configure a swap file on it... When done,
disable swap file and remove the drive.

 Actually, maybe put the entire development cycle on the hard drive too,
then just save off (if it didn't install it automatically) the final
results.

--
 Wulfraed                 Dennis Lee Bieber         AF6VN
    wlfraed@ix.netcom.com    HTTP://wlfraed.home.netcom.com/

--- 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™.