From mboxrd@z Thu Jan  1 00:00:00 1970
From: David Craven <david@craven.ch>
Subject: Re: [PATCH 10/96] gnu: Add ocamlmod.
Date: Sun, 15 Jan 2017 15:27:21 +0100
Message-ID: <CAL1_imk197N4T+66AzMLGkUkFWBxvP0-Y_1h7UKe8ecFS8kEfA@mail.gmail.com>
References: <20170103191217.6431-1-julien@lepiller.eu>
	<20170103191217.6431-11-julien@lepiller.eu>
	<CAL1_imntgjSAumNKEHzGd+txRZDAR=fJ+ECkko1Y+u1P=GdJQA@mail.gmail.com>
	<e0ade02013531b4aaa221e7dea99b15b@lepiller.eu>
	<CAL1_immH1P3=HotaSn3jK6ouDARxSXm-pk+a3x=bjdXcjRb6vg@mail.gmail.com>
	<CAL1_imnAPnbfPi17_Kie417cFXnDnxLAwGV8jAwJga_as7chCQ@mail.gmail.com>
	<CAL1_im==n8x7GDB-J0RasHc6VWzCVyO0stY7c6icj5Q9gAZFvg@mail.gmail.com>
	<20170115141415.630135d3@lepiller.eu>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:45868)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <david@craven.ch>) id 1cSlmJ-0001KV-MY
	for guix-devel@gnu.org; Sun, 15 Jan 2017 09:27:28 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <david@craven.ch>) id 1cSlmE-0000kR-PC
	for guix-devel@gnu.org; Sun, 15 Jan 2017 09:27:27 -0500
Received: from mail-qt0-x242.google.com ([2607:f8b0:400d:c0d::242]:35079)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <david@craven.ch>) id 1cSlmE-0000jQ-K1
	for guix-devel@gnu.org; Sun, 15 Jan 2017 09:27:22 -0500
Received: by mail-qt0-x242.google.com with SMTP id f4so11615890qte.2
	for <guix-devel@gnu.org>; Sun, 15 Jan 2017 06:27:22 -0800 (PST)
In-Reply-To: <20170115141415.630135d3@lepiller.eu>
List-Id: "Development of GNU Guix and the GNU System distribution."
	<guix-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/guix-devel/>
List-Post: <mailto:guix-devel@gnu.org>
List-Help: <mailto:guix-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guix-devel>,
	<mailto:guix-devel-request@gnu.org?subject=subscribe>
Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
Sender: "Guix-devel" <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
To: Julien Lepiller <julien@lepiller.eu>
Cc: guix-devel <guix-devel@gnu.org>

You're the boss :)

Currently have to study for exams, then I'll be working on adding a
system test for efi which will involve a bunch of work - building
coreboot - add tianocore payload and making qemu flags more
configurable (the idea being that we can add system tests for uboot
using the coreboot uboot payload too). rustc needs adapting to the new
cargo based rustbuild system...