xbuild dafny on Linux CS0518 错误

Question

我按照文档中的说明在 Linux 上安装了 Dafny，但是当我使用 xbuild dafny/Source/Dafny.sln 时，我得到以下跟踪：

reference:/usr/lib/mono/gac/System.Core/4.0.0.0__b77a5c561934e089/System.Core.dll /warn:4
    CSC: error CS0518: The predefined type `System.Object' is not defined or imported
    CSC: error CS0518: The predefined type `System.ValueType' is not defined or imported
    CSC: error CS0518: The predefined type `System.Attribute' is not defined or imported
    CSC: error CS0518: The predefined type `System.Int32' is not defined or imported
    CSC: error CS0518: The predefined type `System.UInt32' is not defined or imported

我使用的是 Linux Mint 18.1 的 64 位版本。我在其他 Linux 发行版中也遇到了同样的错误（Fedora 和 Ubuntu）。

上一步（xbuild Source/Boogie.sln 工作正常）

如有任何帮助，我们将不胜感激。

谢谢。

Answer 1

我在xbuild dafny/Source/Dafny.sln后面添加了下面的语句/p:TargetFrameworkVersion="v4.5"，构建成功

xbuild dafny on Linux CS0518 错误

xbuild dafny on Linux CS0518 error

dafny