<div dir="ltr">+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.<div><br></div><div>Ben Greenman has already supplied a pointer to the Cornell CS 3110 Vagrant scripts:</div><div><br></div><div><a href="https://github.com/cs3110/vagrant-opam" target="_blank">https://github.com/cs3110/vagrant-opam</a><br></div><div><br></div><div>Speaking just for myself, I'd be very happy if this stayed roughly in sync with Anil's efforts.</div><div><br></div><div>-N</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Nov 28, 2014 at 5:27 AM, Anil Madhavapeddy <span dir="ltr"><<a href="mailto:anil@recoil.org" target="_blank">anil@recoil.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">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.<br>
<br>
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:<br>
<br>
   <a href="https://github.com/mirage/mirage-vagrant-vms" target="_blank">https://github.com/mirage/mirage-vagrant-vms</a><br>
<br>
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.<br>
<br>
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.<br>
<br>
[1] <a href="https://www.cl.cam.ac.uk/teaching/1415/L28/" target="_blank">https://www.cl.cam.ac.uk/teaching/1415/L28/</a><br>
<br>
thanks<br>
Anil<br>
<br>
_______________________________________________<br>
Teaching mailing list<br>
<a href="mailto:Teaching@lists.ocaml.org">Teaching@lists.ocaml.org</a><br>
<a href="http://lists.ocaml.org/listinfo/teaching" target="_blank">http://lists.ocaml.org/listinfo/teaching</a><br>
</blockquote></div><br></div>