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

Re: [MirageOS-devel] Mirage OS and Qubes OS integration


  • To: Hannes Mehnert <hannes@xxxxxxxxxxx>
  • From: Anil Madhavapeddy <anil@xxxxxxxxxx>
  • Date: Sun, 15 May 2016 13:42:26 +0100
  • Cc: mirageos-devel@xxxxxxxxxxxxxxxxxxxx
  • Delivery-date: Sun, 15 May 2016 12:42:41 +0000
  • Domainkey-signature: a=rsa-sha1; c=nofws; d=recoil.org; h=content-type :mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; q=dns; s= selector1; b=eAeOQiUhKNoZL82qrEPGRzLGcrJeqMcHfin5LeLrlcWWKz6zoBn mve1GWS4Nkw/xrrNQuY/LnkCJWBlgwDczxRtwsdBG8vRK8XCLI2BixTv0oGPDB/n 5GrdNAE+8YPT8KSUTxogwy2m5zJVD9vmOoTj23LEm7EYLNBDxBUd094U=
  • List-id: Developer list for MirageOS <mirageos-devel.lists.xenproject.org>

On 15 May 2016, at 12:12, Hannes Mehnert <hannes@xxxxxxxxxxx> wrote:
> 
> On 15/05/2016 13:04, Thomas Leonard wrote:
>> Removing "ppx_sexp_conv" from vchan's META file seems to solve the problem.
> 
> that should be a build-time dependency only.

Only lightly tested, but this should turn ppx into a runtime dependency;
https://github.com/mirage/ocaml-vchan/pull/81

-a


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel

 


Rackspace

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