Maude-help mailing list

[Andrei-Ștefan Munteanu <munteanu.stefan AT outlook.com>]

Hello guys,

Thank you very much all of you 😄.

I managed to install a VM with linux on my machine. The problem was that my hardware uses the linux subsystem of windows 10 with some creepy spying software due the notebook on which I wanted to install maude is provided from work and for some reason Cygwin wasn't compatible even a simple ls couldn't run.

I've also managed to run it via http://maude.sip.ucm.es/strategies/ and it works perfectly.

Have a nice week,

Stefan

---

From: Paco Durán <duran AT lcc.uma.es>
Sent: Tuesday, October 22, 2019 5:06 PM
To: Andrei-Ștefan Munteanu <munteanu.stefan AT outlook.com>
Cc: Francisco Durán <duran AT lcc.uma.es>; maude-help AT lists.cs.illinois.edu <maude-help AT lists.cs.illinois.edu>; Rubén Rafael Rubio Cuéllar <rubenrub AT ucm.es>
Subject: Re: [[Maude-help] ] Hello, I'm having a problem when I try to run maude on windows. (Post installation huge amount of processes)

 

Hi Stefan, and Julia,

Perhaps you can give try to the version compiled by Rubén Rubio (http://maude.sip.ucm.es/strategies/). It's an executable of the latest alpha extended with the strategy language. It's compiled using Mingw, which means that you can directly run the executable, since it doesn't require a linux environment (cygwin). It has not been extensibly tested, and in particular don't know how it behaves with things very dependent on the OS like sockets, etc.

I'm cc'ing Rubén, perhaps you can tell him what you find out.

Best,

Francisco

> On 21 Oct 2019, at 11:57, Julia Sapiña Sanchis <jsapina AT upv.es> wrote:
>
> Hi Stefan,
>
> As far as I know, the MOMENT installable versions of Maude, besides being old, do not work with Windows 10.
>
> I have not personally tested it, but it seems that the new Windows 10 linux bash shell runs Maude without problems. Another option is to manually compile the sourcecode by following our guide at http://safe-tools.dsic.upv.es/maude/
>
> Regards,
>
> Julia
>
> El 17/10/2019 a las 9:14, Andrei-Ștefan Munteanu escribió:
>> Hello,
>> Basically what is happening after installation when I try to use/open maude I will get a huge amount of processes starting with maude until the computer is no longer responsive and I need to reboot it manually.
>> Had anyone had this problem previously?
>> I've attached an full specs logs.
>> But to make a resume to it I'm running on Windows Pro 1903 with OS build 18362.418.
>> Thanks,
>> Stefan