Merge pull request diffblue#56 from diffblue/smowton/bugfix/remove_libzip

Remove libzip and zlib archives from LIBS list

Author: NathanJPhillips

src/driver/Makefile

@@ -32,7 +32,6 @@ all: security-analyzer$(EXEEXT)
 ifneq ($(wildcard ../../cbmc/src/java_bytecode/Makefile),)
   OBJ += ../../cbmc/src/java_bytecode/java_bytecode$(LIBEXT)
   CP_CXXFLAGS += -DHAVE_JAVA_BYTECODE
-  LIBS += ../../cbmc/libzip/lib/.libs/libzip.a ../../cbmc/zlib/libz.a
 endif
 
 ifneq ($(wildcard ../../cbmc/src/jsil/Makefile),)