[m-dev.] bootchecking with extra mmc command line option.

Paul Bone pbone at csse.unimelb.edu.au
Mon Jan 21 09:26:19 AEDT 2008

On Mon, Jan 21, 2008 at 08:13:34AM +1100, Zoltan Somogyi wrote:
> On 20-Jan-2008, Mark Brown <mark at csse.unimelb.edu.au> wrote:
> > > After this I'd like to use lmc and lml to compile with my new
> > > bootchecked complier with some test programs.
> > 
> > Note that `-G' only sets the grade in stage 2 and 3.  lmc and lml work
> > with the stage 1 compiler, so you may need to set the options in Mmake.params
> > as well.  (I don't know if lmc etc work with the stage 2 compiler -- I haven't
> > tried.)
> They work. Set up an executable script like this:
> 	#!/bin/sh
> 	WORKSPACE=$HOME/mer/ws1/stage2
> 	export WORKSPACE
> 	exec $WORKSPACE/tools/lmc "$@"

Thanks Peter, Mark & Zoltan.

This has been helpful.  I'll let you know how it goes and hopefully find
time to document these hints.


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

More information about the developers mailing list