The Coq mailing list

[Nico <nlehmann AT dcc.uchile.cl>]

Here is a project that illustrate my problem
https://github.com/nilehmann/my_plugin

Thanks

On Fri, May 15, 2015 at 6:13 AM Enrico Tassi <enrico.tassi AT inria.fr> wrote:

On Thu, May 14, 2015 at 09:45:31PM +0000, Nico wrote:
> Following some source I found on the internet I tried the following
> structure

Hello, the structure is fine, as well as the input for coq_makefile.
Is your code somewhere on github? I think the problem may be the
contents of the .mllib file.

Best,
--
Enrico Tassi