From mboxrd@z Thu Jan  1 00:00:00 1970
From: John Darrington <john@darrington.wattle.id.au>
Subject: Re: Packaging Coq
Date: Thu, 4 Dec 2014 11:34:56 +0100
Message-ID: <20141204103456.GA3042@jocasta.intra>
References: <87ppc0447w.fsf@karetnikov.org>
Mime-Version: 1.0
Content-Type: multipart/signed; micalg=pgp-sha1;
	protocol="application/pgp-signature"; boundary="CE+1k2dSO48ffgeK"
Return-path: <guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:35134)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <john@darrington.wattle.id.au>) id 1XwTke-0000bA-9G
	for guix-devel@gnu.org; Thu, 04 Dec 2014 05:35:16 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <john@darrington.wattle.id.au>) id 1XwTkZ-00064k-PM
	for guix-devel@gnu.org; Thu, 04 Dec 2014 05:35:12 -0500
Received: from de.cellform.com ([88.217.224.109]:46862 helo=jocasta.intra)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <john@darrington.wattle.id.au>) id 1XwTkZ-0005p0-Df
	for guix-devel@gnu.org; Thu, 04 Dec 2014 05:35:07 -0500
Content-Disposition: inline
In-Reply-To: <87ppc0447w.fsf@karetnikov.org>
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: Nikita Karetnikov <nikita@karetnikov.org>
Cc: guix-devel@gnu.org


--CE+1k2dSO48ffgeK
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

On Thu, Dec 04, 2014 at 05:02:27AM +0400, Nikita Karetnikov wrote:
                                (system (string-append "./configure"
                                                       " -prefix " out
                                                       " -camldir "
 --------------------------------------------------------^
Should these arguments not be a double -- ??


--=20
PGP Public key ID: 1024D/2DE827B3=20
fingerprint =3D 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.


--CE+1k2dSO48ffgeK
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAlSAONAACgkQimdxnC3oJ7MimwCfYITb/j2PLOpcnOBjUYic7Wmt
yowAni+S/Vv29IUZVM/X+LtBGeQ7zc7X
=xXM6
-----END PGP SIGNATURE-----

--CE+1k2dSO48ffgeK--