equal
deleted
inserted
replaced
115 } |
115 } |
116 } |
116 } |
117 */ |
117 */ |
118 /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"..."); |
118 /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"..."); |
119 |
119 |
120 JResources res = JResources.dumpIsabelleResources(); |
120 JSystem sys = ToKernel.connect(); //does NOT yet work |
121 Path path = java.nio.file.Paths.get |
|
122 ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"); |
|
123 Configuration config = Configuration.simple("Protocol"); |
|
124 Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res); |
|
125 JSystem sys = JSystem.create(env, config); |
|
126 |
121 |
127 /*PIDE*/connection_to_kernel_ = sys; |
122 /*PIDE*/connection_to_kernel_ = sys; |
128 /*PIDE*/log(1, "<--ISA: connection established"); |
123 /*PIDE*/log(1, "<--ISA: connection established"); |
129 |
124 |
130 } |
125 } |