How to install and build the sources


  1. Click on ....

External dependencies

Make sure you've installed all of the External Dependencies.


  1. In the Binaries directory, run the batch script CopyBinaries.bat. Edit the file to change the path if the listed binaries are in a different place than the default directory Spec# installs into.
  2. In the Source directory, either open Boogie.sln in Visual Studio, or from a command prompt type devenv Boogie.sln /build Debug.

Last edited Jul 12, 2009 at 6:41 PM by mikebarnett, version 3


No comments yet.