We have some preliminary support for calling native functions, but it's Linux-only. We probably need someone with macOS knowledge to take a look. Currently what happens when one just enables the tests on macOS is that it fails to build the test library we want to make native calls from as --version-script is not supported. We need that test library to only export a select few symbols, so we need to find some suitable replacement. exported_symbols_list seems to be a thing for that.
There's likely more issues lurking behind this one, or maybe not. It's an adventure. :)
This is a "good first issue" in the sense that it doesn't require much, if any, experience with Miri internals. But it requires a macOS machine (or patience as one waits for CI results), and some knowledge of how to build and link C code on macOS.
We have some preliminary support for calling native functions, but it's Linux-only. We probably need someone with macOS knowledge to take a look. Currently what happens when one just enables the tests on macOS is that it fails to build the test library we want to make native calls from as
--version-scriptis not supported. We need that test library to only export a select few symbols, so we need to find some suitable replacement.exported_symbols_listseems to be a thing for that.There's likely more issues lurking behind this one, or maybe not. It's an adventure. :)
This is a "good first issue" in the sense that it doesn't require much, if any, experience with Miri internals. But it requires a macOS machine (or patience as one waits for CI results), and some knowledge of how to build and link C code on macOS.