From mboxrd@z Thu Jan 1 00:00:00 1970 From: Eric Bavier Subject: Re: [PATCH] build coqide Date: Mon, 12 Dec 2016 20:19:17 -0600 Message-ID: <20161212201917.75b3baf9@centurylink.net> References: <20161212235735.3be04892@lepiller.eu> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54014) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cGcgi-0000Sm-CG for guix-devel@gnu.org; Mon, 12 Dec 2016 21:19:29 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cGcgc-00037m-RS for guix-devel@gnu.org; Mon, 12 Dec 2016 21:19:27 -0500 Received: from mail.centurylink.net ([205.219.233.9]:60107 helo=smtp.centurylink.net) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cGcgc-00037M-Km for guix-devel@gnu.org; Mon, 12 Dec 2016 21:19:22 -0500 In-Reply-To: <20161212235735.3be04892@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@gnu.org On Mon, 12 Dec 2016 23:57:35 +0100 Julien Lepiller wrote: > hi, > > here are a few ocaml-related patches. The first one adds a > native-search-path so ocaml-findlib can find the libraries it > installs. Next, lablgtk is updated and installed using the recommended > way, with findlib. Then this new lablgtk is used to build coqide. > + "-lablgtkdir" (string-append lablgtkdir > + "/lib/ocaml/site-lib/lablgtk2/") 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. `~Eric