From mboxrd@z Thu Jan 1 00:00:00 1970 From: Mark H Weaver Subject: Re: Packaging Coq Date: Fri, 05 Dec 2014 00:25:31 -0500 Message-ID: <87d27y652s.fsf@yeeloong.lan> References: <87ppc0447w.fsf@karetnikov.org> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:38822) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwlQH-0003EH-Jy for guix-devel@gnu.org; Fri, 05 Dec 2014 00:27:27 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XwlQB-00021a-I2 for guix-devel@gnu.org; Fri, 05 Dec 2014 00:27:21 -0500 Received: from world.peace.net ([50.252.239.5]:56724) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XwlQB-00021U-Ef for guix-devel@gnu.org; Fri, 05 Dec 2014 00:27:15 -0500 In-Reply-To: <87ppc0447w.fsf@karetnikov.org> (Nikita Karetnikov's message of "Thu, 04 Dec 2014 05:02:27 +0400") 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Nikita Karetnikov Cc: guix-devel@gnu.org Nikita Karetnikov writes: > Does anyone know how to proceed? It would help if you told us something about the problem you ran into, preferably with relevant excerpts of the failed build output. I'm also interested in Coq, and attempted to package it about 6 weeks ago. I started by trying to update to ocaml 4.02.x, but there were many test suite failures that looked non-trivial to debug. I stalled there. If I were to proceed without the ocaml update, I would start by packaging "camlp5", which is listed as a build dependency in the Coq build documentation (INSTALL in the top-level source directory). It looks like we don't yet have camlp5, and that you didn't attempt to package it. Maybe that's the problem? Regards, Mark