Skip to content

Commit 2935028

Browse files
authored
Merge pull request #1635 from reuk/patch-2
Update Windows dependencies in Compiling.md
2 parents 5c65731 + 1019be2 commit 2935028

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)