[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [MirageOS-devel] Struggling a bit with the Hello World applications
On Mon, May 5, 2014 at 7:26 PM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:
Ok, I'm slightly embarrassed now. I bumped the memory on the VM to 1024. The Vagrant default is pretty low. It works fine now. Â
I think I figured this out. On 12.04 the mirage installation instruction tell you to install opam because it's not in the ubuntu repo. So you are guided to the quick installation at http://opam.ocaml.org/doc/Quick_Install.html. This tells you to add a repo and run ppa:avsm/ppa. This is where it goes wrong. I skipped this step and installed one of the opam binaries instead, and now it works. At first I thought the problem was aspcud because by following the instructions it's installed but by just using the opam binary it is not. To test I just installed aspcud Âand the mirage configure step still works fine. So maybe it's something about the ocaml that gets pulled in from that repo?
So I got one step further, the console example now works on Ubuntu 14.04. The stackv4 example fails during "mirage configure --unix" due to a missing libssl. That's easy to fix I guess, but the weird thing (to me) is that after failing the mirage command is gone again. It does say that it is to be recompiled, so I guess it was removed and then never recompiled since ssl 0.4.7 failed.
This time I copied the "opam switch ..." command needed to restore the previous state according to the log, and it worked. Is that generally the workflow? It does strike me as a little odd that I as the user have to go in and manually repair the system like that? Or would you just run "opam install mirage" in this case?
Anyway, after doing apt-get install libssl-dev the stackv4 example now works. Looks like I'm finally off to the races :) _______________________________________________ MirageOS-devel mailing list MirageOS-devel@xxxxxxxxxxxxxxxxxxxx http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |