guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Packaging Coq


From: John Darrington
Subject: Re: Packaging Coq
Date: Thu, 4 Dec 2014 11:34:56 +0100
User-agent: Mutt/1.5.21 (2010-09-15)

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 -- ??


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

Attachment: signature.asc
Description: Digital signature


reply via email to

[Prev in Thread] Current Thread [Next in Thread]