1INCLUDES = $(HOLDIR)/examples/ARM/v7 $(HOLDIR)/examples/machine-code/hoare-triple $(HOLDIR)/examples/machine-code/decompiler 
2