[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