From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: Packaging Coq
Date: Thu, 04 Dec 2014 19:35:23 +0100
Message-ID: <871tofuutw.fsf@gnu.org>
References: <87ppc0447w.fsf@karetnikov.org>
	<20141204100748.GA4371@debian.math.u-bordeaux1.fr>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:40995)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1XwbFV-0003lK-In
	for guix-devel@gnu.org; Thu, 04 Dec 2014 13:35:39 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1XwbFN-0000mg-UG
	for guix-devel@gnu.org; Thu, 04 Dec 2014 13:35:33 -0500
Received: from hera.aquilenet.fr ([2a01:474::1]:48343)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@gnu.org>)
	id 1XwbFN-0000m2-Ih
	for guix-devel@gnu.org; Thu, 04 Dec 2014 13:35:25 -0500
In-Reply-To: <20141204100748.GA4371@debian.math.u-bordeaux1.fr> (Andreas
	Enge's message of "Thu, 4 Dec 2014 11:07:48 +0100")
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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org
To: Andreas Enge <andreas@enge.fr>
Cc: guix-devel@gnu.org

Andreas Enge <andreas@enge.fr> skribis:

> On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote:
>>                            ;; 'configure' does not recognize the flags i=
f you
>>                            ;; use 'system*'.
>>                            (system (string-append "./configure"
>>                                                   " -prefix " out
>>                                                   " -camldir "
>>                                                   (dirname (which "ocaml=
")))))))
>
> This is very strange, how is it at all possible that system* does not wor=
k?

I=E2=80=99m guess that the problem instead was that the default =E2=80=98co=
nfigure=E2=80=99
phase passes arguments not recognized by this hand-written =E2=80=98configu=
re=E2=80=99
script.

However, please use =E2=80=98system*=E2=80=99 instead of =E2=80=98system=E2=
=80=99.

Thanks,
Ludo=E2=80=99.