YellowGrass

Spoofax console depends on nix-profile

Following exception occurs while starting Spoofax Console in Windows 7 : “Fatal error in interpreter thread”

It seems that it is looking for libstratego-lib.ctree in an invalid directory.

Exception details :

java.lang.RuntimeException: java.io.IOException: Failed to find Stratego library C:\Users\username\.nix-profile\share\stratego-lib\libstratego-lib.ctree  
at org.spoofax.interpreter.ConcreteInterpreter.<init>(ConcreteInterpreter.java:82)  
at org.spoofax.interpreter.ConcreteInterpreter.<init>(ConcreteInterpreter.java:57)  
at org.spoofax.interpreter.ui.SpoofaxInterpreter.<init>(SpoofaxInterpreter.java:30)  
at org.spoofax.interpreter.ui.SpoofaxConsole.run(SpoofaxConsole.java:90)  
at java.lang.Thread.run(Unknown Source)  
Caused by: java.io.IOException: Failed to find Stratego library C:\Users\username\.nix-profile\share\stratego\lib\libstratego-lib.ctree  
at org.spoofax.interpreter.ConcreteInterpreter.findLibrary(ConcreteInterpreter.java:111)
at org.spoofax.interpreter.ConcreteInterpreter.<init>(ConcreteInterpreter.java:63)  
... 4 more
Submitted by Adil Akhter on 22 February 2012 at 16:28

Issue Log

On 22 February 2012 at 16:35 Lennart Kats tagged shell
On 22 February 2012 at 16:35 Lennart Kats tagged @karltk
On 22 February 2012 at 16:35 Lennart Kats tagged 1.1
On 22 February 2012 at 16:35 Lennart Kats tagged interesting
On 29 February 2012 at 17:29 Karl Trygve Kalleberg commented:

This is unexpected. The idea is that the .ctree files will be loaded from the .jar (they are bundled inside the jar), but I apparently made a boo-boo here. Will try to reproduce.

On 8 January 2013 at 12:56 Eelco Visser removed tag 1.1
On 8 January 2013 at 12:56 Eelco Visser tagged interesting
On 8 January 2013 at 14:41 Eelco Visser tagged 1.1
On 8 January 2013 at 14:41 Eelco Visser tagged major
On 8 January 2013 at 17:39 Gabriël Konat removed tag interesting
On 18 January 2013 at 20:06 Guido Wachsmuth tagged 1.2
On 18 January 2013 at 20:06 Guido Wachsmuth removed tag 1.1
On 18 January 2013 at 20:07 Guido Wachsmuth removed tag 1.2
On 18 January 2013 at 20:07 Guido Wachsmuth tagged 1.1
On 18 January 2013 at 20:07 Guido Wachsmuth tagged 1.2
On 18 January 2013 at 20:07 Guido Wachsmuth removed tag 1.2
On 18 January 2013 at 20:08 Guido Wachsmuth tagged @gohla
On 22 January 2013 at 08:25 Gabriël Konat commented:

I had a look at this, but couldn’t find out how to load library ctrees from a jar file in Java. The problem is that that ConcreteInterpreter tries to load the libraries from the nix store instead of a jar file. Why is the HybridInterpreter not used here instead of the ConcreteInterpreter btw? Maybe @karltk knows more.

On 22 January 2013 at 08:25 Gabriël Konat closed this issue.
On 22 January 2013 at 08:25 Gabriël Konat reopened this issue.
On 30 January 2013 at 11:55 Vlad Vergu commented:

Just checked, the ctrees are not bundled inside the jar.

On 30 January 2013 at 11:56 Vlad Vergu removed tag 1.1
On 30 January 2013 at 11:56 Vlad Vergu tagged 1.2
On 13 December 2013 at 12:41 Sebastian Erdweg commented:

I am having the same problem: without nix store I cannot run Spoofax.

On 13 December 2013 at 12:50 Gabriël Konat commented:

This issue is only regarding the interactive Spoofax console, without a nix profile it doesn’t work but Spoofax still does. What do you mean by ‘cannot run Spoofax’?

On 13 December 2013 at 13:07 Sebastian Erdweg commented:

Maybe as a quick “fix”, it would be good if ConcreteInterpreter.findLibrary fails with a warning (instead of an exception) and only available libraries get loaded. I could implement this change if you want.

On 13 December 2013 at 13:36 Sebastian Erdweg commented:

I should have been more precise: By ‘cannot run Spoofax’ I meant that I get lots of exceptions. I assumed Spoofax as a whole is in an inconsistent state then. BTW the exceptions already occur if the console is only fired up to display messages.

On 13 March 2014 at 08:52 Eelco Visser removed tag 1.2
On 31 August 2014 at 05:11 Gabriël Konat removed tag @gohla

Log in to post comments