mirage-os-shim.0.0.1 - via opam-publish#7688
Merged
Merged
Conversation
Contributor
✅ All lint checks passed 40f5937
✅ Installability check (5640 → 5641)
|
Member
|
is this useful without a mirage tool that emits the predicate? (mirage/mirage#568, merged into mirage master, but not in any 2.x release) |
Contributor
Author
|
Not terribly useful. It's also out of sync with the new But you get to compile against it. And you can define the predicate yourself, like the test does, to link an executable. EDIT No, of course the included test doesn't do it. It doesn't go through |
Member
|
Should this be merged as-is, or do you want to revise it? |
Contributor
Author
|
@avsm It can be merged as-is. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Portable shim for MirageOS APIs
mirage-os-shim is the intersection of the Mirage OS APIs exported under the
OSmodules by various Mirage backends. It shims out this interface under the same
cmi, and installs several implementations, that pass through to theirrespective backends.
Clients need to be compiled against the common
mirage_OS.cmi, and use themodule
Mirage_OS. Final applications need to be linked usingocamlfind, andhave to define one of the
ocamlfindpredicates corresponding to the actualOSimplementations:unix,xen, orsolo5.When using
ocamlbuild, this isocamlfind -use-ocamlfind -tag 'predicate(unix)'or similar.WARNING Direct access to the
OSinterface is largely deprecated. Theinterface is pretty volatile. It is highly likely that you, in fact, do not need
this package at all.
mirage-os-shim is distributed under the ISC license.
v0.0.1 2016-10-26
First release.
Synced to
mirage-types-2.80.Pull-request generated by opam-publish v0.3.2