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

Peter Wang novalazy at gmail.com
Sun Jan 20 12:05:57 AEDT 2008

On 2008-01-20, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
> Hi.
> I have some changes to the compiler that are enabled by a new command
> line option.  How can I bootcheck the compiler with this option enabled?
> (I am already able to select the correct grade with -G).

Put the option into a file called Mmake.stage.params.  You still need to
select the grade with bootcheck -G.


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