Re: opam

[Anil Madhavapeddy <anil@xxxxxxxxxx>]

On 7 Jul 2012, at 12:02, Anil Madhavapeddy wrote:

> With the latest OPAM and repos, almost all the combinations are working now. 
> I'm using this little script to try it out quickly on x86 and ARM:
> 
> #!/bin/sh -e
> rm -rf ~/.opam
> opam init default http://mirage.github.com/opam
> opam remote -kind git -add dev git://github.com/mirage/opam-repo-dev
> opam --verbose install mirage-net
> opam --verbose install cow
> opam --verbose switch 3.12.1+mirage-unix-direct
> eval `opam config -env`
> opam --verbose install mirage-net
> opam --verbose install cow
> 
> So the UNIX direct/socket backends should be fine now. The Xen backend is 
> failing due to a minor compiler switch issue in OPAM; I've put a bug here:
> https://github.com/OCamlPro/opam/issues/35 

...and Thomas just fixed this (thanks!), so the Xen backend builds now too.

I've updated the openmirage.org to use the OPAM-based system now:
http://www.openmirage.org/wiki/install

I'll update all the wiki pages tomorrow asap before doing a blog post, so that 
instructions are all in one place.  Also been requested is a "what people are 
working on" page, so I'll put in a brief roadmap section with projects.  This 
is also for the benefit of students who are looking for projects and want to 
contact someone about them.

Thomas: could you tag a version of OPAM with all the latest fixes for Xen, so I 
can update the Homebrew tap?

-anil