Re: [MirageOS-devel] OCaml Labs meeting - Wed 21st May in the Computer Lab

[Richard Mortier <Richard.Mortier@xxxxxxxxxxxxxxxx>]

couple of quick questions:

On 25 Apr 2014, at 14:57, Amir Chaudhry <amc79@xxxxxxxxx> wrote:

> * Ctypes
> Ctypes now includes a new backend that statically generates the C and OCaml 
> code for binding to libraries. Jeremy will show what this looks like from a 
> user perspective and how it translates into additional type safety, simpler 
> linking and more efficient execution.

is it possible to use/are there other tools that generate C stubs for easily 
linking/calling an ocaml library?  (if that makes sense...)

also, out of curiosity, what's the (ocamllabs) recommended ocaml build system?  
oasis or something else?  (daniel's recent shell script?)  and is anyone at 
ocamllabs actively working on a better build system? (to do for build what opam 
did for packaging... :)  i recall some interest in jenga(?) from jsc but don't 
know if anything more happened with it...

-- 
Cheers,

R.

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

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