Maude-help mailing list

[Marinella Petrocchi <marinella.petrocchi AT iit.cnr.it>]

sorry...the attachments....


Steven Eker wrote:
> BTW the command "red" runs a restricted version of the GNU editor program 
> "ed" 
> under most linux installs:
>
> http://www.gnu.org/software/ed/
>
> Steven
>
> On Tuesday 24 February 2009 02:54, Marinella Petrocchi wrote:
>   
>> Hi Mike,
>>
>> yes, it comes up....
>> it's only after that
>>
>> Maude>
>>
>> appears that I run those commands...I receive the error messages, and
>> the program stops.
>>
>> marinella
>>
>> Mike Kaplan wrote:
>>     
>>> Maude isn't actually starting for you.  The different errors you are
>>> seeing are because there is no program "reduce" in your path, but
>>> there is a program red.  I tried running both command in a bash shell
>>> and got the same errors you are seeing.  When you try to run maude by
>>> itself, does the
>>>
>>> Maude>
>>>
>>> prompt come up?
>>>
>>> On Mon, Feb 23, 2009 at 11:53 AM, Marinella Petrocchi
>>>
>>> <marinella.petrocchi AT iit.cnr.it>
>>>  wrote:
>>>       
>>>> Dear all,
>>>>
>>>> few days ago I downloaded Core Maude 2.4 for Linux Intel x86.  (As
>>>> operating system, I use Ubuntu, 8.10)
>>>> Following the web site instructions, I put the maude-linux directories
>>>> into /usr/local, and I created the symbolic link to the Maude executable
>>>> in a directory in my path....
>>>> Also, I added to .bashrc the following:
>>>>
>>>> export MAUDE_LIB='/usr/local/maude-linux'
>>>>
>>>> Consequently, Maude starts, and there is no warning message about the
>>>> prelude-maude. Fine.
>>>>
>>>> Problem is..all the rest! :(
>>>> It seems that nothing works. Starting with the basic examples in the
>>>> manual I obtained some error messages.
>>>> Considering SIMPLE-NAT,
>>>> I launch maude simplenat.maude.
>>>>
>>>> if I type:
>>>>
>>>> reduce s s zero + s s s zero .
>>>>
>>>> I obtain:
>>>>
>>>> [4]+  Stopped                 maude simplenat.maude
>>>> bash: reduce: command not found
>>>>
>>>> if I type:
>>>> red s s zero + s s s zero .
>>>>
>>>> I obtain
>>>> "s: No such file or directory".
>>>>
>>>> Also, I tried with other examples found on the net, e.g., at
>>>> http://www-compsci.swan.ac.uk/~csneal/MaudeCourse/BasicMaude.html
>>>> section 2.3, rewriting....
>>>>
>>>> I load the module basicnat.maude
>>>> and if I type:
>>>>
>>>> red s(0) + s(s(0)) .
>>>>
>>>> I obtain:
>>>>
>>>> bash: syntax error near unexpected token `('
>>>>
>>>> ...What's wrong with this?
>>>> thanks very much for your help, and sorry if the questions are
>>>> stupid....
>>>>
>>>> best regards, marinella
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>>>
>>>> _______________________________________________
>>>> Maude-help mailing list
>>>> Maude-help AT maude.cs.uiuc.edu
>>>> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help
>>>>         
>> _______________________________________________
>> Maude-help mailing list
>> Maude-help AT maude.cs.uiuc.edu
>> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help
>>