Skip to Content.
Sympa Menu

coq-club - [Coq-Club] 8.5 path inclusion options - does there exist something weaker than -Q?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] 8.5 path inclusion options - does there exist something weaker than -Q?


Chronological Thread 
  • From: Jason Gross <jasongross9 AT gmail.com>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: [Coq-Club] 8.5 path inclusion options - does there exist something weaker than -Q?
  • Date: Thu, 19 Feb 2015 14:54:25 -0500

Hi,
Is there something like -Q . "", except not recursive in paths?  That is, I don't want any .v files in subdirectories bound to names.

Thanks,
Jason


  • [Coq-Club] 8.5 path inclusion options - does there exist something weaker than -Q?, Jason Gross, 02/19/2015

Archive powered by MHonArc 2.6.18.

Top of Page