[m-dev.] Mercury for HAL

[Simon Taylor]

On 23-May-2003, Ralph Becket <rafe at cs.mu.OZ.AU> wrote:
> 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.

mmake tar.

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