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

[MirageOS-devel] docs.mirage.io building again

  • To: mirageos-devel <mirageos-devel@xxxxxxxxxxxxxxxxxxxx>
  • From: Anil Madhavapeddy <anil@xxxxxxxxxx>
  • Date: Fri, 14 Oct 2016 11:29:10 +0100
  • Delivery-date: Fri, 14 Oct 2016 10:29:29 +0000
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=recoil.org; h=from :content-type:content-transfer-encoding:subject:message-id:date :to:mime-version; q=dns; s=selector1; b=CHO0XqNe/kxC5FGeiMre0Lj2 hC4aIvZKxm57ObZAOsrfaDZk/XbkSg274N7nN05nSEFZnytdtc+Lj4fBvok9IkVI UBGTc/uab7yLbAGS9ZWhDgRbHlOAosDZqa49+AXtaF8yF3YGn2c5pp7wEmWpXavR EG8NiEA6mqJJuJ1QRYs=
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

Good news everyone! The experimental documentation repository at 
http://docs.mirage.io now builds again, and has been refreshed to the latest 
set of libraries assembled from the MirageOS3 dev remote at 

As a reminder, this has become the unofficial "trove" since it attempts to 
build all the libraries in one OPAM install instruction:

and then uses odig to build the aggregate documentation set. This can also be 
done locally on your machine via the commands in the Dockerfile.

As this setup stabilises, I will merge the TROVE links currently held in 
mirage-www with this version (which uses OPAM package names rather than 
repositories, which is more useful I think).

Thanks to everyone who has been hard at work porting libraries to mirage-dev in 
the release effort so far, and in particular to Hannes Menhert, Mindy Preston, 
Martin Lucina, Dave Scott and Thomas Gazagnaire who have all been steadily 
submitting "master branch" ports to mirage-dev to keep it building and stable 
as we merge the API changes required for MirageOS3.

MirageOS-devel mailing list



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