[m-dev.] diff: fix some scripts in tools directory

[Zoltan Somogyi]

> --- 1.17	1998/06/01 06:14:58
> +++ binary	1998/10/07 01:08:34
> @@ -208,7 +208,7 @@
>  cd library
>  ln -s $root/library/[a-l]*.m .
>  ln -s $root/library/[m-z]*.m .
> -ln -s $root/library/libmercury.init .
> +ln -s $root/library/libmer_std.init .

You should replace this with

STD_LIB_NAME=mer_std
ln -s $root/library/lib$STD_LIB_NAME.init .

and add tools/binary (and binary_step and linear) to the list of files that
know about library names. Mmake.common.in is one; it contains pointers
to all the others. You should update them all.

> -	ln -s $root/library/libmercury.init .
> +	ln -s $root/library/libmer_std.init .

Again, use STD_LIB_NAME.

> --- 1.11	1998/05/12 06:05:47
> +++ binary_step	1998/10/06 10:43:06
> @@ -133,7 +133,7 @@
>  
> -/bin/rm -f stage2/library/libmercury.a stage2/library/libmercury.so
> +/bin/rm -f stage2/library/libmer_std.a stage2/library/libmer_std.so

Define and use STD_LIB_NAME.

> --- 1.3	1997/07/21 06:26:42
> +++ linear	1998/10/07 01:25:43
>  # ln -s $root/library/*.nl .
> -ln -s $root/library/libmercury.init .
> +ln -s $root/library/libmer_std.init .

Define and use STD_LIB_NAME.

Apart from that, it looks fine.

Zoltan.