Holmakefile

INCLUDES = ../typing \
           parsing \
           parsing/sexp \
           backend/languages \
           backend/passes \
           $(CAKEMLDIR)/compiler/parsing \
           $(HOLDIR)/examples/bootstrap