Il giorno venerdì 22 settembre 2017 06:23:56 UTC+2, Emanuel Berg ha scritto:
> Emanuel Berg wrote:
> 
> > Unfortunately, after building boogie, dafny
> > wasn't as fortunate:
> 
> I managed to install dafny with xbuild!
> This time, it was the disc space running out :)
> 
> However, dafny doesn't run.
> 
> There are a couple of binaries that will have
> to be chmod'd before anything can happen.
> The error messages, tho certainly not in
> a style I'm familiar with, gave great help with
> this.
> 
> However all said and done I got this, more
> cryptical message:
> 
> [ERROR] FATAL UNHANDLED EXCEPTION: System.AggregateException: One or more
errors occurred. ---> System.IO.IOException: Write fault on path
/home/incal/dafny-dafny/dafny/Binaries/[Unknown]

It's not cryptical at all, it tells you exactly what happened.
The fact that you can't understand what it tells you is completely another
matter.

The best thing is to ask directly to dafny support.

Bye Jack

--- SoupGate-Win32 v1.05