[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [MirageOS-devel] Compile mirage application for xen




Hi,

thanks for your reply :) I am trying to build a piece of ocaml program in mirage, which doesn't have a very large codebase.

from errors, it looks that core is one of the libraries that results in this error. in the code, I found that Core.Std is opened. Is that a library that can not be used for xen? skimming through the code, I didn't find explicit unix dependencies.



On Tuesday, September 9, 2014 6:32 PM, Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx> wrote:


Hi,

I'd guess so, yes.  Anything that depends on the underlying platform (Unix) needs to be abstracted to work with mirage.

Specifically, all those modules in the error message have unix dependencies that aren't being satisfied, though I believe work is ongoing to split js core up to have a kernel part that will be more compatible with he mirage approach.

What are you trying to do? It might be that there are alternative mirage compatible libraries already available (though that might not help much if you're looking at porting a large codebase of course :)

--  
Cheers,

R.



On 9 Sep 2014, at 19:13, "Ania Skorupa" <ania.skorupa@xxxxxxxxx> wrote:

Hello guys,

When I compile my mirage application for xen, the following error happens:

File "_none_", line 1:
Error: No implementations provided for the following modules:
         UnixLabels referenced from /home/user/.opam/system/lib/core/core.cmxa(Core)
         Unix referenced from /usr/lib/ocaml/threads/threads.cmxa(Thread),
           /home/user/.opam/system/lib/core_kernel/core_kernel.cmxa(Core_kernel),
           /home/user/.opam/system/lib/sexplib_unix/sexplib_unix.cmxa(Sexplib_unix),
           /home/user/.opam/system/lib/core/core.cmxa(Core)
Command exited with code 2.

Am I using libraries that can not be used to for xen unikernel?


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.