[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: OPAM+Ubuntu test PPA


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:

Thanks for your help.



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

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.



$ 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 ###
### 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



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.