[m-rev.] diff: change c2init output option

Simon Taylor stayl at cs.mu.OZ.AU
Sun Nov 25 04:53:12 AEDT 2001


On 25-Nov-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> 
> Estimated hours taken: 0.1
> Branches: main
> 
> compiler/modules.m:
> 	Use `--init-c-file' rather than `-o' to name the
> 	C file created by c2init. `-o' is being removed
> 	from c2init's options as part of a change to make
> 	c2init take the same options as ml so that users
> 	need not be aware of c2init.


Estimated hours taken: 0.1
Branches: main

compiler/modules.m:
	Move the `--init-c-file' option before the C file
	arguments to c2init. The `--init-c-file' option
	is handled by the c2init script, not mkinit, so
	we can't rely on the GNU getopt behaviour of
	searching beyond the first non-option argument
	for more options.

Index: modules.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/modules.m,v
retrieving revision 1.207
retrieving revision 1.208
diff -u -u -r1.207 -r1.208
--- modules.m	24 Nov 2001 14:07:12 -0000	1.207
+++ modules.m	24 Nov 2001 17:52:15 -0000	1.208
@@ -3667,9 +3667,9 @@
 	io__write_strings(DepStream, [
 		InitCFileName, " : ", DepFileName, " ", DvFileName, " ",
 			All_C2InitArgsDepString, "\n",
-		"\t$(C2INIT) $(ALL_GRADEFLAGS) $(ALL_C2INITFLAGS) $(",
-			MakeVarName, ".init_cs) $(ALL_C2INITARGS) ",
-			"--init-c-file ", InitCFileName, "\n\n"
+		"\t$(C2INIT) $(ALL_GRADEFLAGS) $(ALL_C2INITFLAGS) ",
+			"--init-c-file ", InitCFileName,
+			" $(", MakeVarName, ".init_cs) $(ALL_C2INITARGS)\n\n"
 	]),
 
 	module_name_to_lib_file_name("lib", ModuleName, ".install_ints", no,
--------------------------------------------------------------------------
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