Installation Makefile: add a 'all' target to prevent CI to error ?
Installation Makefile: add a 'all' target to prevent CI to error ?

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