[m-dev.] compiling Mercury with upstream boehm_gc

[Peter Wang]

2009/2/11 Keri Harris <keri at gentoo.org>:
> 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?

We have a few (minor) customisations to Boehm GC.  Moreover we compile Boehm GC
with specific flags, e.g. to enable large heaps, thread-local allocation and
parallel marking, which might not have been enabled with the installed system
copy.  So it's probably not worthwhile.

Peter
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------