missing make libzip-build

kroening · kroening · commit c355777fc910 · 2016-09-05T17:07:03.000+01:00
diff --git a/COMPILING b/COMPILING
@@ -47,6 +47,7 @@ We assume that you have a Debian/Ubuntu or Red Hat-like distribution.
    cd cbmc-git/src
    make minisat2-download
    make libzip-download zlib-download
+   make libzip-build
    make
 
 
