//cp from Hello_PIDE.scala, two unresolved problems

import info.hupel.isabelle.Platform

import info.hupel.isabelle.api._

import info.hupel.isabelle.japi._

import info.hupel.isabelle.setup._

import java.nio.file.Path;

class ToKernel {

  //these two will go into a property file:

  val path_str = "/home/wneuper/.isabelle/isabisac/heaps/polyml-5.7.1_x86-linux/libisabelle_Isac"

  val version_str = "2018"

  val path = java.nio.file.Paths.get(path_str)	

  val platform = Platform.guess.getOrElse(sys.error(Setup.UnknownPlatform.explain))

  val version = Version.Stable(version_str)

  val setup = Setup(path, platform, version)

  val res = Resources.dumpIsabelleResources().right.get

  val config = Configuration.simple("Protocol")

  val env = setup.makeEnvironment(res, Nil)           //problem with scheduler

  def connect : JSystem = System.create(env, config)  //problem with types

}