[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