xbuild dafny на Linux ошибка CS0518

Я следовал инструкциям в документации по установке Dafny в Linux, но когда я использую 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 работает нормально)

Любая помощь будет оценена по достоинству.

Спасибо.


dafny
person notArefill    schedule 20.03.2017    source источник

Ответы (1)


arrow_upward
2
arrow_downward

Я добавил следующий оператор /p:TargetFrameworkVersion="v4.5" после xbuild dafny/Source/Dafny.sln, и он был успешно построен.

person notArefill    schedule 10.04.2017