[m-rev.] diff: upgrade to boehm gc 7.2

[Zoltan Somogyi]

On 18-Jul-2012, Peter Wang <novalazy at gmail.com> wrote:
> Does anyone else get this?
> 
> configure: creating ./config.status
> config.status: creating Makefile
> config.status: error: cannot find input file: `pkgconfig/atomic_ops.pc.in'

I don't get the error; configuration works for me.

Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------