The Coq mailing list

[Maxime Dénès <mail AT maximedenes.fr>]

Hello,

Is there any way to customize the install target generated by coq_makefile?

If I use the -custom flag to add a target file, it seems to be added 
only as a build target, not for install.

I would be happy with a solution to the more specific problem of making 
coq_makefile install the .cmx files of a plugin it builds (only the 
.cmxs, .cmi and .cmo are copied by default apparently).

Thanks!

Maxime.