The Coq mailing list

[Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>]

Hi Maxime,

Le mercredi 11 juin 2014 à 15:26 -0400, Maxime Dénès a écrit :
> Hello,
> 
> Is there any way to customize the install target generated by coq_makefile?
1. I was not happy with -custom "command" "dependencies" "result". So I
introduce -extra "result" "dependencies" "command" that is still ugly
but at least respects the order of makefiles rules.
2. I introduce -extra-phony "results" "deps" "command".

Differences between extra-phony and extra are that:
extra-phony are added PHONY !
extra-phony are not cleaned, extra are.
extra-phony are appended to the "all" rule dependencies. Catastrophe:
that forbids you to use them to create install rules. I'll fix trunk
coq_makefile in a minute !!!
therefore you'll be able to do the ugly but working
    -extra-phony "install" "install-my-cmx" ""
    -extra-phony "install-my-cmx" "$(CMXFILES)" "install $^ somewhere/"

> 
> 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).
That's different, the correct answer becomes now: Please tell me
why/when cmx files must be installed. Or: Please add directly yourself
the generation of the correct targets by coq_makefile.
> 
> Thanks!
> 
> Maxime.
All the best,
Pierre B.