druck wrote:

> Not running X will free up a lot of memory,
> but if that isn't enough try configuring
> a couple of GB of swap, and booking
> a holiday. Cross compiling on a larger linux
> box would be quicker.

I have realized that tho Raspbian is similar to
Debian (a Debian fork) a lot of these more
uncommon things would be a lot easier on
a Debian on a stationary computer. However this
is just a couple of assignment I have left from
an education finished some 7 years ago, so
I just want to do them to have nothing
unfinished. So far I got by with a web tool to
do dafny, but as it happened I Googled dafny to
get to that interface, and stumbled across the
repository and thought boy, it would be ten
times the more pleasant workflow to have a real
tool with my everyday editor. So I thought I'd
try to do it, but if it doesn't work, it's not
like I'm prepared to set up a whole new system
just to have it.

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

--- SoupGate-Win32 v1.05