Anil Madhavapeddy
Anil Madhavapeddy
This is due to mirage-xen not having the ctypes stubs compiled into it. We're almost at the point of having proper stub cross compilation, but it's not quite there yet....
Just cross-linking this to #574, which (along with some changes on the MirageOS side) make it significantly more automated to cross-compile C stubs for all the MirageOS backends.
It might make sense to maintain these in the ctypes repository itself as subpackages. We already have the burden of having to work with some posix types due to the...
@toots see #588 -- your review/fixes there would be much appreciated. In particular, a few test cases are failing than on the `master` branch, so finding the cause of those...
The floodgates are opened! 4.03 sure was an eventful release :-)
I think it might be the casting to an unaligned pointer that is the undefined behaviour (the cast will always be aligned in the case of a normal, unpacked struct)....
25ec72aa312fb759f6e1ad19d979c31b5d3dc827 switches over to using `virtual_modules` for ctypes-foreign, which is inline with the current Makefiles. It still doesnt do automatic selection of threaded/unthreaded, which is covered in ocaml/dune#1724
I've worked around the ocaml/dune#1730 limitation via a configure pass in 78cad0bcac29843c00384295b3e3b9acdabad219, which is working well for test-enums (d72e533) for example
All tests now ported; time to hook in CI
I'm working on rebasing this to a set of clean commits. @talex5 is helping with deploying a CI to run through the foreign architectures without needing qemu. We'll try that...