Skip to content

Commit 1019be2

Browse files
authored
Update Windows dependencies in Compiling.md
I just had to set up CBMC on a Windows box, and needed lwp-download (provided by libwww-perl) in order to download minisat2.
1 parent 5c65731 commit 1019be2

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

COMPILING.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -137,7 +137,8 @@ We recommend Visual Studio.
137137
Follow these instructions:
138138

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

0 commit comments

Comments
 (0)