coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] coq_makefile question

From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] coq_makefile question
Date: Tue, 15 Mar 2016 16:02:05 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=5764c029b688c1c0d24a2e97cd764f AT gmail.com; spf=Pass smtp.mailfrom=5764c029b688c1c0d24a2e97cd764f AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f51.google.com
Ironport-phdr: 9a23:EiFzIhKRYR3yeAg3TdmcpTZWNBhigK39O0sv0rFitYgUL/nxwZ3uMQTl6Ol3ixeRBMOAu6IC07Kd7vmocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC34Lvj6vvotX6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD86Fpy8kVWqLjOq88ULZwDTI8Mmlz6te4mwPESF6q72cRUC01lQFJAECRsU6kApyp6Hrw6Lot03CRZcGsEbluVGX95Ks0FkPmoCgCPj89tmrQj5oj3+pgvBu9qkknkMbva4aPOa8mcw==

Hi,

I am now going over "Make" files which come with coq-contribs.

Some of them contain "-custom" commands.
It does not seem to be documented, i.e.

coq_makefile -h

does not mention it.

Is this undocumented (?) on purpose or by mistake?

Also, I would like to ask how is "-custom" command different from "-extra"
(other than syntactically)

--

M

[Coq-Club] coq_makefile question, Matej Kosik, 03/15/2016
- Re: [Coq-Club] coq_makefile question, Pierre Boutillier, 03/15/2016