HACL_HOME=../../../../..
include $(HACL_HOME)/Makefile.common