[m-dev.] compiling Mercury with upstream boehm_gc

[Keri Harris]

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?


Thanks

Keri

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