HACL_HOME = ..

all: all-checked

include ../Makefile.local

all-checked: $(ALL_CHECKED_FILES)