coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Parser binary name

From: "Alan Dunn" <amdunn AT gmail.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Parser binary name
Date: Mon, 4 Aug 2008 12:46:37 -0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:mime-version:content-type :content-transfer-encoding:content-disposition; b=wueihemx9ZLXmOfBZV8t5BSrVkdiWcoaAcHgHfqhjaW6X6sftXNQkvuLxf49Hf39Bc McvUIH4KlRpnCWFkk2hJl58T1SsnY5iNWK7Cp9R7Y7ACRsPZiHA+UEHVuP9GB/sNznTF p2h0ooJcw1g+IJ+ovZ4S+enazVFdydy0kas2I=
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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.)

Thanks,
- Alan Dunn

[Coq-Club] Parser binary name, Alan Dunn
- Re: [Coq-Club] Parser binary name, Bruno Barras