Re: [isabelle] libisabelle: embedding on Java-side: dir dependencies



Lars,

thank you very much for continuous support!
Try the following code (untested):

   isabelle.Isabelle_System.init("/path/to/isabelle_home", "")
In your case, it would go right before the creation of the "JSystem"
instance. This should allow you to start your program without
ISABELLE_HOME set.

Great, this worked immediately !!!

(to be precise: we don't get the error "Unknown Isabelle home directory" any more; whether it works as intended will become evident when continuing development now within Eclipse)

Thanks,
Walther

PS: you were right ...
It looks like there is a typo in that file ... Did you really mean to use

   /home/wneuper/proto4/libisabelle./
... this works now with: /home/wneuper/proto4/libisabelle/.




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