• Home
• info.hupel
• isabellectl_2.12
• 1.0.0-RC3
• source code

×

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.

abellectl_2.12.1.0.0-RC3.source-code.Exec.scala Maven / Gradle / Ivy

package info.hupel.isabelle.cli

import scala.concurrent._

object Exec extends Command {

  override def run(bundle: Bundle, args: List[String])(implicit ec: ExecutionContext): Future[Unit] = args match {
    case tool :: args =>
      Future.successful {
        logger.info(s"Starting Isabelle tool $tool with arguments ${args.mkString(" ")} ...")
        val rc = bundle.env.exec(tool, args)
        logger.info(s"Exited with status $rc")
        if (rc > 0)
          sys.exit(rc)
      }
    case Nil =>
      sys.error("missing parameters for 'exec'")
  }

}