Revision daafc8f2659a64c9b629bac9d9bbcfa0f32eb5a9 authored by karthikbhargavan on 29 March 2020, 17:18:50 UTC, committed by karthikbhargavan on 29 March 2020, 17:18:50 UTC
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 *~
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...