[Teaching] Vagrant/OCaml distribution

Nate Foster jnfoster at cs.cornell.edu
Sat Nov 29 15:16:22 GMT 2014

+1 to Vagrant. It makes VM construction and distribution really simple. And
it makes it easy for all of us to share resources that go into VMs without
having to ship GBs of opaque images around.

Ben Greenman has already supplied a pointer to the Cornell CS 3110 Vagrant


Speaking just for myself, I'd be very happy if this stayed roughly in sync
with Anil's efforts.


On Fri, Nov 28, 2014 at 5:27 AM, Anil Madhavapeddy <anil at recoil.org> wrote:

> I thought it might be useful to split out the discussion on specific
> technologies.  Vagrant has come up several times, and it provides a useful
> mechanism to centralise not only the compiler distribution, but also editor
> tools and support infrastructure.
> We'd like to provide a Vagrant distribution for our upcoming FP course in
> Cambridge next term [1].  We already have a Vagrant VM that combines OCaml
> with the MirageOS here:
>    https://github.com/mirage/mirage-vagrant-vms
> I'm planning to split it out to make an OCaml-only base image.  If anyone
> has similar Vagrant setups that incorporate editor support and so on, I'd
> appreciate a pointer.  We're going to license our scripts under the CC0
> public domain to make them as easily cut-and-pastable as possible.
> There's a 'Vagrant Cloud' in beta that can host pointers to such images,
> and we're happy to host binary blobs, under a central 'ocaml' organisation
> if that's available.
> [1] https://www.cl.cam.ac.uk/teaching/1415/L28/
> thanks
> Anil
> _______________________________________________
> Teaching mailing list
> Teaching at lists.ocaml.org
> http://lists.ocaml.org/listinfo/teaching
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/teaching/attachments/20141129/5d5c2057/attachment.html>

More information about the Teaching mailing list