1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/isac-java/src/java/isac/bridge/ToKernel.scala	Tue Dec 18 08:05:43 2018 +0100
     1.3 @@ -0,0 +1,25 @@
     1.4 +//cp from Hello_PIDE.scala, two unresolved problems
     1.5 +
     1.6 +import info.hupel.isabelle.Platform
     1.7 +import info.hupel.isabelle.api._
     1.8 +import info.hupel.isabelle.japi._
     1.9 +import info.hupel.isabelle.setup._
    1.10 +import java.nio.file.Path;
    1.11 +
    1.12 +class ToKernel {
    1.13 +
    1.14 +  //these two will go into a property file:
    1.15 +  val path_str = "/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"
    1.16 +  val version_str = "2018"
    1.17 +  
    1.18 +  val path = java.nio.file.Paths.get(path_str)	
    1.19 +  val platform = Platform.guess.getOrElse(sys.error(Setup.UnknownPlatform.explain))
    1.20 +  val version = Version.Stable(version_str)
    1.21 +    
    1.22 +  val setup = Setup(path, platform, version)
    1.23 +  val res = Resources.dumpIsabelleResources().right.get
    1.24 +  val config = Configuration.simple("Protocol")
    1.25 +  val env = setup.makeEnvironment(res, Nil)           //problem with scheduler
    1.26 +  
    1.27 +  def connect : JSystem = System.create(env, config)  //problem with types
    1.28 +}
    1.29 \ No newline at end of file