• Home
• info.hupel
• libisabelle-setup_2.12
• 1.0.0-RC1
• source code
• JSetup.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

japi.JSetup.scala Maven / Gradle / Ivy

package info.hupel.isabelle.japi

import scala.concurrent.Await
import scala.concurrent.duration.Duration

import monix.execution.Scheduler.Implicits.global

import info.hupel.isabelle.api._
import info.hupel.isabelle.setup._

object JSetup {

  def defaultSetup(version: Version.Stable, timeout: Duration): Setup =
    Setup.default(version, false) match {
      case Left(reason) => sys.error(reason.explain)
      case Right(setup) => setup
    }

  def defaultSetup(version: Version.Stable): Setup =
    defaultSetup(version, Duration.Inf)

  def makeEnvironment(setup: Setup, resources: JResources, timeout: Duration): Environment =
    Await.result(setup.makeEnvironment(resources.getResources(), Nil), timeout)

  def makeEnvironment(setup: Setup, resources: JResources): Environment =
    makeEnvironment(setup, resources, Duration.Inf)

}