[m-rev.] for review: install each grade from separate directory

[Julien Fischer]

On Mon, 25 Feb 2008, Zoltan Somogyi wrote:

> Currently we prepare all grades for installation inside one directory, tmp_dir,
> so that once we are finished installing one grade, we have to delete it
> to make room for the next. This diff prepares each grade in its own install
> directory, so that we can *leave* all the install directories to be included
> in a source distribution. (This diff does not do that last step.)
>
> Mmakefile:
> 	Make the above change.
>
> scripts/prepare_tmp_dir_fixed_part.in:
> scripts/prepare_tmp_dir_grade_part:
> 	Delete these scripts, since there is no longer a "fixed part" of files
> 	in the shared tmp dir that is used for all grades.
>
> scripts/prepare_install_dir.in:
> 	Replace them both with this script, which does both their jobs.
>
> configure.log:
> 	Do substitutions in prepare_tmp_dir, not prepare_tmp_dir_fixed_part.
>
> scripts/mercury_cleanup_install:
> 	This script has long been obsolete, so remove it.

That looks okay.

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