Skip to main content

Browse the archive

Revision 5b69e68e015bda2d5292d91c3e93045f9b96acd2 authored by Santiago Zanella-Beguelin on 25 November 2019, 15:43:47 UTC, committed by Santiago Zanella-Beguelin on 29 November 2019, 09:57:25 UTC 
Re-enable long logs for accurate stats
1 parent 3ae979b
Raw File
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)

# 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 $@
back to top