[m-rev.] for review: ssdebug grade changes
Julien Fischer
juliensf at csse.unimelb.edu.au
Sun May 16 00:47:16 AEST 2010
On Fri, 14 May 2010, Peter Wang wrote:
> Branches: main, 10.04
>
> Lift some assumptions that the only Java and Erlang grades are `java' and
> `erlang'.
>
> Finally use `--force-disable-ssdebug' instead of `--no-ssdb' to disable the
> source-to-source debugging tranformation where required. The latter is
> incorrect as it changes the grade, which disrupts the install path with `mmc
> --make'.
>
> library/Mmakefile:
> scripts/Mercury.config.in:
> scripts/Mmake.vars.in:
> Remove the variable `INSTALL_JAVA_LIBRARY_DIR' as it assumes only one
> Java grade is possible.
>
> Don't use default `--java-classpath' options to add Mercury standard
> libraries to the Java class path, for the same reason.
>
> compiler/module_cmds.m:
> Add a predicate to return the Mercury standard libraries needed for a
> Java program as they are no longer listed in Mercury.config.
>
> Add the Mercury standard libraries when creating the shell script to
> launch Java programs.
>
> compiler/compile_target_code.m:
> Add the Mercury standard libraries when calling the Java compiler.
>
> compiler/make.program_target.m:
> Don't hard code `java' and `erlang' grades when installing library
> grade files.
>
> browser/MDB_FLAGS.in:
> library/LIB_FLAGS.in:
> mdbcomp/MDBCOMP_FLAGS.in:
> ssdb/SSDB_FLAGS.in:
> Use `--force-disable-ssdebug' to disable the transform.
>
> compiler/module_imports.m:
> Don't implicitly import the `ssdb' module if `--force-disable-ssdebug'
> is enabled.
>
> compiler/handle_options.m:
> Reset the `source_to_source_debug' option on encountering a `--grade'
> option.
That looks fine.
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list