From 1019be28b66ae4dbb4029afc53940698bebd45a2 Mon Sep 17 00:00:00 2001 From: Reuben Thomas Date: Tue, 28 Nov 2017 15:36:10 +0000 Subject: [PATCH] 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. --- COMPILING.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/COMPILING.md b/COMPILING.md index 86ff874d556..dcc822f890d 100644 --- a/COMPILING.md +++ b/COMPILING.md @@ -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