Re: [MirageOS-devel] codio now has opam/ocaml (and hence mirage) support

[Amir Chaudhry <amc79@xxxxxxxxx>]

I had a quick play around with this a few days ago and it works surprisingly 
well.  I was trying out the guided tour of RWO on a good connection and it 
mostly held up (with a few minor freezes/hiccups).

Minor downside is that there needs to be a better way for external folks to 
help keep the opam install up to date.  e.g if we use this for any tutorials, 
then making sure that people don't need to do `opam update && opam upgrade` to 
have the latest set of packages would be a plus (it takes a while).  I also 
spoke to one of the codio guys and mentioned that travis integration would be 
very useful.  If that happens, then there's a complete web-based process for 
configuring and building unikernels.  Other than that, I'd want to use this in 
any tutorials we run. 

I recommend others take a look and put it through it's paces.

Amir

On 26 Mar 2014, at 19:53, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

> If you're on a Windows box or something and need to desperately hack on 
> Mirage, then I'd highly recommend checking out Codio.com:
> http://anil.recoil.org/2014/03/26/codio-now-has-opam-support.html
> 
> It's basically the slickest web frontend I've seen in ages, but also gives 
> you a timeslice in a Linux container that you can access over the web, and 
> supports OCaml and OPAM out of the box (without us asking them to do so, I 
> might add! :-)
> 
> -anil
> _______________________________________________
> 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