Merge pull request diffblue#48 from diffblue/feature/use-miniz

Add dependency on Mini zip used in latest CBMC master

Author: smowton

cbmc

@@ -17,7 +17,7 @@ $(patsubst %, %.dir, $(DIRS)):
 cbmc.dir:
 	$(MAKE) $(MAKEARGS) -C ../cbmc/src \
     languages linking.dir big-int.dir goto-programs.dir analyses.dir \
-    pointer-analysis.dir langapi.dir json.dir assembler.dir util.dir
+    pointer-analysis.dir langapi.dir json.dir assembler.dir util.dir miniz.dir
 
 # generate source files
 

src/Makefile

@@ -11,6 +11,7 @@ OBJ += ../../cbmc/src/ansi-c/ansi-c$(LIBEXT) \
       ../../cbmc/src/langapi/langapi$(LIBEXT) \
       ../../cbmc/src/json/json$(LIBEXT) \
       ../../cbmc/src/assembler/assembler$(LIBEXT) \
+      ../../cbmc/src/miniz/miniz.o \
       ../../cbmc/src/util/util$(LIBEXT) \
       ../summaries/sec_summaries$(LIBEXT) \
       ../pointer-analysis/sec_pointer_analysis$(LIBEXT) \