[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.
signature.asc
Description: Digital signature
Re: Packaging Coq,
John Darrington <=
Re: Packaging Coq, Nikita Karetnikov, 2014/12/04
Re: Packaging Coq, Mark H Weaver, 2014/12/05