Re: [MirageOS-devel] Struggling a bit with the Hello World applications

[Andrà NÃss <andre.naess@xxxxxxxxx>]

I just made two new attempts. I first tried on Ubuntu 14.04 and then on 12.04. Both failed, but for different reasons.Â

I have to admit that I'm getting a bit frustrated now. It seems that changes are pulled down immediately making the environment very unstable. Is there some kind of mechanism for ensuring that I get a stable repeatable environment where I control when I want to try to upgrade the various packages (provided I can get it to work)?

Below is what happened:

On 14.04 I got this while running opam init:

ERROR] The compilation of base-bigarray.base failed.

[ERROR] The compilation of base-threads.base failed.

[ERROR] The compilation of base-unix.base failed.

===== ERROR while installing base-bigarray.base =====

Internal error:

 Sys_error("rm -rf /home/vagrant/.opam/system/lib/base-bigarray: Cannot allocate memory")

===== ERROR while installing base-threads.base =====

Internal error:

 Sys_error("rm -rf /home/vagrant/.opam/system/lib/base-threads: Cannot allocate memory")

===== ERROR while installing base-unix.base =====

Internal error:

 Sys_error("rm -rf /home/vagrant/.opam/system/lib/base-unix: Cannot allocate memory")

I then went back to the 12.04 install. This time I got everything up and running and tried to compile the console example. It took a very long time, but it built. Unfortunately it also uninstalled mirage. Here's the log:

vagrant@precise64:/vagrant/mirage-skeleton/console$ cat logÂ

Falling back to the internal heuristic.

The following actions will be performed:

Â- remove mirage.1.1.2

Â- remove base-bigarray.base

Â- remove cmdliner.0.9.4 [required by mirage]

Â- remove ipaddr.2.4.0 [required by mirage]

Â- remove re.1.2.1 [required by mirage]

Â- downgrade mirage-types.1.1.2 to 0.3.0 [required by mirage-console-unix]

Â- downgrade ocplib-endian.0.4 to 0.3 [required by mirage-console-unix]

Â- install mirage-clock-unix.1.0.0 [required by mirage-console-unix]

Â- recompile cstruct.1.1.0 [use ocplib-endian]

Â- downgrade io-page.1.1.1 to 1.1.0 [required by mirage-console-unix]

Â- install shared-memory-ring.1.0.0 [required by mirage-console-unix]

Â- install mirage-unix.1.1.0 [required by mirage-console-unix]

Â- install mirage-console-unix.0.9.9

4 to install | 1 to reinstall | 0 to upgrade | 3 to downgrade | 5 to remove

=-=-= Removing Packages =-=-=

Removing mirage.1.1.2.

 rm -f /home/vagrant/.opam/system/bin/mirage

 ocamlfind remove mirage

Removing base-bigarray.base.

Removing cmdliner.0.9.4.

Removing ipaddr.2.4.0.

 ocamlfind remove ipaddr

Removing re.1.2.1.

 ocamlfind remove re

Removing io-page.1.1.1.

 ocamlfind remove io-page

Removing mirage-types.1.1.2.

Removing cstruct.1.1.0.

 ocamlfind remove cstruct

Removing ocplib-endian.0.4.

 ocamlfind remove ocplib-endian

=-=-= Installing mirage-types.0.3.0 =-=-=

default  ÂDownloading https://opam.ocaml.org/archives/mirage-types.0.3.0+opam.tar.gz

Downloading https://opam.ocaml.org/archives/mirage-types.0.3.0+opam.tar.gz

Building mirage-types.0.3.0:

 make all

 make install

Installing mirage-types.0.3.0.

=-=-= Installing ocplib-endian.0.3 =-=-=

default  ÂDownloading https://opam.ocaml.org/archives/ocplib-endian.0.3+opam.tar.gz

Downloading https://opam.ocaml.org/archives/ocplib-endian.0.3+opam.tar.gz

Building ocplib-endian.0.3:

 ocaml setup.ml -configure --disable-debug --prefix /home/vagrant/.opam/system

 ocaml setup.ml -build

 ocaml setup.ml -install

Installing ocplib-endian.0.3.

=-=-= Installing cstruct.1.1.0 =-=-=

Building cstruct.1.1.0:

 make

 make install

Installing cstruct.1.1.0.

=-=-= Installing mirage-clock-unix.1.0.0 =-=-=

default  ÂDownloading https://opam.ocaml.org/archives/mirage-clock-unix.1.0.0+opam.tar.gz

Downloading https://opam.ocaml.org/archives/mirage-clock-unix.1.0.0+opam.tar.gz

Building mirage-clock-unix.1.0.0:

 make unix-build

 make unix-install

Installing mirage-clock-unix.1.0.0.

=-=-= Installing io-page.1.1.0 =-=-=

default  ÂDownloading https://opam.ocaml.org/archives/io-page.1.1.0+opam.tar.gz

Downloading https://opam.ocaml.org/archives/io-page.1.1.0+opam.tar.gz

Building io-page.1.1.0:

 make

 make install

Installing io-page.1.1.0.

=-=-= Installing shared-memory-ring.1.0.0 =-=-=

default  ÂDownloading https://opam.ocaml.org/archives/shared-memory-ring.1.0.0+opam.tar.gz

Downloading https://opam.ocaml.org/archives/shared-memory-ring.1.0.0+opam.tar.gz

Building shared-memory-ring.1.0.0:

 make all

 make install

Installing shared-memory-ring.1.0.0.

=-=-= Installing mirage-unix.1.1.0 =-=-=

default  ÂDownloading https://opam.ocaml.org/archives/mirage-unix.1.1.0+opam.tar.gz

Downloading https://opam.ocaml.org/archives/mirage-unix.1.1.0+opam.tar.gz

Building mirage-unix.1.1.0:

 make unix-build

 make unix-install PREFIX=/home/vagrant/.opam/system

Installing mirage-unix.1.1.0.

=-=-= Installing mirage-console-unix.0.9.9 =-=-=

default  ÂDownloading https://opam.ocaml.org/archives/mirage-console-unix.0.9.9+opam.tar.gz

Downloading https://opam.ocaml.org/archives/mirage-console-unix.0.9.9+opam.tar.gz

Building mirage-console-unix.0.9.9:

 make unix-build

 make unix-install

Installing mirage-console-unix.0.9.9.

On Mon, May 5, 2014 at 2:14 PM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

This was my fault, as I introduced an existential crisis into the Lwt package by making it optionally depend on itself. ÂThe resulting total perspective vortex caused the solver to decide to take no action and terminate the universe.

Thomas has merged a fix, and I'll make the CI output a bit more paranoid to these exit codes (they pass the CI atm).

-anil

On 5 May 2014, at 11:52, Ian Wilkinson <ianw1@xxxxxx> wrote:

Hi Andre,

I had a similar experience and also went the Vagrant way.

I have something working with Test Kitchen and Vagrant, and

Fabric and boto for launching on AWS EC2. You can find it here...

https://github.com/iw/mirage-jekyll

ian

On 5 May 2014, at 11:11, Andrà NÃss <andre.naess@xxxxxxxxx> wrote:

Thanks for your quick response. I indeed have aspcud installed.

After fiddling around and making a mess and not getting anything to work I decided to start from scratch. Since I use vagrant that's easy. So I went through the installation instructions step by step:

1. Installed all the build essentials. Ran into an error here. Ran

 Âapt-get update and the problem resolved itself.

2. The add-apt-repository is not in the standard Ubuntu, but when

 Âtrying to invoke it you are told to install

 Âpython-software-properties, so:

3. apt-get install python-software-propertiesÂ

 Âadd-apt-repository ppa:avsm/ppa

 Âsudo apt-get update

 Âapt-get install ocaml opam

   Â(At this step I noticed that aspcud was installed)

4. opam --version reports 1.1.1

5. opam init, answering yes to modify config files

6. eval `opam config env`

7. opam install mirage

The following actions will be performed:

Â- install ocamlfind.1.4.0 [required by mirage]

Â- install cmdliner.0.9.4 [required by mirage]

Â- install ipaddr.2.4.0 [required by mirage]

Â- install optcomp.1.5 [required by mirage]

Â- install ounit.2.0.0 [required by mirage]

Â- install re.1.2.1 [required by mirage]

Â- install ocplib-endian.0.4 [required by mirage]

Â- install cstruct.1.1.0 [required by mirage]

Â- install io-page.1.1.1 [required by mirage]

Â- install mirage-types.1.1.2 [required by mirage]

Â- install mirage.1.1.2

Â- install lwt.2.4.5 [required by mirage]

12 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 0 to remove

Do you want to continue ? [Y/n]Â

[ERROR] Aborting, as the following packages have a cyclic dependency:

Â(No packages are listed, so this looks like a bug to me)

Oddly enough this worked fine yesterday, so I have no idea what has changed.

I have a Mac, but I figured I might get better results using a linux VM especially due to the tuntap and Xen requirements, and the fact that homebrew failed with a clink error when trying to install ocaml.

Perhaps a different Linux would be preferable? Since I'm just using it as a compilation station I don't really care what distro it is. What is the mirage team using, Debian?

On Mon, May 5, 2014 at 10:12 AM, Anil Madhavapeddy <anil@xxxxxxxxxx> wrote:

On 5 May 2014, at 08:42, Andrà NÃss <andre.naess@xxxxxxxxx> wrote:

I'm going through the Hello World examples on the MirageOS website and on the stackv4 example I'm having some problems. It seems that when I run "mirage configure --unix" the mirage command itself is uninstalled. After being very confused for a while, I accidentally hit CTRL-C while mirage was running because the mirage configure call was taking a long time. Doing so revealed a whole bunch of opam commands running in the background and upon inspection I realised they were downgrading most of the packages. Mirage itself is downgraded to 0.5.

Can you try to install the aspcud external solver via "apt-get install aspcud". ÂIt should be available in both versions of Ubuntu you tried. ÂI promoted aspcud to a recommended dependency in the Debian package, but will file an Ubuntu bug to do the same as well. ÂI have an odd feeling that you already have aspcud though, since the error below reports an inconsistent result.

Some points I've noted as feedback from a total newbie:

- There is no verbose switch on the mirage command. When it hangs for a long while I get curious.

Yep, I've got a trivial local patch to fix this out that I'll push. Â You can also just set the OPAMVERBOSE environment variable as a workaround.

- opam reports mirage at version 1.1.2, but mirage --version outputs 1.1.0.

Fixed locally too (really need to automate that in the build system).

- opam apparently isn't transactional, despite the mirage command failing I'm left with an utterly broken system?

OPAM does do error recovery by going back to the original patchset, but possibly not if the external solver failure is messing up its notion of the universe. ÂIn normal use it will perform error recovery with the original set of packages being reinstalled.

- It doesn't seem like opam caches anything, I spend a lot of time waiting for downloads. Any simple way to speed this up?

Much of this has been improved in OPAM 1.2dev, which will be released soon-ish. e.g.:

https://github.com/ocaml/opam/issues/1154

https://github.com/ocaml/opam/issues/1156

I get a lot of these "external solver failed with inconsistentt result". Here's an example from running "opam install mirage" after it has been uninstalled by the stackv4 example:

$ opam install mirage

[WARNING] External solver failed with inconsistent return value. Request saved to "/home/vagrant/.opam/log/solver-error-29875-1.cudf"

Falling back to the internal heuristic.

The following actions will be performed:

Â- remove tuntap.0.7.0

Â- remove ocplib-endian.0.3

Â- remove uri.1.6.0

Â- remove fieldslib.109.20.03

Â- remove ipaddr.2.2.0

Â- remove optcomp.1.5

Â- remove re.1.2.1

Â- remove sexplib.110.01.00

Â- remove stringext.0.0.1

Â- remove type_conv.109.53.02

Â- install cstruct.0.4.0 [required by mirage]

Â- install lwt.2.4.3 [required by mirage]

Â- install xenstore.1.0.0 [required by mirage]

Â- install mirage.0.5.0

4 to install | 0 to reinstall | 0 to upgrade | 0 to downgrade | 10 to remove

Do you want to continue ? [Y/n]Â

Now, mirage 0.5 clearly isn't what I want, so I typically end up deleting the .opam folder and restarting from scratch. This is tedious to say the least.

I've tried this on Ubuntu 12.04 and 14.04 (both 64 bit).

Thanks for the useful feedback!

-a

_______________________________________________
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

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel