diff options
| author | kristerw <kristerw@pkgsrc.org> | 2003-12-31 01:20:35 +0000 |
|---|---|---|
| committer | kristerw <kristerw@pkgsrc.org> | 2003-12-31 01:20:35 +0000 |
| commit | a0e65e649614f89aa55617023143b5afa9a6156b (patch) | |
| tree | ec506f65f4c0ac58827364670a05a126f410ee2c /lang/maude/MESSAGE | |
| parent | 35c8abbdb40e11d573e1f2df76e49f7fbf684071 (diff) | |
| download | pkgsrc-a0e65e649614f89aa55617023143b5afa9a6156b.tar.gz | |
Update lang/maude to version 2.0.1.
Maude 2 extends and generalizes Maude 1 to allow more expressive
modules and a wider range of computational commands.
The license has been changed to the GNU General Public License.
Diffstat (limited to 'lang/maude/MESSAGE')
| -rw-r--r-- | lang/maude/MESSAGE | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lang/maude/MESSAGE b/lang/maude/MESSAGE index 16739785599..de4a7e4901a 100644 --- a/lang/maude/MESSAGE +++ b/lang/maude/MESSAGE @@ -1,6 +1,7 @@ =========================================================================== -$NetBSD: MESSAGE,v 1.1 2001/11/01 00:24:05 zuntum Exp $ +$NetBSD: MESSAGE,v 1.2 2003/12/31 01:20:35 kristerw Exp $ -Kernel option COMPAT_LINUX is required for the package to work. +In order for the maude binary to find the .maude files you should set +the environment variable MAUDE_LIB to point to ${PREFIX}/share/maude. =========================================================================== |