[m-rev.] for review: don't remove grade files after installing

[Peter Wang]

Estimated hours taken: 0.5
Branches: main

compiler/make.program_target.m:
	Don't remove grade-dependent files after installing a library with
	`mmc --make' if `--use-grade-subdirs' is used.


Index: compiler/make.program_target.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/make.program_target.m,v
retrieving revision 1.61
diff -u -r1.61 make.program_target.m
--- compiler/make.program_target.m	1 Dec 2006 15:04:05 -0000	1.61
+++ compiler/make.program_target.m	4 Dec 2006 00:26:03 -0000
@@ -985,7 +985,18 @@
             grade_directory_component(Globals, GradeDir),
             install_library_grade_files(LinkSucceeded0, GradeDir,
                 ModuleName, AllModules, Succeeded, Info2, Info3, !IO),
-            make_grade_clean(ModuleName, AllModules, Info3, _, !IO)
+            %
+            % Only remove grade-dependent files after installing if
+            % --use-grade-subdirs is not specified by the user.
+            %
+            globals.lookup_bool_option(OrigGlobals,
+                use_grade_subdirs, UseGradeSubdirs),
+            (
+                UseGradeSubdirs = yes
+            ;
+                UseGradeSubdirs = no,
+                make_grade_clean(ModuleName, AllModules, Info3, _, !IO)
+            )
         ;
             LibSucceeded = no,
             Succeeded = no
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------