Maude-help mailing list

[Julia Sapiña Sanchis <jsapina AT upv.es>]

Hi Dilia,

It is likely that your system has an old copy of Maude installed 
(judging for the numbers of lines you provide I would say Maude 2.7.1) 
and that you have the environment variable MAUDE_LIB already defined and 
pointing to the location where this old version is installed.

You can check this by writing:

echo $MAUDE_LIB

in your bash.

There are two possible solutions. Either you change the location where 
MAUDE_LIB points to the Maude 3 folder, or you run your new Maude 3 by 
explicitly saying where to get the prelude this way:

bash-3.2$ /usr/local/Maude-3/maude-Yices2.darwin64 -no-ansi-color 
-no-prelude prelude.maude

The -no-prelude flag will ignore the prelude that MAUDE_LIB provides and 
then you just loads the prelude.maude file in your current folder.

Best,

Julia

El 06/03/2020 a las 17:14, RODRIGUEZ, DILIA E CIV USAF AFMC AFRL/RITA 
escribió:
> Greetings,
>
> I just got Maude 3.0, and I’m getting some warnings about prelude.maude.
>
> I couldn’t login to see if this has been discussed, because I don’t 
> remember having a password before.
>
> Thanks for any help,
>
> Dilia
>
> bash-3.2$ /usr/local/Maude-3/maude-Yices2.darwin64 -no-ansi-color
>
>                               \||||||||||||||||||/
>
>                             --- Welcome to Maude ---
>
>                               /||||||||||||||||||\
>
>                   Maude 3.0 built: Dec 17 2019 12:08:10
>
>                   Copyright 1997-2019 SRI International
>
>                             Fri Mar  6 09:54:30 2020
>
> Warning: unrecognized symbol hook name unificationPairSymbol.
>
> Warning: "prelude.maude", line 2039 (fmod META-LEVEL): failed to attach 
> op-hook
>
>      unificationPairSymbol `{_`,_`} to metaReduce.
>
> Warning: "prelude.maude", line 2039 (fmod META-LEVEL): bad special for 
> operator
>
>      metaReduce.
>
> Warning: "prelude.maude", line 2359 (fmod META-LEVEL): failed to attach 
> id-hook
>
>      MetaLevelOpSymbol to metaParse.
>
> Warning: "prelude.maude", line 2359 (fmod META-LEVEL): bad special for 
> operator
>
>      metaParse.
>
> Warning: "prelude.maude", line 2364 (fmod META-LEVEL): failed to attach 
> id-hook
>
>      MetaLevelOpSymbol to metaPrettyPrint.
>
> Warning: "prelude.maude", line 2364 (fmod META-LEVEL): bad special for 
> operator
>
>      metaPrettyPrint.
>
> Warning: "prelude.maude", line 1932 (fmod META-LEVEL): this module 
> contains one
>
>      or more errors that could not be patched up and thus it cannot be 
> used or
>
>      imported.
>
> Maude>