events.action: opened
events.author: seanmcl
events.masked_author: username_0
events.text: 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
  ```
events.title: master branch doesn't build on OSX
events.type: issue
events.action: created
events.author: seanmcl
events.masked_author: username_0
events.text: It was broken by this commit: d1645084
events.type: comment
events.action: created
events.author: seanmcl
events.masked_author: username_0
events.text: User error: Need to run `nuget restore Source/Dafny.sln`.
events.type: comment
events.action: closed
events.author: seanmcl
events.masked_author: username_0
events.type: issue