Skip to Content.
Sympa Menu

k-user - Re: [K-user] krun crashes on OS X 10.9 (Mavericks)

k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] krun crashes on OS X 10.9 (Mavericks)


Chronological Thread 
  • From: Andrei Stefanescu <andreistef AT gmail.com>
  • To: Daniele Filaretti <dfilaretti AT gmail.com>
  • Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
  • Subject: Re: [K-user] krun crashes on OS X 10.9 (Mavericks)
  • Date: Wed, 23 Oct 2013 17:58:29 -0500
  • List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
  • List-id: <k-user.cs.uiuc.edu>

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

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





Archive powered by MHonArc 2.6.16.

Top of Page