Re: [isabelle] libisabelle: Small Scala library to communicate with Isabelle



the given steps are supposed to happen
while being in the checked-out copy of the repository.
Thanks a lot: from within the copy of the repository these steps ...

wneuper at ProBook:~/proto4/libisabelle$ /usr/local/Isabelle2014/bin/isabelle build -d . -bv Hello_PIDE wneuper at ProBook:~/proto4/libisabelle$ ./sbt full/assembly

seem to have worked; I still have to study what extensive work these two lines have accomplished.

But now I am stuck again with

wneuper at ProBook:~/proto4/libisabelle$ java -cp full/target/scala-2.11/libisabelle-full.jar Hello_PIDE Exception in thread "main" java.lang.RuntimeException: Unknown Isabelle home directory at isabelle.Library$ERROR$.apply(library.scala:20) at isabelle.Library$.error(library.scala:24) at isabelle.Basic_Library$$anonfun$2.apply(library.scala:172) at isabelle.Basic_Library$$anonfun$2.apply(library.scala:172) at isabelle.Isabelle_System$.init(isabelle_system.scala:101) at isabelle.Isabelle_System$.settings(isabelle_system.scala:56) at isabelle.Isabelle_System$.getenv(isabelle_system.scala:137) at isabelle.Isabelle_System$.getenv_strict(isabelle_system.scala:141) at isabelle.Isabelle_System$.components(isabelle_system.scala:540) at isabelle.Options$.init_defaults(options.scala:126) at isabelle.Options$.init(options.scala:132) at edu.tum.cs.isabelle.System$.startSession(System.scala:99) at edu.tum.cs.isabelle.System$.instance(System.scala:16) at edu.tum.cs.isabelle.japi.JSystem$.instance(System.scala:15) at edu.tum.cs.isabelle.japi.JSystem$.instance(System.scala:18) at edu.tum.cs.isabelle.japi.JSystem.instance(System.scala) at Hello_PIDE.main(Hello_PIDE.java:8) wneuper at ProBook:~/proto4/libisabelle$


because I see that "libisabelle-full.jar" has been created at the right place, because ISABELLE_HOME seems to be known

wneuper at ProBook:~/proto4/libisabelle$ /usr/local/Isabelle2014/bin/isabelle env
:
ISABELLE_HOME=/usr/local/Isabelle2014

and because I don't find the java argument "-cp" at

http://docs.oracle.com/javase/tutorial/essential/environment/cmdLineArgs.html


So once again: thank you very much for help!

Walther





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.