Be able to use `-dumpmachine` on our toolchain

Solo5 / solo5

A sandboxed execution environment for unikernels

ISC License

897 stars 138 forks source link

Be able to use `-dumpmachine` on our toolchain #561

Closed dinosaure closed 9 months ago

dinosaure commented 9 months ago

This little patch allows us to call cc from our toolchain with the -dumpmachine argument. By this way, we are able to recognize, at least, the assembler produced by our toolchain. It's related to mirage/ocaml-solo5#128 and mirage/ocaml-gmp#22.

dinosaure commented 9 months ago

Not needed for ocaml-solo5/ocaml-gmp.