opened
seanmcl
username_0
With a clean checkout:

```
$ msbuild Source/Dafny.sln
Microsoft (R) Build Engine version 16.1.85+gad9c9926a7 for Mono
Copyright (C) Microsoft Corporation. All rights reserved.

Build started 2/8/2020 3:28:06 PM.
Project "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny.sln" on node 1 (default targets).
ValidateSolutionConfiguration:
  Building solution configuration "Debug|Mixed Platforms".
Project "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny.sln" (1) is building "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyDriver/DafnyDriver.csproj" (2) on node 1 (default targets).
PrepareForBuild:
  Creating directory "obj/Debug/".
Project "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyDriver/DafnyDriver.csproj" (2) is building "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyRuntime/DafnyRuntime.csproj" (3:2) on node 1 (default targets).
PrepareForBuild:
  Creating directory "obj/Debug/".
GenerateTargetFrameworkMonikerAttribute:
Skipping target "GenerateTargetFrameworkMonikerAttribute" because all output files are up-to-date with respect to the input files.
CoreCompile:
  /usr/local/Cellar/mono/6.6.0.161/lib/mono/msbuild/Current/bin/Roslyn/csc.exe /noconfig /nowarn:1701,1702 /nostdlib+ /errorreport:prompt /warn:4 /define:TRACE;DEBUG;ISDAFNYRUNTIMELIB /highentropyva+ /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/Microsoft.CSharp.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/mscorlib.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.Core.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.Data.DataSetExtensions.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.Data.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.Numerics.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.Xml.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.Xml.Linq.dll /debug+ /debug:portable /filealign:512 /keyfile:../InterimKey.snk /optimize- /out:obj/Debug/DafnyRuntime.dll /subsystemversion:6.00 /target:library /utf8output /langversion:7.3 DafnyRuntime.cs "/var/folders/85/f0tdypl56qj4hllhy6_37wmd0nr39q/T/.NETFramework,Version=v4.5.AssemblyAttributes.cs"
_CopyOutOfDateSourceItemsToOutputDirectoryAlways:
  Copying file from "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyRuntime/DafnyRuntime.cs" to "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Binaries/DafnyRuntime.cs".
CopyFilesToOutputDirectory:
  Copying file from "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyRuntime/obj/Debug/DafnyRuntime.dll" to "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Binaries/DafnyRuntime.dll".
  DafnyRuntime -> /Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Binaries/DafnyRuntime.dll
  Copying file from "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyRuntime/obj/Debug/DafnyRuntime.pdb" to "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Binaries/DafnyRuntime.pdb".
Done Building Project "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyRuntime/DafnyRuntime.csproj" (default targets).
Project "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyDriver/DafnyDriver.csproj" (2) is building "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny/DafnyPipeline.csproj" (4:2) on node 1 (default targets).
PrepareForBuild:
  Creating directory "bin/Debug/".
  Creating directory "obj/Debug/".
GenerateTargetFrameworkMonikerAttribute:
Skipping target "GenerateTargetFrameworkMonikerAttribute" because all output files are up-to-date with respect to the input files.
CoreCompile:
  /usr/local/Cellar/mono/6.6.0.161/lib/mono/msbuild/Current/bin/Roslyn/csc.exe /noconfig /nowarn:1701,1702 /nostdlib+ /errorreport:prompt /warn:4 /define:TRACE;DEBUG;NO_ENABLE_IRONDAFNY /highentropyva+ /reference:/Users/username_0/Dropbox/sean/src/third_party/ms/boogie/Binaries/BoogieBasetypes.dll /reference:/Users/username_0/Dropbox/sean/src/third_party/ms/boogie/Binaries/BoogieCore.dll /reference:/Users/username_0/Dropbox/sean/src/third_party/ms/boogie/Binaries/BoogieParserHelper.dll /reference:/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Binaries/DafnyRuntime.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/mscorlib.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.Core.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.dll /reference:/usr/local/Cellar/mono/6.6.0.161/lib/mono/4.5-api/System.Numerics.dll /debug+ /debug:portable /filealign:512 /keyfile:../InterimKey.snk /optimize- /out:obj/Debug/DafnyPipeline.dll /ruleset:AllRules.ruleset /subsystemversion:6.00 /target:library /utf8output /langversion:7.3 Cloner.cs Compiler-Csharp.cs Compiler-go.cs Compiler-js.cs Compiler-java.cs Reporting.cs Triggers/QuantifiersCollection.cs Triggers/QuantifierSplitter.cs Triggers/TriggerExtensions.cs Triggers/QuantifiersCollector.cs Triggers/TriggersCollector.cs Triggers/TriggerUtils.cs Util.cs Compiler.cs BigIntegerParser.cs DafnyAst.cs DafnyMain.cs DafnyOptions.cs Printer.cs RefinementTransformer.cs Resolver.cs Rewriter.cs SccGraph.cs Translator.cs ../version.cs cce.cs Parser.cs Scanner.cs "/var/folders/85/f0tdypl56qj4hllhy6_37wmd0nr39q/T/.NETFramework,Version=v4.5.AssemblyAttributes.cs"
DafnyMain.cs(13,7): error CS0246: The type or namespace name 'Mono' could not be found (are you missing a using directive or an assembly reference?) [/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny/DafnyPipeline.csproj]
Done Building Project "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny/DafnyPipeline.csproj" (default targets) -- FAILED.
Done Building Project "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyDriver/DafnyDriver.csproj" (default targets) -- FAILED.
Done Building Project "/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny.sln" (default targets) -- FAILED.

Build FAILED.

"/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny.sln" (default target) (1) ->
"/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/DafnyDriver/DafnyDriver.csproj" (default target) (2) ->
"/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny/DafnyPipeline.csproj" (default target) (4:2) ->
(CoreCompile target) ->
  DafnyMain.cs(13,7): error CS0246: The type or namespace name 'Mono' could not be found (are you missing a using directive or an assembly reference?) [/Users/username_0/Dropbox/sean/src/third_party/ms/dafny/Source/Dafny/DafnyPipeline.csproj]

    0 Warning(s)
    1 Error(s)

Time Elapsed 00:00:04.29
```
master branch doesn't build on OSX
issue
created
seanmcl
username_0
It was broken by this commit: d1645084
comment
created
seanmcl
username_0
User error: Need to run `nuget restore Source/Dafny.sln`.
comment
closed
seanmcl
username_0
issue