The Coq mailing list

[Bruno Barras <bruno.barras AT inria.fr>]

Alan Dunn wrote:
> As I mentioned a while back, I've packaged coq for use in the Fedora
> repositories (package coq-8.1pl3 is available for Fedora 8, 9).
> However, there's now a file conflict with another package due to the
> name of the binary "parser". Does anyone know what kinds of changes
> would have to be made to the source to properly patch all files to
> look for a differently named executable? (Is the name of the binary
> referenced somewhere that I might not know about?) Is there any chance
> of that name being changed for a future version? (Consider this a
> request if anyone is willing.)

Hello,
The name should probably be changed. (make world used to build a binary
called interface, now its name is coq-interface.)
Anyway, from the sources of Coq, one usually builds 3 packages: coq
(standard library and command line tools), coqide (the gtk-based
interface) and coq-ext-for-pcoq (tools to cooperate with pcoq
http://www-sop.inria.fr/lemme/pcoq/ ;). interface and parser usually
belong to the latter.
So, I suggest that either you do not include parser and coq-interface
(see targets coq coqide pcoq install-coq install-coqide install-pcoq of
the makefile), or you can simply rename parser into coq-parser when
building the package (and similarly for parser.opt).

Regards,
Bruno Barras.