search

inhabitedtype / bigstringaf

Bigstring intrinsics and fast blits based on memcpy/memmove
Other
37 stars 15 forks source link

MirageOS support is broken #11

Closed samoht closed 6 years ago

samoht commented 6 years ago

See also https://github.com/janestreet/bin_prot/issues/19 and https://github.com/ocaml/dune/issues/783

hannesm commented 6 years ago

furthermore, at the time being, we need both xen and freestanding "cross-compilation" (which use slightly different C compiler flags, see ea2688225fa75d083cefc58e41bd259088b28588 as work-in-progress).. in the foreseeable future, the MirageOS xen backend will (hopefully) be rebased onto the freestanding effort (and thus no longer be needed).

seliopou commented 6 years ago

Thanks for the report, folks. I've just followed other examples I've found from other projects, so if you have a fix for this I'm very willing to merge it when it's ready.

seliopou commented 6 years ago

Fixed by #13.