[m-rev.] for review: .target_debug

[Julien Fischer]

On Sat, 9 Aug 2025 at 22:39, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> This implements what we recently agreed on. For review by anyone.
> One question: given that .c_debug was documented as being mainly
> for Mercury implementors, does this warrant a NEWS.md entry?

We could get away without one; I don't think we ever announced the
ll_debug / c_debug grades.


> Rename and generalize .c_debug to .target_debug.

...

> diff --git a/scripts/mgnuc_file_opts.sh-subr b/scripts/mgnuc_file_opts.sh-subr
> index f217af317..34c2d42c5 100644
> --- a/scripts/mgnuc_file_opts.sh-subr
> +++ b/scripts/mgnuc_file_opts.sh-subr
> @@ -10,9 +10,11 @@
>  # mgnuc_file_opts.sh-subr:
>  #
>  # An `sh' subroutine for processing the mgnuc options that can be set from
> -# .mgnuc_opts files. It is included twice in mgnuc. Its implementation is
> -# bound tightly to the code of mgnuc.in; all the variables it manipulates
> -# come from there.
> +# .mgnuc_opts files. It is included twice in mgnuc; once to process options
> +# from the command line, and once to process options fro .mgnuc_opts files.

s/fro/from/

The rest looks fine.

Julien.