Re: [isabelle] libisabelle: embedding on Java-side: dir dependencies
while this makes very optimistic ...
xxx$ java -cp
!!!!!!!!!!!! THUS DEVELOPMENT WITHIN Eclipse BECOMES POSSIBLE,
because the paths are free now (to be set in some property file)
we just found something not implemented with a path relative to
libisabelle: thus we'll face another problem when developing within Eclipse:
# we pack libisabelle-full.jar into isac-java.jar (analogously to using
Run Configurations in Eclipse) as a library
# we run isac-java.jar (with main BridgeMain):
libisabelle$ java -jar /home/wneuper/proto4/dist/isac-java.jar
... which works, but changing the directory still raises an error:
# /home/wneuper/proto4$ java -jar
Exception in thread "main" java.lang.RuntimeException: Bad session
root directory: "/home/wneuper/proto4" at
So there seems to be something concerning session management in
libisabelle , which is not relative to the directory libisabelle, still.
Assuming the above is right, could you, please, look at it together with
but luckily, Isabelle's Scala code allows setting the path in a
different way. I'll put it on my list.
With best wishes,
 This refers to
This archive was generated by a fusion of
Pipermail (Mailman edition) and