[m-rev.] for review: add --erlang-native-code and document erlang options

[Julien Fischer]

On Mon, 9 Jul 2007, Peter Wang wrote:

> compiler/options.m:
> doc/user_guide.texi:
> 	Add an option `--erlang-native-code'.
>
> 	Document Erlang-related options.
>
>
> compiler/compile_target_code.m:
> 	Pass +native to the Erlang compiler if --erlang-native-code is enabled.

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
--------------------------------------------------------------------------