Re: [MirageOS-devel] Getting Started

[Mindy Preston <mindy@xxxxxxxxxxxxxxxxxxx>]

Hi Lasya,

You may need to run:

eval `opam config env`

to be sure that the directory to which opam installed mirage is in your $PATH .

Cheers,
Mindy

On September 24, 2015 4:22:02 PM CDT, Lasya Venneti <comethalley61@xxxxxxxxx> wrote:

Dear Sir,

I removed opam & deleted my .opam folder, and re-installed it , this time version 1.2.2. This time all the opam commands worked without sudo and looks like the installation was right! The last two lines for opam install mirage say "installed mirage.2.6.1

Done."

opam config report  outputs:

# OPAM config report

# opam-version  Â1.2.2Â

# self-upgrade  Âno

# os       Âlinux

# external-solver aspcud $in $out $criteria

# criteria    Â-removed,-notuptodate,-changed

# jobs      Â4

# repositories  Â1* (http)

# pinned     Â0

# current-switch Â4.01.0

# last-update   2015-09-24 21:01

but mirage --help still doesn't seem to work. Returns ' The program 'mirage' is currently not installed. You can install it by typing:

sudo apt-get install mirage'

Sincerely,

Lasya VÂ

On 25 September 2015 at 01:55, Amir Chaudhry <amc79@xxxxxxxxx> wrote:

From the screen log you attached I see a lot of errors related to using OPAM 1.1.1. The current version of OPAM is 1.2.2, I believe.Â

How did you install OPAM?

You mention that it seems to be working so could you tell us what the output of the following is:

opam config report

Also, you shouldn't need to use sudo at any point with OPAM.Â

Best wishes,

Amir

--

Sent via mobile

On 24 Sep 2015, at 21:03, Lasya Venneti <comethalley61@xxxxxxxxx> wrote:

Dear Sir,Â

I have tried as per your suggestion but it still doesn't seem to be working. After this, Even though the installation process says "you need not be the root user" I sudo-ed most commands and it seemed to be working, installation seems to be successful from the prompts. (However, typing 'mirage --help' doesn't work yet, says install mirage thought apt-get ). Can I proceed? Or am I doing something wrong?

Sincerely,

Lasya V

On 24 September 2015 at 21:50, Richard Mortier <richard.mortier@xxxxxxxxxxxx> wrote:, inst

Hi;

On 24 September 2015 at 17:09, Lasya Venneti <comethalley61@xxxxxxxxx> wrote:
> Dear all,
>
> While following the installation instructions, the 'opam init' command has
> failed with the error :
> Sys_error("/home/lasya/.opam/repo/default/packages/alcotest/alcotest.0.4.1/opam:
> Too many open files")
> I have also attached the screen log to the mail. My laptop is mid 2014
> Lenovo-Y510p with Ubuntu 14.04 64 bit. Can somebody tell me how do I solve
> this and why is this happening? Am I doing something wrong?

Probably a `ulimit` setting, eg.,
http://askubuntu.com/questions/181215/too-many-open-files-how-to-find-the-culprit.

Try `ulimit -a` to see what current limits are, and then something
like `ulimit -n 5000` (or a number bigger than the current limit
anyway) to get around this.

ISTR this was an issue recently with alcotest specifically -- @samoht,
was there a proper fix intended for this at some point? (Or is it
really just a very low default ulimit setting on Ubuntu?)

--
Richard Mortier
richard.mortier@xxxxxxxxxxxx

_______________________________________________
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

-- 
Composed on a touchscreen keyboard; please forgive typos and brevity.
_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel