Skip to main content

Browse the archive

Revision daafc8f2659a64c9b629bac9d9bbcfa0f32eb5a9 authored by karthikbhargavan on 29 March 2020, 17:18:50 UTC, committed by karthikbhargavan on 29 March 2020, 17:18:50 UTC 
Merge branch 'karthik_blake2' of github.com:mitls/hacl-star into karthik_blake2
2 parent s 7abbbe5 + 7dc3ab3
Raw File
Makefile 
HACL_HOME=../..
include $(HACL_HOME)/Makefile.common

UNZIP = unzip -o
WGET  = wget
PROB  = 30

Spec.HMAC_DRBG.Test.Vectors.fst: Spec.HMAC_DRBG.Test.Vectors.fstp HMAC_DRBG.rsp
	cat $< > $@
	python3 cavp_parse.py --prob $(PROB) $(word 2,$^) >> $@

HMAC_DRBG.rsp: drbgvectors_pr_false.zip
	$(UNZIP) $^ $@

drbgvectors_pr_false.zip: drbgtestvectors.zip
	$(UNZIP) $^ $@

drbgtestvectors.zip:
	$(WGET) https://csrc.nist.gov/CSRC/media/Projects/Cryptographic-Algorithm-Validation-Program/documents/drbg/$@

.PHONY: clean
clean:
	rm -f *.zip *.rsp Spec.HMAC_DRBG.Test.Vectors.fst *~
back to top