New comment by ii8 on void-packages repository

https://github.com/void-linux/void-packages/pull/46951#issuecomment-1836799679

Comment:
It looks like the `gdtoa.include-via-gdtoa.patch` patch wasn't applied before the compilation of the runtime started.
I would say it's due to running make with multiple jobs.

The mlton makefiles are not quite properly written so that each target actually always lists all it's prerequisites, so things aren't running in the right order.

The solution is probably to run make with just one job.