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