Maude-help mailing list

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

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
>>
>>