[m-dev.] for review: new configure options

[Fergus Henderson]

On 19-Jan-2001, Zoltan Somogyi <zs at cs.mu.OZ.AU> wrote:
> On 18-Jan-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > Estimated hours taken: 1
> > 
> > configure.in:
> > 	Add new option `--with-cc=<program>'.
> > 	Add new option `--disable-aditi-back-end'.
> > 	Delete the long-obsolete AC_C_CROSS macro.
> > 
> > Mmake.common.in:
> > 	Get the setting of INCLUDE_ADITI_OUTPUT from the value of the
> > 	configure --enable/disable-aditi-back-end option.
> > 	Add some comments.
        ^^^^^^^^^^^^^^^^^^
> 
> This looks good, except that ...
> 
> >  # This requires that you have the source code for gcc in the
> > -# directory ../gcc.
> > +# directory specified by GCC_SRC_DIR (below).
> > +# This can be set using the `--enable-gcc-back-end' or `--disable-gcc-back-end'
> > +# options to configure; by default, configure will try to autoconfigure
> > +# it based on whether the gcc source is present.
> >  ENABLE_GCC_BACK_END = @ENABLE_GCC_BACK_END@
> >  
> >  # Specify the directory containing the GCC sources.
> > -# This should contain subdirectories `gcc', `libiberty', etc.,
> > +# This must be a relative path, not an absolute path.
> > +# The directory named should contain subdirectories `gcc', `libiberty', etc.,
> >  # and the `gcc' subdirectory should contain files `gcc.c',
> >  # `tree.c', `tree.h', etc.
> >  GCC_SRC_DIR = @GCC_SRC_DIR@
> 
> ... these changes are not documented in the log message.

Sure they are: "Add some comments."
(I suppose the log message could be more detailed...  but personally I
think that's about the right level of detail for this kind of change.)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------