Dafny with Mono on Ubuntu

Dec 20, 2012 at 7:24 AM

Dafny developers and users,

I am trying Dafny on a Linux box with Mono. I get a compilation error with Dafny.

Boogie compiles fine.

Is anyone experiencing the same error?

Details of the build environment


Build Engine Version

Mono, Version


Error details


dafny/boogie_54a16b48c645/Source/Dafny.sln (default targets) ->(Build target) ->

dafny/boogie_54a16b48c645/Source/DafnyDriver/DafnyDriver.csproj (default targets) ->

/usr/lib/mono/4.0/Microsoft.CSharp.targets (CoreCompile target) ->

DafnyDriver.cs(33,25): error CS0433: The imported type `cce' is defined multiple times


Any suggestions how I can fix this or workaround this?