[m-dev.] diff: Small fixes for Morphine (0.9.x and main branch)

Erwan Jahier Erwan.Jahier at irisa.fr
Tue Jan 4 00:38:51 AEDT 2000

| Hi,
| These fixes will be committed on the version-0_9_x branch as well
| as the main branch.
| ===================================================================
| Estimated hours taken: 1.5
| A few fixes for Morphine to make installation easier.
| extras/morphine/README:
| 	Point out that there is a tutorial on the Morphine web page,
| 	as otherwise it can be difficult to know what to do.
| extras/morphine/INSTALL-MORPHINE:
| 	Use ../../library as the default path for the Mercury library
| 	files, as this is the normal path if you checkout the CVS
| 	module.
| extras/morphine/source/make_scenario.pl:
| 	Fix a bug -- use redirection instead of the -i option to patch,
| 	as many systems don't support -i (e.g. taifun, a Solaris box).

It looks fine, thanks.


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