coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Some unexpected warning

From: Gyesik Lee <gyesik.lee AT aist.go.jp>
To: coq-club <coq-club AT pauillac.inria.fr>
Subject: [Coq-Club] Some unexpected warning
Date: Wed, 4 Mar 2009 00:57:45 +0900
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type:content-transfer-encoding; b=Z8/oU1TGXOzfmkGecnD7+dbw1h3LKZp6NQ5Oxs2Gvib6ugnF2uNfhzacZaK/bm9bNb Gt/+d/jhFgGXtIcZtIC1Qqzm2IgWS1zLF0JZqh2O0ja+9JiNQ5Emcw0+S7OQAeG3fVSe WPLKpaNxM2l9f1RRgAUFVMsum3D6VBi98UXkI=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

when I try to compile coq codes using first

coq_makefile *.v > Make

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