coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Simple question about libraries

From: Edsko de Vries <edskodevries AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Simple question about libraries
Date: Mon, 21 Jun 2010 20:25:46 +0100
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=JqmgoILu5NRpNFROtSFN0ALvaKpk0tzDzhywXK5+f5iDNxAZIIHkle7Ly1KLk15DQo lBznT/ou3bXf8XyY7oaNCvMvyGxJlsYEb4eU7dOVvAJ70X54yV0qyUJFADN1Q5u14r8j EsLh4Et0943c1u4MLq0GHW3oM+j/a5ppH7Ml0=

Thanks guys -- that was frustrating me :) The command line help is a
bit misleading:

# coqc --help
...
-R dir -as coqdir recursively map physical dir to logical coqdir

whereas there is apparently no "-as" in the syntax. Should I report
that as a bug?

Edsko

[Coq-Club] Simple question about libraries, Edsko de Vries
- Re: [Coq-Club] Simple question about libraries, Adam Chlipala
- Re: [Coq-Club] Simple question about libraries, Roman Beslik
  - Re: [Coq-Club] Simple question about libraries, Edsko de Vries
    - Re: [Coq-Club] Simple question about libraries, Hugo Herbelin