Revision 629fcb5dab3ab88d72d474ac126fe2345502bc97 authored by karthik.bhargavan on 01 April 2020, 17:05:13 UTC, committed by karthik.bhargavan on 01 April 2020, 17:05:13 UTC
Makefile
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) $(wildcard alternative/*.fst) $(wildcard experimental/*.fst)
.PHONY: all-tests
all-tests: $(subst .,_,$(patsubst %.fst,test-ml-%,$(notdir $(wildcard tests/*.fst))))
.PRECIOUS: tests/%_AutoTest.ml
tests/%_AutoTest.ml:
echo "if not ($*.test ()) then (print_endline \"$* failed\"; exit 1)" > $@
%.exe:
.PRECIOUS: tests/%.exe
tests/%.exe: $(ALL_CMX_FILES) tests/%_AutoTest.ml
$(OCAMLOPT) $^ -o $@
.PHONY: test-ml-%
test-ml-%: tests/%.exe
$<
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...