# HG changeset patch
# User Walther Neuper <wneuper@ist.tugraz.at>
# Date 1545047892 -3600
# Node ID f9e91d4ee161b26cefa08161ae8d259f305fd1ef
# Parent  34f18fdc310389f1fb2e3f1a913aadf25c86c56b
------ connection to new math-engine on Isabelle2018: question 2 to Lars

diff -r 34f18fdc3103 -r f9e91d4ee161 isac-java/src/java/isac/bridge/BridgeMain.java
--- a/isac-java/src/java/isac/bridge/BridgeMain.java	Wed Nov 28 08:59:29 2018 +0100
+++ b/isac-java/src/java/isac/bridge/BridgeMain.java	Mon Dec 17 12:58:12 2018 +0100
@@ -82,12 +82,48 @@
         //*TTY*/startThreadsFirstTime();
         /*PIDE*/log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
         //see libisabelle/modules/examples/src/main/java/edu/tum/cs/isabelle/examples/Hello_PIDE.java
+/* cp from
+ *  https://hg.risc.uni-linz.ac.at/wneuper/isac/file/84f1ca6a6dd9/isac-java/src/java/isac/bridge/BridgeMain.java#l85
+    85         log(1, "-->ISA: try connection with ISABELLE_HOME=\"" + isabelle_home + "\"...");
+    86         Setup setup = new Setup(Paths.get(isabelle_home), JPlatform.guess(),
+    87           new Version("2015"), Setup.defaultPackageName());
+    88         Environment env = JSetup.makeEnvironment(setup); // ohne Duration
+    89         Configuration config = Configuration.fromBuiltin("libisabelle_Isac");
+    90         JSystem sys = JSystem.create(env, config);
+    92         
+    93         connection_to_kernel_ = sys;
+    94         log(1, "<--ISA: connection established");
+ */
+/*         
+package info.hupel.isabelle.examples.java;
+
+import java.nio.file.Path;
+import java.nio.file.Paths;
+import java.util.Arrays;
+import info.hupel.isabelle.api.*;
+import info.hupel.isabelle.japi.*;
+import info.hupel.isabelle.setup.*;
+
+public class Hello_PIDE {
+
+  public static void main(String args[]) {
+    JResources res = JResources.dumpIsabelleResources();
+    Configuration config = Configuration.simple("Protocol");
+    Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2017")), res);
+    JSystem sys = JSystem.create(env, config);
+    String response = sys.invoke(Operations.HELLO, "world");
+    System.out.println(response);
+    sys.dispose();
+  }
+}
+ */
         JResources res = JResources.dumpIsabelleResources();
+        Path path = java.nio.file.Paths.get
+          ("/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac");
         Configuration config = Configuration.simple("Protocol");
-//        Configuration config = Configuration.fromBuiltin("libisabelle_Isac");
         Environment env = JSetup.makeEnvironment(JSetup.defaultSetup(new Version.Stable("2018")), res);
         JSystem sys = JSystem.create(env, config);
-        
+
         /*PIDE*/connection_to_kernel_ = sys;
         /*PIDE*/log(1, "<--ISA: connection established");