maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Maude on Cygwin

From: José María Álvarez Palomo <alvarezp AT lcc.uma.es>
To: maude-help AT banyan.cs.uiuc.edu
Subject: [Maude-help] Maude on Cygwin
Date: Fri, 24 Oct 2003 11:44:01 +0200
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

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

--
José María Álvarez Palomo
Dpt. Lenguajes y Ciencias de la Computación
E.T.S.I.Telecomunicación-Complejo Politécnico
Despacho 3.2.6
Campus de Teatinos. Universidad de Málaga
29071 Málaga-España
Tel.: 952 132750. Fax: 952 131397

[Maude-help] Maude on Cygwin, José María Álvarez Palomo, 10/24/2003
- Re: [Maude-help] Maude on Cygwin, Ambarish Sridharanarayanan, 10/24/2003
- Re: [Maude-help] Maude on Cygwin, Steven Eker, 10/24/2003