Skip to content

Commit

Permalink
Add instructions to install Boogie from nuget.org
Browse files Browse the repository at this point in the history
bkragl committed Dec 21, 2019
1 parent 8b63092 commit 4bec6dd
Showing 1 changed file with 16 additions and 1 deletion.
17 changes: 16 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -53,6 +53,18 @@ many aspects of the Boogie IVL but is slightly out of date.
We have a public [mailing list](https://mailman.ic.ac.uk/mailman/listinfo/boogie-dev) for users of Boogie.
You can also report issues on our [issue tracker](https://github.com/boogie-org/boogie/issues)

## Installation

Boogie releases are packaged as a .NET Core global tool available at
[nuget.org](https://www.nuget.org/packages/Boogie). To install Boogie simply
run:

```
$ dotnet tool install --global boogie
```

To run Boogie, a supported SMT solver has to be available (see below).

## Building

The preferred way to build (and run) Boogie today is using .NET Core.
@@ -67,7 +79,10 @@ To run Boogie, a supported SMT solver has to be available (see below).
$ dotnet build Source/Boogie-NetCore.sln
```

**TODO**: Describe how to install and run.
The compiled Boogie binary is
`Source/BoogieDriver/bin/${CONFIGURATION}/${FRAMEWORK}/BoogieDriver`. Also, a
NuGet package is placed in `Source/BoogieDriver/bin/Debug/` which can be used
for a local installation.

### Windows (requires Visual Studio)

0 comments on commit 4bec6dd

Please sign in to comment.