K-user mailing list

["Rosu, Grigore" <grosu AT illinois.edu>]

Daniele,

 

That OS came out a few days ago and none of us has it here, so we did not get a chance to test K on it.  We were affraid that the maude binary could have been the culprit ... Can you please work directly with Andrei to figure out what happens there?  You are using Java 7 I assume ...

 

Grigore

 

 

---

From: k-user-bounces AT cs.uiuc.edu [k-user-bounces AT cs.uiuc.edu] on behalf of Daniele Filaretti [dfilaretti AT gmail.com]
Sent: Thursday, October 24, 2013 2:40 AM
To: Andrei Stefanescu
Cc: k-user AT cs.uiuc.edu
Subject: Re: [K-user] krun crashes on OS X 10.9 (Mavericks)

On 23 Oct 2013, at 23:58, Andrei Stefanescu <andreistef AT gmail.com> wrote:

Can you run maude on your machine? You can check by typing:
~/k/lib/maude/binaries/maude.intelDarwin

Hi Andrei, 

yes Maude runs (I get the nice initial colourful logo and then the prompt).

Daniele

Andrei

On Wed, Oct 23, 2013 at 3:20 PM, Daniele Filaretti <dfilaretti AT gmail.com> wrote:

Hi everyone, 

today, after upgrading to 10.9 (Mavericks) krun stopped to work. In particular, it gives the following message regardless of what is being run:  

Exception in thread "main" java.lang.ExceptionInInitializerError

at org.kframework.krun.tasks.MaudeTask.<clinit>(MaudeTask.java:22)

at org.kframework.krun.runner.KRunner.run(KRunner.java:122)

at org.kframework.krun.runner.KRunner.main(KRunner.java:135)

at org.kframework.backend.maude.krun.MaudeKRun.executeKRun(MaudeKRun.java:82)

at org.kframework.backend.maude.krun.MaudeKRun.run(MaudeKRun.java:113)

at org.kframework.krun.Main.normalExecution(Main.java:361)

at org.kframework.krun.Main.execute_Krun(Main.java:1149)

at org.kframework.main.Main.main(Main.java:59)

Caused by: java.lang.StringIndexOutOfBoundsException: String index out of range: -4

at java.lang.String.substring(String.java:1911)

at org.kframework.utils.maude.MaudeRun.initializeMaudeExecutable(MaudeRun.java:56)

at org.kframework.utils.maude.MaudeRun.<clinit>(MaudeRun.java:16)

... 8 more

I built it again (latest sources downloaded from github, build successful), but then same problems. I also tried to use the binaries from http://www.kframework.org/index.php/Main_Page, but again same error. 

Does anyone have the same issues? 

Thank you! 

Daniele

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user