How to install and build the sources
- Click on ....
Make sure you've installed all of the
- 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.
- In the Source directory, either open Boogie.sln in Visual Studio, or from a command prompt type
devenv Boogie.sln /build Debug.