Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

Hi,

I haven't tried running Maude on Windows this way but you might try passing 
the -no-tecla flag on the command line. The Tecla library is the most fragile 
part of the current Maude build. Does Maude run normally after the initial 
syntax error?

Of course if you have Windows expertise, perhaps you could help us with a 
Windows port.

Best regards,

Steven Eker

On Friday 24 October 2003 02:44 am, José María Álvarez Palomo wrote:
> Hi all,
>
> I am using Maude to teach ADTs to my students and most of them are
> reluctant or unable to install Linux in their PCs at home.
>
> I am trying so to ease them to use maude on an UNIX emulator on Windows.
> I have installed Cygwin 1.3 on Windows 2000 and then I have installed
> the binaries for maude 2 Linux/Intel-x86. I have run
>
> bash$ ./maude.linux
>
> and I have got the next error message:
>
> ./maude.linux: 1: Syntax error: "(" unexpected
>
> Same happened with maude 1.0.5.
>
> Has anyone tried to use maude in this way, or know how to make it work
> properly?
>
> Thanks in advance