Linearize Makefile and avoid racing invocations of KreMLin due to counter-intuitive semantics when multiple productions are used
Linearize Makefile and avoid racing invocations of KreMLin due to counter-intuitive semantics when multiple productions are used

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