Anil Madhavapeddy
Anil Madhavapeddy
Sure: c1ba97dafe95c865d37ad4d88f6e57c9ffbe7f0a for opam-repository and macos/arm64
Agreed -- this would ideally all just be in the generated Makefile
Another idea that's come up in discussions about this is to add an ocamldoc tag to each of these stdlib modules that indicates how thread-safe a particular module or function...
@mort sorry! It was meant to be @mor1, although you are of course more than welcome to contribute to the MirageOS performance harness ;-)
This could be provided by a little CloudInit library now; it's certainly not part of mirage/mirage, but not clear where to put these "requests for networking libraries"
I'm in favour of remaining consistent with our use of `connect`/`disconnect` wrt state management
@djs55, do we still need this for mirage3?
Looks like https://github.com/janestreet/core_extended/blob/master/lib/patience_diff.ml is pretty standalone and doesn't really need the rest of Core_extended.
Let's go for static by default on architectures which support it. There are only very few usecases where we need dynamic/glibc linking, and none of those are exposed through current...
Just to get this started, you can `export OPAMROOT=$XDG_CONFIG_HOME/opam`. However, it's considerably more work to tease out the bits of opam that are switch-specific (to move into `XDG_RUNTIME_DIR` or similar).