Merge pull request diffblue#37 from diffblue/smowton/feature/restrict_make

Only build CBMC directories we need

Author: smowton

src/Makefile

@@ -13,7 +13,9 @@ $(patsubst %, %.dir, $(DIRS)):
 # building cbmc proper
 
 cbmc.dir:
-	$(MAKE) $(MAKEARGS) -C ../cbmc/src
+	$(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
 
 # generate source files