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