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

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

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.


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.


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...



MirageOS-devel mailing list

MirageOS-devel mailing list



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