[m-dev.] [m-users.] Closed source Mercury projects on Windows

Julien Fischer jfischer at opturion.com
Sat Jun 9 17:22:44 AEST 2018



On Sat, 9 Jun 2018, Mark Brown wrote:

> On Sat, Jun 9, 2018 at 5:46 AM, Julien Fischer <jfischer at opturion.com> wrote:
>>
>> Hi Mark,
>>
>> On Sat, 9 Jun 2018, Mark Brown wrote:
>
> Diff for that last point is attached. I think I'll leave off trying to
> document the implications configuring with readline for now, since the
> change hasn't made any claims about how programs can be distributed
> anyway.

The diff looks fine.

> I wonder if we could add a configure option like
> `--enable-closed-source-distribution` which disables configuration of
> anything, like readline, that may impede distribution of closed-source
> binaries? That would also help ensure that no new libraries sneak into
> your project when you update Mercury.

--without-gpl-libs

Julien.


More information about the developers mailing list