[m-dev.] compiling Mercury with upstream boehm_gc

[Julien Fischer]

On Wed, 11 Feb 2009, Keri Harris wrote:

> Building Mercury from source involves compiling its own copy of boehm_gc. If
> there's already an upstream copy of boehm_gc installed on a system, would it
> make sense for a compile of Mercury to (optionally) use that instead?
>
> What I have in mind is something like:
>
> * extend configure.in to include a "--with-boehm-gc[=ARG]" option.
> * extend boehm_gc/Mmakefile to include a ENABLE_BUNDLED_BOEHM_GC check
> * and so on...
>
> Would this a worthwhile endeavour?

No, the version of the Boehm GC shipped with Mercury contains Mercury
specific changes.

Cheers,
Julien.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at csse.unimelb.edu.au
Administrative Queries: owner-mercury-developers at csse.unimelb.edu.au
Subscriptions:          mercury-developers-request at csse.unimelb.edu.au
--------------------------------------------------------------------------