Skip to content

Commit

Permalink
Update Windows dependencies in Compiling.md
Browse files Browse the repository at this point in the history
I just had to set up CBMC on a Windows box, and needed lwp-download (provided by libwww-perl) in order to download minisat2.
  • Loading branch information
reuk authored Nov 28, 2017
1 parent 5c65731 commit 1019be2
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion COMPILING.md
Original file line number Diff line number Diff line change
Expand Up @@ -137,7 +137,8 @@ We recommend Visual Studio.
Follow these instructions:

1. First install Cygwin, then from the Cygwin setup facility install the
following packages: `flex, bison, tar, gzip, git, make, wget, patch`.
following packages: `flex, bison, tar, gzip, git, make, wget, patch,
libwww-perl`.
2. Get the CBMC source via
```
git clone https://github.com/diffblue/cbmc cbmc-git
Expand Down

0 comments on commit 1019be2

Please sign in to comment.