The Coq mailing list

[Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>]

Hello,

There is currently no such tool. But  a simple way to proceed is to do
the extraction in a dedicated subdirectory.

Hope this helps,
--
Jean-Christophe


Sébastien Hinderer writes:
 > Dear all,
 > 
 > Does the Coq distribution provide a clean way to obtain, given the name of
 > a .v file, all the .ml files that are produced by calls to Extraction
 > tactic from within this file ?
 > 
 > It would be convenient to have such a tool, for instance during a `make
 > clean`, since we want to remove all .ml files produced by Extraction.
 > 
 > Of course, if such a tool does not exist, it should be easy enough to get
 > the names of the .ml files with Unix tools, but I'd like to be sure I have
 > to write a script, before really doing it.
 > 
 > Anyway, if the tool does not exist, it would probably be good to write it
 > and to integrate it to the Coq distribution, since the syntax of Extracsioo
 > will maybe change...
 > 
 > Thanks,
 > Sébastien.
 > --------------------------------------------------------
 > Bug reports: http://coq.inria.fr/bin/coq-bugs
 > Archives: http://pauillac.inria.fr/pipermail/coq-club
 >           http://pauillac.inria.fr/bin/wilma/coq-club
 > Info: http://pauillac.inria.fr/mailman/listinfo/coq-club