Maude-help mailing list

[Mike Kaplan <michael.n.kaplan AT gmail.com>]

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
>