[m-dev.] Mercury for HAL

Simon Taylor stayl at cs.mu.OZ.AU
Fri May 23 16:08:27 AEST 2003

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.

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

More information about the developers mailing list