[m-dev.] Installation + re-installation

[Fergus Henderson]

On 08-Sep-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> > > Second, and I know I've asked this one before and I've forgotten the
> > > answer *again*, what's the fastest, most painless way to test a
> > > change made to, say, list.m?
> > 
> > Just copy the modified version of list.m into the same directory as
> > the test program, and then do `mmc test.m list.m && ./test' or
> > `mmake test.depend && mmake test && ./test'.
> 
> Once I'm happy with the changes and move list.m (or whatever) back into
> the library/ directory of my build tree, I want to recompile the library
> and have it installed.

Go to the main directory (not the `library' subdirectory),
and type

	sh configure	(if you haven't done that already; you may
			also need to type `autoconf' first)

and then

	mmake depend		(you probably only need this if
				you've added a new module)

and then

	mmake install_library

That will install the standard library (not the other components
such as the runtime, browser, etc.) and only in the default grade.
If you want to install all the library compontents in all grades, use

	mmake install_grades

instead.

> This is where things start to go wrong.  Peter
> Ross has sent me some scripts which may help - I'll let you know.

The script that Pete posted here is for testing a version of the library
that you have compiled (e.g. using `mmake library' in the main directory,
or just `mmake' in the library directory) but not yet installed.

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