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 2.10.8.1

Mono, Version 2.10.8.1

 

Error details

========

Errors:
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?

 

Thanks,

Santosh