From mboxrd@z Thu Jan 1 00:00:00 1970 From: David Craven Subject: Re: [PATCH 00/96] ocaml-build-system and packages Date: Tue, 3 Jan 2017 20:46:38 +0100 Message-ID: References: <20170103191217.6431-1-julien@lepiller.eu> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:49699) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cOV2h-00022a-1l for guix-devel@gnu.org; Tue, 03 Jan 2017 14:46:43 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cOV2d-0007fZ-W0 for guix-devel@gnu.org; Tue, 03 Jan 2017 14:46:43 -0500 Received: from mail-qt0-x242.google.com ([2607:f8b0:400d:c0d::242]:34484) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1cOV2d-0007fQ-QX for guix-devel@gnu.org; Tue, 03 Jan 2017 14:46:39 -0500 Received: by mail-qt0-x242.google.com with SMTP id j29so471865qtc.1 for ; Tue, 03 Jan 2017 11:46:39 -0800 (PST) In-Reply-To: <20170103191217.6431-1-julien@lepiller.eu> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Julien Lepiller Cc: guix-devel > Hi, it's a bit late for christmas, so let's call this ocamlismas ;). > > Here are ~100 patches that: > > - Add an ocaml-build-system > - Change the ocaml compiler, camlp4 and findlib to work nicely with it > - A lot of packages (all dependencies of bap, and bap itself). > > I took one patch from debian to help the compiler produce reproducible binaries. > Without this patch some modules would embed temporary file names. A few packages > also had reproducibility issues, but that is fixed, except for one of them. Hi Julien, Wow! Looks good. I guess this makes my patches obsolete. Nitpick: The commit messages are missing trailing dots. Would you mind pushing to git somewhere so that I can fetch your branch? Thanks, David