From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH] build coqide Date: Wed, 21 Dec 2016 17:55:27 +0100 Message-ID: <87bmw5jk74.fsf@gnu.org> References: <20161212235735.3be04892@lepiller.eu> <20161212201917.75b3baf9@centurylink.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:56399) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cJkAv-0001rw-RI for guix-devel@gnu.org; Wed, 21 Dec 2016 11:55:34 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cJkAs-0003Pt-PD for guix-devel@gnu.org; Wed, 21 Dec 2016 11:55:33 -0500 In-Reply-To: (julien lepiller's message of "Tue, 13 Dec 2016 11:36:33 +0100") 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@gnu.org Hello! julien lepiller skribis: >> Is there additional benefit to the ocaml search dir OCAMLPATH? I would >> expect coq's build system to be able to find lablgtk from OCAMLPATH >> without needing to pass the configure flags. > oh ! how could I not see it... OCAMLPATH is already defined > differently by the ocaml package... I guess there was an update I > didn't see since I wrote these patches (or maybe I'm just blind). Here > is a a new version of the patches. I added ocaml-findlib to the > native-inputs of coq so its configure script can find lablgtk without > the option. and lablgtk doesn't need to be installed in site-lib > anymore. Is this correct, or should the library be installed in > site-lib, and this directory added to OCAMLPATH? > > By the way, is there someone working on an ocaml-build-system? Not yet, but you can help! :-) > From 2c7e43ffd0db19362756fe7fa848482c61b263d6 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller > Date: Tue, 13 Dec 2016 11:21:33 +0100 > Subject: [PATCH 1/3] gnu: lablgtk: Update to 2.18.5 > > * gnu/packages/ocaml.scm (lablgtk): Update to 2.18.5. [...] > From ecb9fb669c8c93c35b7efd0f19b550a942234ad6 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller > Date: Tue, 13 Dec 2016 11:21:51 +0100 > Subject: [PATCH 2/3] gnu: lablgtk: use ocamlfind in installation > > * gnu/packages/ocaml.scm (lablgtk): Use ocamlfind in installation. [...] > From 330fa542eebed022b4e99abe69e593b5a8f5c4f5 Mon Sep 17 00:00:00 2001 > From: Julien Lepiller > Date: Tue, 13 Dec 2016 11:22:06 +0100 > Subject: [PATCH 3/3] gnu: coq: Build coqide > > * gnu/packages/ocaml.scm (coq): Build coqide. Pushed all 3 patches, thanks! Ludo=E2=80=99.