The Coq mailing list

[Ali Assaf <ali.assaf AT inria.fr>]

I see. I will try to use the -custom option of coq_makefile to this effect. 
Thanks.

----- Original Message -----
> From: "Guillaume Melquiond" 
> <guillaume.melquiond AT inria.fr>
> To: 
> coq-club AT inria.fr
> Sent: Wednesday, April 1, 2015 4:50:09 PM
> Subject: Re: [Coq-Club] Coq plugins depending on external libraries
> 
> On 01/04/2015 16:43, Ali Assaf wrote:
> 
> > As you can guess, this is very cumbersome. Has anyone faced this problem
> > before? Is there any way to solve it in a portable way (by not
> > hardcoding the paths in MyPlugin.v)? I tried looking for a way to
> > package the libraries with the plugin but so far I have not been
> > successful.
> 
> That is an issue we also have for the Why3 plugin for Coq. We solve it
> by packaging the libraries with the plugin. When producing the .cmxs
> file for the plugin, we are passing all the .cmxa files of the libraries
> we are interested in on the command line.
> 
> Best regards,
> 
> Guillaume
>