Richard Kettlewell wrote:

>> Did anyone manage to get dafny running on
>> a Pi? I'm on Raspbian 8. Mono 5.2. I got to
>> the "xbuild" step, then it just crashed over
>> and over.
>
> First step in getting help with a build
> failure is to report what actually happens.
> Nobody can guess what you mean by ‘crashed’.

xbuild tool is deprecated and will be removed in future updates, use msbuild
instead

XBuild Engine Version 14.0
Mono, Version 5.2.0.215
Copyright (C) 2005-2013 Various Mono authors

Build started 20/09/2017 05:51:13.
__________________________________________________
Project "/home/incal/dafny-dafny/boogie/Source/Boogie.sln" (default target(s)):
 Target ValidateSolutionConfiguration:
  Building solution configuration "Checked|Mixed Platforms".
 Target Build:
  Project
"/home/incal/dafny-dafny/boogie/Source/CodeContractsExtender/CodeContractsExten
der.csproj" (default target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/CodeContractsExtender/CodeContractsExten
der.csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/Model/Model.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/Model/Model.csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/Graph/Graph.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/Graph/Graph.csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/Basetypes/Basetypes.csproj"
(default target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/Basetypes/Basetypes.csproj".
  Project
"/home/incal/dafny-dafny/boogie/Source/ParserHelper/ParserHelper.csproj"
(default target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/ParserHelper/ParserHelper.csproj".
  Project
"/home/incal/dafny-dafny/boogie/Source/ModelViewer/ModelViewer.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: x86
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/ModelViewer/ModelViewer.csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/Core/Core.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/Core/Core.csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/BVD/BVD.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Debug Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
   Target _CopyAppConfigFile:
   Skipping target "_CopyAppConfigFile" because its outputs are up-to-date.
  Done building project "/home/incal/dafny-dafny/boogie/Source/BVD/BVD.csproj".
  Project
"/home/incal/dafny-dafny/boogie/Source/UnitTests/BasetypesTests/BasetypesTests.
csproj" (default target(s)):
   Target PrepareForBuild:
    Configuration: Debug Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/UnitTests/BasetypesTests/BasetypesTests.
csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/AbsInt/AbsInt.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/AbsInt/AbsInt.csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/VCExpr/VCExpr.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/VCExpr/VCExpr.csproj".
  Project
"/home/incal/dafny-dafny/boogie/Source/Concurrency/Concurrency.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Debug Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
   Target _CopyAppConfigFile:
   Skipping target "_CopyAppConfigFile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/Concurrency/Concurrency.csproj".
  Project
"/home/incal/dafny-dafny/boogie/Source/UnitTests/TestUtil/TestUtil.csproj"
(default target(s)):
   Target PrepareForBuild:
    Configuration: Debug Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/UnitTests/TestUtil/TestUtil.csproj".
  Project
"/home/incal/dafny-dafny/boogie/Source/VCGeneration/VCGeneration.csproj"
(default target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/VCGeneration/VCGeneration.csproj".
  Project
"/home/incal/dafny-dafny/boogie/Source/UnitTests/CoreTests/CoreTests.csproj"
(default target(s)):
   Target PrepareForBuild:
    Configuration: Debug Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/UnitTests/CoreTests/CoreTests.csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/Provers/SMTLib/SMTLib.csproj"
(default target(s)):
   Target PrepareForBuild:
    Configuration: Checked Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/Provers/SMTLib/SMTLib.csproj".
  Project
"/home/incal/dafny-dafny/boogie/Source/Predication/Predication.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Debug Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
   Skipping target "CoreCompile" because its outputs are up-to-date.
  Done building project
"/home/incal/dafny-dafny/boogie/Source/Predication/Predication.csproj".
  Project "/home/incal/dafny-dafny/boogie/Source/Doomed/Doomed.csproj" (default
target(s)):
   Target PrepareForBuild:
    Configuration: Debug Platform: AnyCPU
   Target GenerateSatelliteAssemblies:
   No input files were specified for target GenerateSatelliteAssemblies,
skipping.
   Target _GenerateTargetFrameworkMonikerAttribute:
   Skipping target "_GenerateTargetFrameworkMonikerAttribute" because its
outputs are up-to-date.
   Target CoreCompile:
    Tool /usr/lib/mono/4.5/csc.exe execution started with arguments: /noconfig
/debug:full /debug:portable /keyfile:../InterimKey.snk /publicsign /optimize-
/out:obj/Debug/BoogieDoomed.dll DoomCheck.cs DoomedLoopUnrolling.cs
DoomedStrategy.cs 
DoomErrorHandler.cs HasseDiagram.cs VCDoomed.cs
obj/Debug/.NETFramework,Version=v4.5.AssemblyAttribute.cs /target:library
/define:"DEBUG;TRACE" /nostdlib /reference:/usr/lib/mono/4.5-api/System.dll
/reference:/usr/lib/mono/4.5-api/System.Xml.Linq.dll /
reference:/usr/lib/mono/4.5-api/System.Data.DataSetExtensions.dll
/reference:/usr/lib/mono/4.5-api/Microsoft.CSharp.dll
/reference:/usr/lib/mono/4.5-api/System.Data.dll
/reference:/usr/lib/mono/4.5-api/System.Xml.dll
/reference:/usr/lib/mono/4.5-api/
System.Core.dll
/reference:/home/incal/dafny-dafny/boogie/Source/Basetypes/bin/Checked//BoogieB
asetypes.dll
/reference:/home/incal/dafny-dafny/boogie/Source/CodeContractsExtender/bin/Chec
ked//BoogieCodeContractsExtender.dll /reference:/home/incal/dafny-
dafny/boogie/Source/Core/bin/Checked//BoogieCore.dll
/reference:/home/incal/dafny-dafny/boogie/Source/Graph/bin/Checked//BoogieGraph
.dll /reference:/home/incal/dafny-dafny/boogie/Binaries//BoogieModel.dll
/reference:/home/incal/dafny-dafny/boogie/Source/
ParserHelper/bin/Checked//BoogieParserHelper.dll
/reference:/home/incal/dafny-dafny/boogie/Source/VCExpr/bin/Checked//BoogieVCEx
pr.dll
/reference:/home/incal/dafny-dafny/boogie/Source/VCGeneration/bin/Checked//Boog
ieVCGeneration.dll /reference:/usr/lib/
mono/4.5-api//mscorlib.dll /warn:4
    Error: Garbage collector could not allocate 67108864 bytes of memory for
nursery.
/usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets: error : Compiler
crashed with code: 1.
   Task "Csc" execution -- FAILED
   Done building target "CoreCompile" in project
"/home/incal/dafny-dafny/boogie/Source/Doomed/Doomed.csproj".-- FAILED
  Done building project
"/home/incal/dafny-dafny/boogie/Source/Doomed/Doomed.csproj".-- FAILED
 Task "MSBuild" execution -- FAILED
 Done building target "Build" in project
"/home/incal/dafny-dafny/boogie/Source/Boogie.sln".-- FAILED
Done building project "/home/incal/dafny-dafny/boogie/Source/Boogie.sln".--
FAILED

Build FAILED.
Errors:

/home/incal/dafny-dafny/boogie/Source/Boogie.sln (default targets) ->
(Build target) ->
/home/incal/dafny-dafny/boogie/Source/Doomed/Doomed.csproj (default targets) ->
/usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets (CoreCompile target) ->

 /usr/lib/mono/xbuild/14.0/bin/Microsoft.CSharp.targets: error : Compiler
crashed with code: 1.

  0 Warning(s)
  1 Error(s)

Time Elapsed 00:00:43.3560220

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

--- SoupGate-Win32 v1.05