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

[Yaron Minsky <yminsky@xxxxxxxxxxxxxx>]

Jenga has been improving rapidly.  We now use it for all of our
internal development, and we love it.

It's open-source, but we haven't yet released a good jengaroot file
that others could use.  That's very much on Nick's stack, though.
We're happy for Nick to spend many solid months working on making
Jenga fit the needs of people outside of Jane Street, because we see a
real hole in the ecosystem.

y

On Fri, Apr 25, 2014 at 12:20 PM, Richard Mortier
<Richard.Mortier@xxxxxxxxxxxxxxxx> wrote:
> 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.
>
>
>
>

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