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

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

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

任何帮助都将不胜感激。

感谢。

Answer 1

我在/p:TargetFrameworkVersion="v4.5"之后添加了以下语句xbuild dafny/Source/Dafny.sln，并且已成功构建。

Linux CS0518上的xbuild dafny错误

1 个答案: