Re: OPAM+Ubuntu test PPA

[Phiho Hoang <hohoangphi@xxxxxxxxx>]

Greetings,

Does any one have any idea what is missing in my environment?

I got OCaml-4.00 and OPAM-1.0 "stable" from repo at:

https://launchpad.net/~avsm/+archive/ppa

Thanks for your help.

Regards,

PhiHo

On Sun, Jul 14, 2013 at 6:21 PM, Phiho Hoang <hohoangphi@xxxxxxxxx> wrote:

Hi,

Thank you for the information.

I got an error while doing:

$ opam install mirari

This following also failed:

$ sudo apt-get install  ocamlopt

Please find appended the console output.

Regards,

PhiHo

$ opam install mirari

...

...

==== ERROR [while installing obuild.0.0.2] ====

# opam-version    1.0.0

# os              linux

# command         ./bootstrap

# path            /home/phiho/.opam/system/build/obuild.0.0.2

# exit-code       127

# env-file        /home/phiho/.opam/system/build/obuild.0.0.2/obuild-ffb3fd.env

# stdout-file     /home/phiho/.opam/system/build/obuild.0.0.2/obuild-ffb3fd.out

# stderr-file     /home/phiho/.opam/system/build/obuild.0.0.2/obuild-ffb3fd.err

### stdout ###

COMPILING fugue

### stderr ###

./bootstrap: line 23: ocamlopt.opt: command not found

'opam install mirari' failed.

$ sudo apt-get install  ocamlopt

Reading package lists... Done

Building dependency tree

Reading state information... Done

E: Unable to locate package ocamlopt

$ opam install ocamlopt

ocamlopt is not a valid versioned package name

'opam install ocamlopt' failed.

On Sun, Jul 14, 2013 at 5:07 PM, PALI Gabor Janos <pgj@xxxxxxx> wrote:

On Sun, Jul 14, 2013 at 04:57:16PM -0400, Phiho Hoang wrote:
> How can I start to learn about 'mirage' using a Ubuntu VM, what do I need
> to install?

That should be simply just:

$ opam init
$ opam remote add mirage-dev git://github.com/mirage/opam-repo-dev
$ eval `opam config -env`
$ opam install mirari
$ git clone git://github.com/mirage/mirage-www
$ cd mirage-www
$ make
$ make run

> It is much appreciated if someone can share a link.

This information is from the web site: http://openmirage.org/wiki/install