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



been fiddling about with this for a while, and have now got to the stage where 
i can install opam, mirari, mirage-www, etc on nixos, and run the mirage 
website via mir-www.  

all done using nixops (used to be called charon -- the nix deployment system) 
and virtualbox on osx; i'll hopefully try pushing the image to ec2 at some 
point as that's supposed to be pretty straightforward too. i would expect that 
doing similar things on linux either with virtualbox or with a local install of 
nix should be straightforward though.

i don't yet have this as automated as i'd like: there are some path impurities 
in various opam packages (ocamlfind and lwt in particular) which mean several 
environment variables need setting appropriately. i haven't managed to encode 
that kind of thing in the nix derivations yet -- so the process is to install 
nixops, to create the VM image, and then to login and run opam by hand. i will 
also try to sort that out soon.

a Makefile encoding most of this, plus a README, is at 

i may not get back to this before monday now (exams to set, conext reviews to 
do, ashes test match to go to ;)



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.



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