The Coq mailing list

[Jonathan Leivent <jonikelee AT gmail.com>]

Is there a way to specify that some script files in a _CoqProject file 
should be put into the Makefile such that they are processed by coqtop 
instead of coqc?  For instance, I have some scripts that are only used 
to produce extracted OCaml - and so compiling them is a waste.  Unit 
test scripts are another example.

I keep having to re-arrange my Makefile to do this by hand after it is 
re-generated by coq_makefile.

-- Jonathan