[m-dev.] compiling Mercury with upstream boehm_gc

Keri Harris keri at gentoo.org
Wed Feb 11 17:38:43 AEDT 2009

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?



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