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

Re: [MirageOS-devel] Offline use of mirage?

On 14 Feb 2014, at 15:55, Amir Chaudhry <amc79@xxxxxxxxx> wrote:

> I (perhaps foolishly) thought I could play with mirage-skeleton on the train 
> today and made sure to update repos and packages.  Just now had a facepalm 
> moment when I saw 'Installing OPAM packages' in the terminal while trying out 
> the static_website stuff. 


> Is there an easy way I can keep a local copy of all the things I might need? 
> I get the feeling that opam-in-box (and a way to keep it up-to-date)  is what 
> I'm after.

i think there's an issue on github to which one of the responses is to have 
some way to pull a bunch of packages locally. (i hit this problem on the way to 

> I'm just trying to figure out if I missed an obvious solution so if this 
> isn't possible yet, that's fine. 

fwiw i've also just about got the vagrant runes organised to use virtualbox to 
build a debian wheezy box, install xen, opam, and mirage. which at least makes 
some of the dev setup more repeatable.

(though if anyone can tell me what to do to get current vbox guest additions 
installed on xen on wheezy, i'd be grateful. just getting build failures 



This message and any attachment are intended solely for the addressee and may 
contain confidential information. If you have received this message in error, 
please send it back to me, and immediately delete it.   Please do not use, copy 
or disclose the information contained in this message or in any attachment.  
Any views or opinions expressed by the author of this email do not necessarily 
reflect the views of the University of Nottingham.

This message has been checked for viruses but the contents of an attachment
may still contain software viruses which could damage your computer system, you 
are advised to perform your own checks. Email communications with the 
University of Nottingham may be monitored as permitted by UK legislation.

MirageOS-devel mailing list



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