HACL_HOME = ..

all: all-tests

include ../Makefile.local

# By default, we process all the files in the current directory. Here, we
# *extend* the set of relevant files with the tests.
FSTAR_ROOTS += $(wildcard tests/*.fst)

# tests/Test.SHA3.fst --> tests/Test.SHA3.test
all-tests: $(patsubst %.fst,%.test,$(wildcard tests/*.fst))

%.test: %.exe
	$<

%.exe: $(ALL_CMX_FILES)
	echo "let _ = if not ($(subst .,_,$(notdir $*)).test ()) then failwith \"$* failed\";;" > \
	  $(HACL_HOME)/obj/$(notdir $*)_main.ml
	$(OCAMLOPT) $^ $(HACL_HOME)/obj/$(notdir $*)_main.ml -o $@