Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Building an ml plugin for Coq 8.5pl2

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Building an ml plugin for Coq 8.5pl2


Chronological Thread 
  • From: e AT x80.org (Emilio Jesús Gallego Arias)
  • To: Kenneth Roe <kendroe AT hotmail.com>
  • Cc: Coq-Club <coq-club AT inria.fr>
  • Subject: Re: [Coq-Club] Building an ml plugin for Coq 8.5pl2
  • Date: Mon, 11 Sep 2017 01:50:47 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
  • Ironport-phdr: 9a23:P5TsXBewEEcqfPw/mOG3xUqClGMj4u6mDksu8pMizoh2WeGdxc2zYx7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpRZbIBj0NBJ0K+LpAcaSyp3vj6Hhs6HUNiZFgjywfbM6FhK75VHSu88am4xvAqY21h7Ao38OcONTkzBGP1WWyhvU9pfoupl5/GwQlvcg889HGYf3ZDYjBZNRCDArPGd9zdfqvAKCHljH3WcVTmhDykkAOAPC9hyvG86p6iY=
  • Organization: X80 Heavy Industries
e AT x80.org
(Emilio Jesús Gallego Arias) writes:

> Assuming you are using Coq 8.7 [which you should be], I suggest you add
> a file to _CoqProject:
>
> src/advanced_rewrite_plugin.mlpack

Oh, I missed the Coq version in the Subject. Then, you may want to use a
mllib file:

> src/advanced_rewrite_plugin.mllib

and list the modules your plugin will need.

E.

Archive powered by MHonArc 2.6.18.

Top of Page