[m-dev.] trivial diff: make --high-level-C disable gcc extensions

[Fergus Henderson]

Estimated hours taken: 0.1

compiler/handle_options.m:
	Make the `--high-level-C' option disable the use of the gcc
	extensions that we currently use for our low-level code generation.

Workspace: /usr/hg2/fjh/mercury
Index: compiler/handle_options.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/handle_options.m,v
retrieving revision 1.78
diff -u -d -r1.78 handle_options.m
--- compiler/handle_options.m	1999/09/13 04:51:00	1.78
+++ compiler/handle_options.m	1999/09/20 23:22:53
@@ -250,6 +250,10 @@
 
 	globals__io_set_option(num_tag_bits, int(NumTagBits)),
 
+	option_implies(highlevel_c, gcc_non_local_gotos, bool(no)),
+	option_implies(highlevel_c, gcc_global_registers, bool(no)),
+	option_implies(highlevel_c, asm_labels, bool(no)),
+
 	option_implies(verbose_check_termination, check_termination,bool(yes)),
 	option_implies(check_termination, termination, bool(yes)),
 	option_implies(make_transitive_opt_interface, transitive_optimization,

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- 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
--------------------------------------------------------------------------