maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] Re: Maude compilation under cygwin

From: Kalpesh Kapoor <kapoork AT lsbu.ac.uk>
To: maude-help AT banyan.cs.uiuc.edu
Subject: [Maude-help] Re: Maude compilation under cygwin
Date: Thu, 8 Jan 2004 13:00:44 +0000
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

I could solve the problem by defining the following (before
compiling maude):

$ export LD_RUN_PATH=/usr/local/lib # path to gmp libs

Thanks.

On Wed, Jan 07, 2004 at 11:51:06PM +0000, Kalpesh Kapoor wrote:
>
> 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

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