mirage / ocaml-solo5

Freestanding OCaml runtime
Other
101 stars 30 forks source link

Link with our `openlibm` library when we configure our OCaml freestanding version #99

Closed dinosaure closed 2 years ago

dinosaure commented 2 years ago

I'm not sure that it's the right fix but according to ocaml/ocaml#944, we need to provide some float operations and it seems that they are not available in the Alpine context. This float operations are builtins on gcc and -ffreestanding delete them (even if openlibm implements them).

I don't know why such error appears only on Alpine but this option seems needed now (4.14 fails too).

/cc @hannesm