[m-dev.] Opium-M [1/5]

Erwan Jahier Erwan.Jahier at irisa.fr
Wed Oct 27 01:34:54 AEST 1999


| On 26-Oct-1999, Erwan Jahier <Erwan.Jahier at irisa.fr> wrote:
| > +++ INSTALL-OPIUM-M	Tue Oct 26 23:26:06 1999
| > @@ -0,0 +1,88 @@
| > +#!/bin/sh
| > +# Copyright (C) 1999 IRISA/INRIA.
| 
| It would be nice to include a pointer to where the license
| conditions are stated after each copyright message.

Ok. I'll do that when I know where to make it point to.
And I will commit it.

| ...
| > +MERCURY_OPIUM_DIR=`pwd`
| > +export MERCURY_OPIUM_DIR 
| > +cd scripts
| > +rm -f Opium-M
| > +touch Opium-M
| 
| What is the purpose of the `touch' command here?

None. I will delete it.

| > +# Get the Mercury library path (needed in source-M scenario)
| > +MmcDefault=/soft/mercury/library
| > +
| > +echo "What is the complete path of the Mercury library files? [default=$MmcDefault]"
| 
| The term "library files" is ambiguous; I suggest you do
| 
| 	s/library files/library source files/
| 
| > +++ fixmanual	Tue Oct 26 23:26:25 1999

...

| You could make that simpler and more efficient
| by deleting every occurrence of the four lines
 | 	w
| 	q
| 	EOF
| 	ex $1 <<\EOF

Ok. I will do that.

Thanks.

-- 
R1.


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



More information about the developers mailing list