coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Build executables but not theories

From: "Edward Z. Yang" <ezyang AT mit.edu>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] Build executables but not theories
Date: Thu, 05 Apr 2012 23:26:50 -0400

Hello folks,

I'm doing some dev work on the Coq front-end, and it would be great
if I could tell Coq only to recompile those sources and not, for example,
all of the .v files.

Alternatively, is there a way of running coqtop without any base libraries?

Thanks,
Edward

[Coq-Club] Build executables but not theories, Edward Z. Yang
- Re: [Coq-Club] Build executables but not theories, Tom Prince
  - Re: [Coq-Club] Build executables but not theories, Edward Z. Yang