Snapshot: adapt makefile to SHA2 and HMAC relocation to code
Snapshot: adapt makefile to SHA2 and HMAC relocation to code

mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star,mitls/hacl-star