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 JSystem sys = ToKernel.connect(); //does NOT yet work |
120 //these two values shall come from BridgeMail.properties |
|
121 Path path = java.nio.file.Paths.get // |
|
122 ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"); |
|
123 String vers = "2018"; |
|
124 |
|
125 JResources res = JResources.dumpIsabelleResources(); |
|
126 Setup setup = new Setup(path, JPlatform.guess(), new Version.Stable("2018")); |
|
127 Environment env = JSetup.makeEnvironment(setup, res); |
|
128 //Configuration config = Configuration.fromBuiltin("libisabelle_Isac"); //fromBuiltin is undefined |
|
129 JSystem sys = JSystem.create(env, config); |
121 |
130 |
122 /*PIDE*/connection_to_kernel_ = sys; |
131 /*PIDE*/connection_to_kernel_ = sys; |
123 /*PIDE*/log(1, "<--ISA: connection established"); |
132 /*PIDE*/log(1, "<--ISA: connection established"); |
124 |
133 |
125 } |
134 } |