maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Maude compilation under cygwin

From: Kalpesh Kapoor <kapoork AT lsbu.ac.uk>
To: maude-help AT banyan.cs.uiuc.edu
Subject: [Maude-help] Maude compilation under cygwin
Date: Wed, 7 Jan 2004 23:51:06 +0000
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi,

I compiled Maude 2.0.1 on Windows XP, Cygwin. Everything went well
except that operations in NAT results are unexpected.

Maude> red 1 + 2 .
reduce in CONVERSION : 0xa0f8170 + 0xa0f8220 .
rewrites: 1 in 6291659035ms cpu (0ms real) (0 rewrites/second)
result NzNat: 0xa0f8400

Any suggestions, if something went wrong during compilation or
otherwise.

Thank you.

--
Regards,
Kalpesh.

[Maude-help] Maude compilation under cygwin, Kalpesh Kapoor, 01/07/2004
- [Maude-help] Re: Maude compilation under cygwin, Kalpesh Kapoor, 01/08/2004