Saner Makefile that doesn't assume Mac OS X (still lot of place for improvements)
Saner Makefile that doesn't assume Mac OS X (still lot of place for improvements)

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