coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Gyesik Lee <gyesik.lee AT aist.go.jp>
- To: coq-club <coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] Re: Some unexpected warning
- Date: Wed, 4 Mar 2009 01:11:26 +0900
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:content-type :content-transfer-encoding; b=JD8d13VEQU9/A8U9wPeRBJeIuF8UuL3HJq7HALWOCa4Fyt/XiFtLlJDHqTh7yTvlYH ByP1/eJkqPnjth27z+SsKHy1fRPw5y+ed4BpQr5VkFOxDtoWeWS0MOerxqYCXH6m3SRQ 0fAQO5azC7hSz33tHfViCpHmQzv8J8JW2Iq30=
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
> coq_makefile *.v > Make
Ooops, I meant
coq_makefile *.v > Makefile
Sorry.
>
> then it prompts me directly with the following warning:
>
> Warning: install target will copy files at the first level of the coq
> contributions installation directory; option -R is recommended
>
> Is this expected change with the newest version of Coq, or was the
> installation something wrong?
> It seems though everything is working well.
>
> Gyesik
>
- [Coq-Club] Some unexpected warning, Gyesik Lee
- [Coq-Club] Re: Some unexpected warning, Gyesik Lee
- Re: [Coq-Club] Some unexpected warning, Hugo Herbelin
Archive powered by MhonArc 2.6.16.