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

["Rudi Grinberg" <rudi.grinberg@xxxxxxxxx>]

I've tried to use Jenga on OSX but ran into many annoyances. For example,  
it relies on inotify by default and it detects the number of cpu's in a  
non portable way. Small stuff, but it did seem like jenga was still "beta"  
quality. Anyway this is minor stuff but it would be great if that stuff  
worked smoothly. Also, I'm not sure if it's possible to create a widely  
useful build system for OCaml that doesn't work on windows.

Rudi.

On Fri, 25 Apr 2014 12:26:41 -0400, Yaron Minsky <yminsky@xxxxxxxxxxxxxx>  
wrote:
> 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
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel