[m-dev.] Mercury for HAL

[Ralph Becket]

Wearing my HAL hat, I've been asked to automate their
fetch-build-and-install process for third parties.

A pre-requisite is having a Mercury compiler patched to handle
any insts in the way needed by the HAL compiler.

I'd like to build a version of the Mercury source distribution
with this patch for the HAL project.  What's the mmake target or
script that does the job?  I've not been able to locate it as yet.

Cheers,
	Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------