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

Zoltan Somogyi zs at csse.unimelb.edu.au
Mon Jan 21 08:13:34 AEDT 2008


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 "$@"

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