[m-dev.] running a single test in custom workspace (with modified standard library)

[Ondrej Bojar]

Hi,

I'd like to prepare a diff with a few handy functions added to the 
standard library. I am also adding a testcase for them.

What is the quickest way to run a single specific test using the 
modified standard library? I'm simply confused by the many environment 
variables and I assume you must have a quick script/Makefile goal for this.

So far, I can only run bootcheck and wait ages for the final test 
result, but I assume it would just help to set MERCURY_CONFIG_DIR or 
something like that to something correct and run the generic mmc wrapper 
or to set WORKSPACE to something correct and run 'mmake' in my workspace 
tests.

Thanks, Ondrej.

-- 
Ondrej Bojar (mailto:obo at cuni.cz)
http://www.cuni.cz/~obo
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------