Visual Studio for Mac: certain NuGet capabilities are built in directly. See Including a NuGet package in your project for a walkthrough. For other capabilities, use the dotnet.exe or nuget.exe CLI tools.

I have a c++ project in Visual Studio, and I need to run that project on MAC OS X computers. Is that possible?

3 Answers

MonoDevelop Can be used to open and manipulate Visual Studio project on a Mac.It can however only open .csproj files, not the legacy .vcproj. You can convert your old project to a compatible one, using Visual Studio Conversion Wizard.

As you are working with C++, you are however free to use any IDE or editor you like. As long as loosing your project metadata files isn't a problem, you can just open the files in Xcode, TextMate, Sublime Editor or any editor of choice.

Download Visual Studio 2012 For Windows 10

Even though it's several years after asking this question, there is a possibility at last.

You can now install Visual Studio Code on Mac and work with C++. Here's how you can do it.

There are SOME things you can do with Visual Studio Projects / Solutions on a Mac if you use Expression Studio.

Not the answer you're looking for? Browse other questions tagged visual-studio-2010macos or ask your own question.

The easiest way to get started with Dafny is to use rise4fun, where you can write and verify Dafny programs without having install anything. On rise4fun, you will also find the online Dafny tutorial.

You'll get a much better Dafny experience from the Dafny IDEs, since they continuously run the verifier inthe background. For most users, we recommend using Dafny with VS Code, which has an easy installation, asexplained next:

0. Install Visual Studio Code
1. If you are on a Mac or Linux, install Mono.
   We recommend to get the newest version directly from the Mono Project.
2. In Visual Studio Code, press Ctrl+P (or ⌘P on a Mac), and enter ext install correctnessLab.dafny-vscode.
3. If you open a .dfy file, Dafny VSCode offers to download and install the latest Dafny:

Dafny offers several IDE integrations for interactive verification.

• Visual Studio Code (cross-platform)
• Emacs (cross-platform)
• Visual Studio (Windows only): see Windows installation instructions below

Emacs

The README at https://github.com/boogie-org/boogie-friends has plenty ofinformation on how to set-up Emacs to work with Dafny. In short, it boils downto running [M-x package-install RET boogie-friends RET] and adding the followingto your .emacs:

Do look at the README, though! It's full of useful tips.

Note, if you install Dafny via VS Code using the steps above, you're done. The following instructionstell you how to install Dafny so that you can run it from the command line or, on Windows, Visual Studio.

Windows

To install Dafny on your own machine, download Dafny.zip from the releases page and save it to your disk. Then, before you open or unzip it, right-click on it and select Properties; at the bottom of the dialog, click the Unblock button and then the OK button. Now, open Dafny.zip and copy its contents into a directory on your machine. (You can now delete the Dafny.zip file.)

Then:

• To run Dafny from the command line, simply run Dafny.exe.
• To install Dafny for use inside Visual Studio, double-click on DafnyLanguageService.vsix to run the installer. You may first need to uninstall the old version of the extension from within Visual Studio (Tools > Extensions and Updates). Then, whenever you open a file with the extension .dfy in Visual Studio, the Dafny mode will kick in. (If you don't intend to run Dafny from the command line, you can delete the directory into which you copied the contents of Dafny.zip.)

Linux and Mac

Visual Studio On A Mac

Make sure you have Mono. Then save the contents of the Dafny.zip for the appropriate version of your platform. You can now run Dafny from the command line by invoking the script file dafny.

If you want access to the very latest Dafny developments or you want to extend Dafny yourself, get the source code, as explained here.

Windows

First, install the following external dependencies:

• Visual Studio 2017 or newer
• To install lit (for test run):
  • first, install python
  • second, install pip
  • last, run 'pip install lit' and 'pip install OutputCheck'

Second, clone source code.

• copy Coco.exe to boogiepartnersCocoRdownload

Third, build the following projects in the following order:

• boogieSourceBoogie.sln
• dafnySourceDafny.sln
• dafnySourceDafnyExtension.sln (if you want to run Dafny in the Visual Studio IDE; you don't need this step if you'll only be using Dafny in VS Code, Emacs, or the command line)

Last, follow the conventions:

• Visual Studio
  • Set 'General:Tab' to '2 2'
  • For 'C#:Formatting:NewLines Turn everything off except the first option.

Mac OS X and Linux

Follow the instructions in the INSTALL.md file in the root directory of the repository.

Compiling to JavaScript and Go, and running the test suite

By default, Dafny compiles to .NET. If you want to compile to JavaScript, make sure youhave node.js installed (see below) and then use the /compileTarget:js flag. If you wantto compile to Go, make sure you have Go installed (see below) and then use the/compileTarget:go flag.

Note, the tests in the Test/comp folder run the Dafny compiler to produce code for .NET,JavaScript, and Go. If you don't have node.js and Go installed and on your path, these testswill be disabled and you will get a 'unsupported' message from lit.

To set up Dafny to compile to JavaScript (node.js):

Microsoft Visual Studio 2012 For Mac

• Install node.js from https://nodejs.org/en/download
• Make sure node and npm are on your path
• Install the bignumber.js package (see https://github.com/MikeMcl/bignumber.js) by running:npm install bignumber.js

Visual Studio 2012 For Web Product Key

To set up Dafny to compile to Go:

• Install Go from https://golang.org/dl
• Make sure go in on your path

Microsoft Visual Studio 2012 For Windows 7

Dafny's command-line option /compile:3 verifies, compiles, and runs your program. It workswith any compilation target. If you want to do some of these steps manually (say, for averifying program named MyProgram.dfy that has a Main method), here's how:

• To separately compile and run your program for .NET:
  • dafny MyProgram.dfy
  • MyProgram.exe
• Dafny can also output your .NET-compiled program as a C# program, which you can thencompile yourself:
  • dafny /spillTargetCode:1 MyProgram.dfy
  • See the generated MyProgram.cs file for how to invoke csc on MyProgram.cs
• To separately compile and run your program for JavaScript:
  • dafny /compileTarget:js /spillTargetCode:1 MyProgram.dfy
  • node MyProgram.js
• To separately compile and run your program for Go:
  • dafny /compileTarget:go MyProgram.dfy
  • This created a folder MyProgram-go with the target files. You must set the GOPATHto point to this folder, and Go insists that the path you give is an absolute path(including the C: on Windows).
  • After setting GOPATH, do go run MyProgram-go/src/MyProgram.go