[m-rev.] For review: set default install-name path back to INSTALL_MERC_LIB_DIR
Julien Fischer
juliensf at cs.mu.OZ.AU
Tue Nov 30 16:40:31 AEDT 2004
On Tue, 30 Nov 2004, Ian MacLarty wrote:
> For review by anyone.
>
> Estimated hours taken: 0.1
> Branches: main
>
> Set default value of --shlib-linker-install-name-path back to the value of
> INSTALL_MERC_LIB_DIR, so building of user shared libraries works as described
> in the user guide. This was set to FINAL_INSTALL_MERC_LIB_DIR previously so
> that Mercury distribution packages could be built correctly, but this is not a
The log message should probably mention that it was on fink that the
Mercury distibution packages couldn't be built.B
> problem anymore since --shlib-linker-install-name-path is now set
> manually in the Mmakefiles for the Mercury build.
>
> compiler/options.m
>
You should describe the changes made to this file.
> Index: compiler/options.m
> ===================================================================
> RCS file: /home/mercury1/repository/mercury/compiler/options.m,v
> retrieving revision 1.436
> diff -u -r1.436 options.m
> --- compiler/options.m 5 Nov 2004 05:39:04 -0000 1.436
> +++ compiler/options.m 30 Nov 2004 05:25:07 -0000
> @@ -1284,7 +1284,7 @@
> shlib_linker_use_install_name - bool(no),
> shlib_linker_install_name_flag - string("-install_name "),
> shlib_linker_install_name_path - string(
> - "$(FINAL_INSTALL_MERC_LIB_DIR)")
> + "$(INSTALL_MERC_LIB_DIR)")
> ]).
> option_defaults_2(build_system_option, [
> % Build System Options
That's fine otherwise.
Cheers,
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list