[m-dev.] compiling Mercury with upstream boehm_gc

Peter Wang novalazy at gmail.com
Wed Feb 11 17:57:55 AEDT 2009

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.

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

More information about the developers mailing list