How to link Dafny code with a C# assembly

Question

I\'m trying to build and run an example program by James Wilcox that combines Dafny code and C# code. I\'m using mono on a Mac. The build command in that answer