<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">On 1 Sep 2015, at 04:20, Thranur Andul <<a href="mailto:thranur@gmail.com" class="">thranur@gmail.com</a>> wrote:<br class=""><div><blockquote type="cite" class=""><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class=""><div class=""><div class=""><div class=""><div class="">While OPAM for Windows is not ready, I'm considering some teaching experiments using Linux virtual machines running inside Windows.<br class=""><br class=""></div>I suppose it has already been tried by some people here, so maybe someone could share their experiences with that approach.<br class=""><br class=""></div>In particular, one of my main issues is disk space: how much space would be necessary for a minimal Linux install with a graphical interface (XFCE, LXDE or even lighter) and the dependencies needed to install OCaml and the most common OPAM packages (e.g. Core, <br class=""></div>js_of_ocaml, Coq, etc.)? Is there already a Linux distribution made for that?<br class=""><br class=""></div>Also, related details about virtual machine experiences (issues, limitations, recommendations, etc.) are welcome.<br class=""></div></div></div></blockquote></div><br class=""><div class="">One fairly easy way to get the VM images that is portable across operating systems is to use Vagrant. One that has been recently updated (by the CS3110 folk at Cornell) is at:</div><div class=""><br class=""></div><div class=""><a href="https://github.com/cs3110/vagrant-opam" class="">https://github.com/cs3110/vagrant-opam</a></div><div class=""><br class=""></div><div class="">That sets up a common development environment and OPAM.</div><div class=""><br class=""></div><div class="">It's tricky to get things more lightweight than this when using VMs. One option I'm investigating is the feasibility of using Docker containers (via Boot2Docker) in order to have a CLI-only interface to the environment. The user experience with this is to install the recently released Docker Toolbox on either Windows or MacOS X, and then use a CLI to get a Linux container. Some more work is needed to expose a graphical interface, so it's not quite ideal for student use yet.</div><div class=""><br class=""></div><div class="">cheers,</div><div class="">Anil</div></body></html>